Язык спецификации
Язык спецификации Определение языка спецификаций Используется для системного анализа и проектирования систем Описывает систему на более высоком уровне, чем языки […]
Вики
Formal specification
Вики
Формальная спецификация
Формальная спецификация Определение и применение формальных спецификаций Формальные спецификации — это математические методы для разработки и проверки систем и ПО.