IT |
LOTOS (сокр. от "language of temporal ordering specification"; cтандартизованный язык спецификации, первоначально предназначавшийся для описания коммуникационных и распределённых систем. LOTOS состоит из двух взаимодополняющих языков: языка описания абстрактных типов данных ACT ONE и языка описания поведения в виде алгебры процессов Alex_Odeychuk); language of temporal ordering specification (cтандартизованный язык спецификации, первоначально предназначавшийся для описания коммуникационных и распределённых систем. LOTOS состоит из двух взаимодополняющих языков: языка описания абстрактных типов данных ACT ONE и языка описания поведения в виде алгебры процессов Alex_Odeychuk) |