ISSN 0021-3454 (печатная версия)
ISSN 2500-0381 (онлайн версия)
Меню

6
Содержание
том 61 / ИЮНЬ, 2018
СТАТЬЯ
УДК 658.512.011.56

МЕТОД РАЗРАБОТКИ WEB-ПРИЛОЖЕНИЙ НА ОСНОВЕ СИСТЕМ ИЕРАРХИЧЕСКИХ КОНЕЧНЫХ АВТОМАТОВ

Ожиганов А. А.
Университет ИТМО, Санкт-Петербург, 197101, Российская Федерация; профессор


Чепурной А. И.
Санкт-Петербургский государственный университет ин-формационных технологий, механики и оптики; аспирант


Читать статью полностью 

Аннотация. Предлагается метод разработки web-приложений, позволяющий на основе задания формально верифицируемой модели иерархическими конечными автома- тами обеспечить однозначное соответствие ей работающего приложения.
Ключевые слова:

web-приложение, конечный автомат, темпоральная логика, моделирование, программное обеспечение.