6.2.2 Definition: Korrektheit
{"Image DocumentName": "6.2.2 Definition: Korrektheit", "Image ImageDescription": "Beispiel: L\u00f6sung der quadratischen Gleichung. qugl (IN: p,q: real, OUT x1,x2:real) // Vorbedingung: (p p)/4 \u00b3 q // Nachbedingung: x1 = (-p/2 + sqr(p p/4-q)) \uf0d9 // x2 = (-p/2 - sqr(p p/4-q)) { w : real; w = sqr(p p/4 - q); x1 = -p/2 + w; x2 = -p/2 - w: } Ein Algorithmus hei\u00dft korrekt bez\u00fcglich seiner Spezifikation, wenn f\u00fcr jeden Aufruf, der die Vorbedingung erf\u00fcllt, nach dem Aufruf des Algorithmus\u2018 die Nachbedingung erf\u00fcllt ist (und er terminiert) Achtung: Die Vorbedingung ist vom Aufrufer zu erf\u00fcllen, die Nachbedingung ist durch den Algorithmus (bzw. den Implementierer) zu erf\u00fcllen.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}