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

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

Метод автоматической генерации программ на основе формальных спецификаций с использованием правил дедуктивной логики для преобразования предусловий и постусловий в исполняемый код.

← Назад