Schrittweise Verfeinerung

• Absicht: auf sichere Weise von der Spezifikation zur Implementierung
• Methode: nicht auf einmal, sondern schrittweise.

  jeder Schritt entspricht der Unterteilung einer Komponente in Sub-Komponenten und der Spezifikation ihres Zusammenwirkens (ihrer Schnittstellen)

• schließlich sind die Komponenten so klein,
  daß ihre Implementierung trivial ist
• und damit ist das Gesamtsystem korrekt.

Das Festlegen von Schnittstellen ist der kreative Akt!

(nicht das Hacken von Programmen, in der vagen Hoffnung, daß sie was sinnvolles tun)