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

Контрактное программирование

Подход к проектированию программного обеспечения, где взаимодействия между компонентами управляются формальными обязательствами (предусловия, постусловия и инварианты), определяющими взаимные ответственности.

← Назад