Бакалаврская работа Презентация
© 2009 Пенькин Д.М.
Руководитель: А.А. Шалыто
Санкт-Петербургский государственный университет информационных технологий, механики и оптики
Бакалаврская работа
Презентация
В работе рассматривается автоматическая генерация по заданной спецификации программ, использующих автоматный подход. Предложен метод, позволяющий синтезировать автоматную программу по заданной спецификации, который расширяет область применения автоматных программ, в частности, для создания эффективных управляющих программных систем. Применение метода может повысить надежность разработки разнообразных сложных программных систем. Спецификацию системы предлагается задавать в виде модифицированных диаграмм последовательности сообщений, что обеспечивает удобный и наглядный способ описания требований к будущей программе. Предложенный метод иллюстрируется примером реальной программной системы, синтезированной с его помощью, что подтверждает эффективность использования предложенного подхода.