Entwerfe Programmteile zusammen mit genauen Spezifikationen ihrer Schnittstellen.

Insbesondere spezifiziere bei Funktionen, welche Parameter zulässig sind und was das Ergebnis im Zulässigkeitsbereich ist.

Die Spezifikation kann als Vertrag zwischen

• dem Anwender der Funktion/Komponente (client),
• demjenigen, der die Funktion/Komponente realisiert (provider)

verstanden werden.