Formal specification languages

Вики

ТНСДЛ

/

TNSDL Обзор TNSDL TNSDL — язык спецификаций и описаний для Nokia Networks.  Основан на SDL-88 ITU-T, используется для разработки приложений […]

Вики

СПАРК (язык программирования)

/

SPARK (язык программирования) Определение и история SPARK SPARK — это язык программирования, основанный на Ada, предназначенный для разработки высоконадежного ПО. 

Вики

Предикативное программирование

/

Прогнозирующее программирование Основы предикативного программирования Предикативное программирование — метод спецификации и уточнения программ.  Спецификация представляет собой двоичное выражение, истинное для

Вики

Идеальный разработчик

/

Идеальный разработчик Обзор инструмента Perfect Developer (PD) PD предназначен для разработки сложных программных приложений в ИТ-системах и критически важных бортовых

Вики

Б-метод

/

B-Метод Обзор метода B Метод B — это формальный метод разработки программного обеспечения, основанный на теории автоматов и математической логике. 

Вики

Венский метод развития

/

Венский метод разработки Основы VDM-SL VDM-SL — язык спецификации для описания программных систем.  Используется для описания систем, которые не могут

Вики

Сплав (язык спецификации)

/

Сплав (язык спецификации) Основы языка Alloy Alloy — это декларативный язык для выражения сложных структурных ограничений в ПО.  Он основан

Вики

Розетта-ланг

/

Розетта-лэнг Обзор языка Rosetta Rosetta — это язык для проектирования сложных гетерогенных систем.  Цели проектирования включают представление ограничений, гетерогенности и

Вики

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

/

Язык моделирования Java Обзор JML JML — это язык спецификаций для Java, использующий предварительные и постусловия.  Спецификации записываются в виде

Вики

Язык спецификации свойств

/

Язык спецификации свойств Определение и использование PSL PSL — это темпоральная логика, расширяющая LTL для повышения выразительности.  Используется в аппаратном

Вики

Система проверки прототипа

/

Система верификации прототипа Основы PVS PVS — это язык спецификаций с автоматизированной проверкой теорем, разработанный в SRI International.  Основана на

Вики

Алгебраическая семантика (информатика)

/

Алгебраическая семантика (информатика) Основы алгебраической семантики Алгебраическая семантика — форма аксиоматической семантики в информатике.  Синтаксис алгебраической спецификации состоит из определения

Вики

Семантика действий

/

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

Вики

Операционная семантика

/

Операционная семантика Определение и история операционной семантики Операционная семантика описывает, как программы интерпретируются и выполняются.  Основана на работах Алонзо Чёрча

Вики

Денотационная семантика

/

Денотативная семантика Основы денотационной семантики Денотационная семантика — это математическая теория, описывающая смысл программ.  Она отличается от операционной семантики, которая

Вики

Петрине

/

Сеть Петри Определение и применение сетей Петри Сети Петри — это математические модели для описания параллельных систем.  Они состоят из

Вики

Формальная спецификация

/

Формальная спецификация Определение и применение формальных спецификаций Формальные спецификации — это математические методы для разработки и проверки систем и ПО. 

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