Spezifikationsmethode
Mit Spezifikationsmethoden sollen Eigenschaften eines bestehenden oder noch zu entwickelnden Software-Bestandteils (Modul, Klasse, Methode, Operation, Funktion, Prozedur, etc.) beschrieben werden.
Es gibt verschiedene Ansätze:
• algebraische Spezifikation - Gleichungen zwischen Termen beschreiben,
• konstruktive Spezifikation mit der Z-Spezifikation,
• axiomatische Spezifikation (siehe Zusicherungsmethode) - Vor- und Nachbedingungen beschreiben
• Datenmodelle (siehe objektorientiertes Datenmodell),
• Zustandsübergangsbeschreibungen (siehe Zustandsübergangsdiagramm),
• Kontrollflussbeschreibungen,
• Datenflussbeschreibungen.