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

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

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

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