Категория:Языки спецификаций

В этой категории перечислены языки спецификаций, известные Википедии.

См. Также: Категория:Эталонные модели, Категория: Корпоративное моделирование.

   Язык спецификаций    Язык алгебраического моделирования 
  Алгебраическая сеть Петри    Язык спецификаций ANSI/ISO C    Язык управления боем    Модель и обозначения бизнес-процессов
   Конвейеры CMS    КООПЕРАТИВ    ERIL    Формальные методы    Язык моделирования, специфичный для фреймворка
   Franca IDL    Фундаментальные концепции моделирования    Моделирование общего назначения    Язык целевых требований
   Метод ГУДА    Я*    Язык спецификаций IDL    Язык моделирования потоков взаимодействия    Язык описания интерфейса    КМ3
   Помощник по знаниям    LISA (Language for Instruction Set Architecture)    Легкий язык интерфейса устройства визуализации
   Little b (язык программирования)    M2M (Eclipse)    Объект метаобъекта    Язык определения военных сценариев    MML (язык программирования)
   MMT (Eclipse)    Язык преобразования моделей    Язык моделирования    OASIS TOSCA    Методология объектных процессов
   Объект-Z    OGML    Petriscript    Promela    SAP NetWeaver Visual Composer    Shyster (экспертная система)    SoaML    Tefkat
   TLA+    Унифицированный язык моделирования    Неинтерпретированная функция    Web IDL    WebML    XPDL    Z обозначения    Z++