Constructive synthesis of web-based application user interfaces
Автор: Kochurov Evgenij Vladimirovich
Журнал: Программные системы: теория и приложения @programmnye-sistemy
Рубрика: Theoretical computer science
Статья в выпуске: 4 (18) т.4, 2013 года.
Бесплатный доступ
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.
Constructive logic, html-template, html-шаблон, method of constructive program synthesis, user interface, web-приложение, web-based application
Короткий адрес: https://sciup.org/14335964
IDR: 14335964
