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
verstanden werden.