Например, Бобцов

ПАРАДИГМА АВТОМАТНОГО ПРОГРАММИРОВАНИЯ

Аннотация:

В статье приводятся основные положения автоматного программирования и обосновываются преимущества его использования при разработке программного обеспечения.  Описываются инструментальные средства для поддержки автоматного программирования и приводятся примеры успешного применения предлагаемого подхода на практике. В статье описывается процедурное программирование с явным выделением состояний и объектно-ориентированное программирование с явным выделением состояний. Автоматные программы могут быть эффективно верифицированы,  а для их построения в ряде случаев могут быть применены генетические алгоритмы. 

Ключевые слова:

Статьи в номере