МЕТОД РАЗРАБОТКИ WEB-ПРИЛОЖЕНИЙ НА ОСНОВЕ СИСТЕМ ИЕРАРХИЧЕСКИХ КОНЕЧНЫХ АВТОМАТОВ
Университет ИТМО, Санкт-Петербург, 197101, Российская Федерация; профессор
Чепурной А. И.
Санкт-Петербургский государственный университет ин-формационных технологий, механики и оптики; аспирант
Читать статью полностью
Аннотация. Предлагается метод разработки web-приложений, позволяющий на основе задания формально верифицируемой модели иерархическими конечными автома- тами обеспечить однозначное соответствие ей работающего приложения.
Ключевые слова:
web-приложение, конечный автомат, темпоральная логика, моделирование, программное обеспечение.
