Языки спецификации

Вики

Язык преобразования моделей

/

Язык преобразования модели Обзор языков преобразования моделей Языки преобразования моделей используются для преобразования моделей в программном и системном инжиниринге.  Специализированные

Вики

Promela – Wikipedia

/

Промела Основы языка Promela Promela – язык верификации для моделирования распределенных систем.  Основан на языке программирования Occam, но имеет дополнительные

Вики

Язык спецификации

/

Язык спецификации Определение языка спецификаций Используется для системного анализа и проектирования систем  Описывает систему на более высоком уровне, чем языки

Вики

Язык описания интерфейса

/

Язык описания интерфейса Определение языка интерфейса (IDL) IDL позволяет программам взаимодействовать на разных языках.  Используется для описания типов данных и

Вики

Мета-объектный механизм

/

Средство создания метаобъектов Meta-Object Facility (MOF) – стандарт группы управления объектами (OMG) для проектирования на основе моделей.  Цель MOF –

Вики

Единый язык моделирования

/

Унифицированный язык моделирования UML – универсальный язык визуального моделирования для визуализации дизайна системы.  UML предоставляет стандартную нотацию для диаграмм, разделенных

Вики

Неинтерпретированная функция

/

Неинтерпретированная функция Неинтерпретируемые функции или функциональные символы в математической логике не обладают другими свойствами, кроме своего названия и n-образной формы. 

Вики

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

/

Язык моделирования Моделирование – процесс создания моделей для описания систем и их поведения.  Моделирование включает различные типы языков, такие как

Прокрутить вверх