Formal plan

Определение

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

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

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

Навигация

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