1. Наука
  2. Видання
  3. Системи обробки інформації
  4. 5(86)'2010
  5. Структура программного комплекса синтеза и верификации моделей цифровых автоматов

Структура программного комплекса синтеза и верификации моделей цифровых автоматов

Л.А. Шувалова, Д.Н. Моамар, Т.Ю. Уткина
Системи обробки інформації. — 2010. — № 5(86). – С. 149-152.
УДК 681.513
Мова статті: російська
Анотації на мовах:

В статье рассмотрены назначение и условия применения программного обеспечения, которое входит в состав программного комплекса, предназначенного для синтеза алгоритмов автоматизированного управления фасовочно-паковочными машинами. Детально освещены методы и средства лингвистической компиляции, описаны типы используемых ими данных. Дано описание режимов, в которых может применяться или модифицироваться комплекс для расширения его функций.
Ключові слова: цифровой автомат, автоматизированное управление
Інформація про авторів публікації:
Бібліографічний опис для цитування:
Шувалова Л.А. Структура программного комплекса синтеза и верификации моделей цифровых автоматов / Л.А. Шувалова, Д.Н. Моамар, Т.Ю. Уткина  // Системи обробки інформації. – 2010. – № 5(86). – С. 149-152.