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

Д

• Денотационная семантика ‎ ( 1 C, 7 P)

ЧАС

• Языки проверки оборудования ‎ ( 11 P)

П

• Сети Петри ‎ ( 20 П)
• Процесс исчисления ‎ ( 20 П)

С

• Языки синхронного программирования ‎ ( 9 Б)

Т

• Временная логика ‎ ( 17 П)

С

• Обозначение Z ‎ ( 19 P)

• Семантика (информатика)
• Формальная спецификация

А

• Семантика действий
• Алгебраическая семантика (информатика)
• Сплав (язык спецификации)
• Язык определения утверждений
• Дополненный размеченный график
• Аксиоматическая семантика

Б

• B-метод
• Поведение связанных DEVS
• Поведение DEVS

С

• Общий язык алгебраической спецификации
• Построение и анализ распределенных процессов
• CoreASM

Д

• Денотационная семантика
• РАЗРАБОТЧИКИ
• Расчет продолжительности

И

• Э-ЛОТОС
• Эйфель (язык программирования)
• ЭСК/Ява
• Сегмент мероприятия
• Расширенное машинное обучение

Дж

• Язык моделирования Java

л

• Язык спецификации временного упорядочения
• Семья лиственницы

М

• Система Мод
• Схема последовательности сообщений
• Мета-IV (язык спецификации)

Н

• Сети внутри сетей

ТО

• OBJ (язык программирования)
• Язык ограничений объектов
• Объект-Z
• Операционная семантика

П

• Идеальный разработчик
• сеть Петри
• ПлюсКал
• PowerDEVS
• Предикативное программирование
• Язык спецификации свойств
• Система проверки прототипа

Р

• Уточняющее исчисление
• Строгий подход к разработке промышленного программного обеспечения
• инструмент Родена
• Розетта-ланг

С

• СПАРК (язык программирования)
• Язык спецификации и описания
• Стохастическая сеть Петри

Т

• Система событий по времени
• ТЛА+
• ТНСДЛ

В

• Универсальный системный язык

V

• Система векторного сложения
• Венский метод развития

В

• Райт (АДЛ)

С

• Z-обозначение