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

Определение

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

Где встречается

• 752. Как Harness Engineering помогает решить проблему гарантий исполнения в критических миссиях (mission-critical)
• 800+ вопросов

Навигация

• Индекс терминов
• Индекс разборов
• Оглавление