формальные контракты

Определение

Спецификация предусловий и постусловий для инструментов агентов, обеспечивающая корректность их выполнения в стиле Design by Contract.