Дедуктивный синтез программ

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

Математически точное описание ожидаемого поведения системы или программы, использующее формальные нотации, такие как Z, VDM или B, для определения свойств и ограничений.

← Назад