ПРОГРАММНЫЕ СИСТЕМЫ: ТЕОРИЯ И ПРИЛОЖЕНИЯ

12+

Электронный научный журнал Института программных систем имени А.К. Айламазяна Российской академии наук

Титульная страница
О журнале
Редакция
Процесс публикации
Научная этика
Авторам
Выпуски журнала
Архив выпусков

Статьи представлены в формате PDF


Математические основы программирования

Ответственные за рубрику: д.ф.-м.н. Непейвода Н.Н.

Слева для каждой статьи показаны: присвоенный статье порядковый номер; дата поступления статьи в редакцию; количество страниц статьи в формате А5; ссылка на полный текст статьи в формате PDF .

 

14

Поступила в редакцию 07.11.2013

Подписана в печать 09.12.2013

15 с.

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./

Ссылка на статью обязательна

 http://psta.psiras.ru/read/psta2013_4_45-59.pdf

 

Политика обработки персональных данных

Политика конфиденциальности

Адрес редакции: 152021, Ярославская обл., Переславский район, село Веськово, ул. Петра Первого, д. 4 "а"

Тел.: (4852) 695-228   E-mail:    Сетевой адрес издания: https://psta.psiras.ru

© Электронный научный журнал «Программные системы: теория и приложения» (дизайн) 2010-2025
© Федеральное государственное бюджетное учреждение науки Институт программных систем имени А.К. Айламазяна Российской академии наук (ИПС им. А.К. Айламазяна РАН)  2010-2025