Specification languages

Вики

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

/

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

Вики

Promela — Wikipedia

/

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

Вики

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

/

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

Вики

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

/

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

Вики

Алгебраический язык моделирования

/

Язык алгебраического моделирования Основы алгебраического моделирования Математические программы (МП) используются для решения оптимизационных задач.  МП включают в себя интерпретаторы, решатели,

Вики

Модель бизнес-процесса и обозначения

/

Модель и обозначения бизнес-процессов BPMN — это стандарт моделирования бизнес-процессов, разработанный Инициативой по управлению бизнес-процессами (BPMI) и поддерживаемый Группой по

Вики

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

/

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

Вики

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

/

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

Вики

Обозначение Z

/

Обозначение Z Z-нотация — формальный язык спецификации для описания и моделирования вычислительных систем.  Жан-Раймон Абриал разработал Z-нотацию в 1974 году

Вики

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

/

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

Вики

Формальные методы

/

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

Вики

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

/

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

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