Goals, specs & plans · Concept

Design by contract

Specify preconditions, postconditions, and invariants at software boundaries.

Related terms

Goal · Success criteria · PRD

Primary references

Reference definition