 |
Terms for subject Information technology containing язык спецификации | all forms | exact matches only | in specified order only
| Russian | English |
| спецификация языка Java | java language specification (unact.ru Bricker) |
| язык машиночитаемых спецификаций | readable specification language (в автоматизации проектирования) |
| язык для определения семантики и спецификации стиля документов | document style semantics and specification language (unact.ru Bricker) |
| язык спецификации временного упорядочивания | language of temporal ordering specification (cтандартизованный язык спецификации, первоначально предназначавшийся для описания коммуникационных и распределённых систем. LOTOS состоит из двух взаимодополняющих языков: языка описания абстрактных типов данных ACT ONE и языка описания поведения в виде алгебры процессов Alex_Odeychuk) |
| язык спецификации временного упорядочивания | LOTOS (сокр. от "language of temporal ordering specification"; cтандартизованный язык спецификации, первоначально предназначавшийся для описания коммуникационных и распределённых систем. LOTOS состоит из двух взаимодополняющих языков: языка описания абстрактных типов данных ACT ONE и языка описания поведения в виде алгебры процессов Alex_Odeychuk) |