В книге рассматривается автоматное программирование - подход к разработке программных систем со сложным поведением, основанный на модели автоматизированного объекта управления (расширении конечного автомата). Предлагаемый подход позволяет создавать качественное программное обеспечение для ответственных систем,...

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

Последний вышедший номер

Читайте в номере:

Валидация и верификация спецификационной модели бортовой системы ситуационной осведомленности экипажа на посадке

Программная реализация формализованной пошаговой диагностики промышленных электрических щитов автоматики

Алгоритм управления качеством изменений в организационно-производственном процессе с участием ИИ-агента

Сведение материальных балансов в условиях неполной измеренности технологических потоков