Design by Contract Ziel: zuverlässige Software
{"Image DocumentName": "Design by Contract Ziel: zuverl\u00e4ssige Software", "Image ImageDescription": "Bei Schnittstellen wird ein Kontrakt (Abmachung, Vertrag) festgelegt: Vorbedingungen (precondition) Nachbedingungen (postcondition) Modellierung mittels OCL (Object Constraint Language) Bei \u00abVertragsbruch\u00bb: \u00abRaising\u00bb (werfen) einer bestimmten Exception (Ausnahmebehandlung)", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}