|
14
Поступила в редакцию 07.11.2013
Подписана в печать
09.12.2013
15 с.
/r2/pdf.jpg)
PDF |
Кочуров Е.В. /Kochurov
E.V./
Конструктивный синтез пользовательских интерфейсов Web-приложений
/Constructive synthesis of Web-based application user interfaces/
В статье рассматривается приложение метода
конструктивного синтеза программ к созданию пользовательских
интерфейсов Webприложений. Для решения данной задачи построена
специализированная конструктивная логика, которая позволяет
синтезировать гарантированно правильные модели интерфейсов.
Рассмотрена программная реализация и результаты практического
использования модели.
/The article discusses the application of the method of constructive
program synthesis to create user interfaces for Web-based
applications. Specialized constructive logic is introduced, which
allows to synthesize models of guaranteed right user interfaces. We
consider the software implementation and results of the practical
application of the model. (in Russian)/
Ключевые слова:
пользовательский интерфейс, метод конструктивного синтеза программ,
конструктивная логика, web-приложение, html-шаблон.
/Key words: user interface, method of constructive program
synthesis, constructive logic, Web-based application, html-template./ |
/r1/pdf.jpg){kind=small}
.