Категория:Языки формальных спецификаций

Формальная спецификация языки поддержка формальные методы.

   Семантика (информатика)    Формальная спецификация    Семантика действий    Алгебраическая семантика (информатика)
   Сплав (язык спецификаций)    Язык определения утверждений    Дополненный маркированный граф    Аксиоматическая семантика
   B-метод    Поведение связанных РАЗРАБОТЧИКОВ    Поведение РАЗРАБОТЧИКОВ    BHD    Общий язык алгебраических спецификаций
   Построение и анализ распределенных процессов    CoreASM    Денотационная семантика    РАЗРАБОТЧИКИ    Исчисление длительности    E-LOTOS
   Eiffel (язык программирования)    ESC/Java    Сегмент событий    Расширенный ML    Язык моделирования Java    Язык спецификации временного порядка
   Семейство лиственничных    Система Мод    Диаграмма последовательности сообщений    Meta-IV (язык спецификаций)    Сети внутри сетей
   OBJ (язык программирования)    Язык объектных ограничений    Объект-Z    Операционная семантика    Идеальный разработчик    Сеть Петри
   PlusCal    PowerDEVS    Предикативное программирование    Язык спецификации свойств    Система верификации прототипов
   Уточненное исчисление    Строгий подход к разработке промышленного программного обеспечения    Инструмент Родена    Розетта-ланг
   SPARK (язык программирования)    Язык спецификации и описания    Стохастическая сеть Петри    Система временных событий
   TLA+    TNSDL    Язык универсальных систем    Векторная система сложения    Венский метод разработки    Райт (ADL)    Z нотация