Qualitätstaktik für Funktionale Eignung

Korrektheit, Angemessenheit

Design by Contract

Vorbedingungen, Nachbedingungen und Invarianten für explizites, überprüfbares Verhalten spezifizieren

#DesignByContract #Vorbedingungen #FormalSpecification

Link kopiert!