Инструменты формальных методов

Вики

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

/

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

Вики

Б-метод

/

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

Вики

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

/

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

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