![]() |
English | Russian |
document style semantics and specification language | язык для определения семантики и спецификации стиля документов (unact.ru Bricker) |
java language specification | спецификация языка Java (unact.ru Bricker) |
language of temporal ordering specification | язык спецификации временного упорядочивания (cтандартизованный язык спецификации, первоначально предназначавшийся для описания коммуникационных и распределённых систем. LOTOS состоит из двух взаимодополняющих языков: языка описания абстрактных типов данных ACT ONE и языка описания поведения в виде алгебры процессов Alex_Odeychuk) |
readable specification language | язык машиночитаемых спецификаций (в автоматизации проектирования) |