Stufen von Verträgen

(nach K. Pugh)

• Typdeklarationen
• Formale Spezifikation von Vor- und Nachbedingungen
• Leistungsgarantien (für Echtzeitsysteme)
• Dienstgüte-Garantien (quality of service)