|
Program Systems: Theory and Applications, 2013, Volume 4, Issue 4, Pages 45–59
(Mi ps100)
|
|
|
|
Artificial Intelligence, Intelligent Systems, Neural Networks
Constructive synthesis of Web-based application user interfaces
E. V. Kochurov Program Systems Institute of RAS
Abstract:
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)
Key words and phrases:
user interface, method of constructive program synthesis, constructive logic, Web-based application, html-template.
Citation:
E. V. Kochurov, “Constructive synthesis of Web-based application user interfaces”, Program Systems: Theory and Applications, 4:4 (2013), 45–59
Linking options:
https://www.mathnet.ru/eng/ps100 https://www.mathnet.ru/eng/ps/v4/i4/p45
|
Statistics & downloads: |
Abstract page: | 206 | Full-text PDF : | 72 | References: | 41 | First page: | 1 |
|