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.