Формальное средство описания
Список продуктов
Данный раздел/документ содержится в продуктах:
Данный раздел/документ содержится в продуктах:
- Техэксперт: Нормы, правила, стандарты и законодательство России
- Техэксперт: Нефтегазовый комплекс
- Техэксперт: Машиностроительный комплекс
ФОРМАЛЬНОЕ СРЕДСТВО ОПИСАНИЯ
(formal notation)
Язык технического описания, синтаксис и семантика которого определены формально.
Пример - Z нотация (Zed), NuSMV (средство проверки символьной модели), Система верификации прототипа (PVS), Венский метод разработки (VDM).
