Разработка автоматных программ на базе определения требований

Разработка автоматных программ на базе определения требований

Язык статьи
Русский
Аннотация
Технология автоматного программирования ориентирована на разработку простых, надежных и эффективных программ для класса реактивных систем. Автоматная программа реализует конечный автомат в виде гиперграфа управляющих состояний. В качестве языка спецификаций автоматных программ предлагается язык продукций, применяемый для описания сценариев использования (use case) – одного из видов функциональных требований. Технология представлена в виде свода золотых правил программирования, определяющих правильный баланс в интеграции автоматного, предикатного и объектно-ориентированного программирования. Технология иллюстрируется на наборе примеров.
DOI
10.31144/si.2307-6410.2014.n4.p1-29
УДК
Страницы
1-29
Файл
shelehov2.pdf607.3 КБ
Номер