Применение формальных методов валидации моделей для UI

[Listrigon]

Почему в главной роли Макэвой, если на фото Oxxxymiron?

[cudu]

Так и было задумано — ведь без предпроектирования сделано!

[questor]

Модель очень точно передает наш пользовательский интерфейс — он также загроможден.

В этом месте неплохо было бы показать "вот так мы упростили UI и посмотрите насколько модель стала проще".