Аннотация:
В статье рассматривается приложение метода конструктивного синтеза программ к созданию пользовательских интерфейсов Web-приложений. Для решения данной задачи построена специализированная конструктивная логика, которая позволяет синтезировать гарантированно правильные модели интерфейсов. Рассмотрена программная реализация и результаты практического использования модели.
Ключевые слова и фразы:пользовательский интерфейс, метод конструктивного синтеза программ, конструктивная логика, web-приложение, html-шаблон.