Constructive synthesis of Web-based application user interfaces
Кочуров Евгений Владимирович, Evgeniy Kochurov · Program systems theory and applications · 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.