Komponenten und Schnittstellen

jede (Software-)Komponente implementiert eine Schnittstelle, die die notwendigen Eigenschaften beschreibt.

• Unterprogramm (Funktion):

  Zusammenhang zwischen Argument und Resultat (Ein- und Ausgabedaten)

• Anweisung, Unterprogramm (Prozedur):

  Zusammenhang zwischen Programmzustand vor und nach der Ausführung (Vor- und Nachbedingung)

• Klasse:

  Objekt-Invarianten (Beziehungen zwischen Attributen)