Ziele des axiomatischen Ansatzes
... [ Seminar Programmierkonzepte und -sprachen ]
... [↑ Gliederung]
... [← Einleitung]
... [→ Einführende Beispiele] ...
Ziele
Axiomatisch bedeutet aus dem englischen übersetzt "grundsätzlich,
unumstößlich". Der axiomatische Ansatz wird zum Beweisen der Korrektheit
von Programmen, Anweisungen und Sprachkonstrukten benutzt. Es wird ein Programm,
eine Anweisung oder ein Sprachkonstrukt anhand von Vor- und Nachbedingungen beschrieben
(aus der Sicht des Programmierers). Dabei wird nicht notwendigerweise die vollständige
Semantik beschrieben, sondern eventuell nur die Ausschnitte davon, die für
den Beweis von Wichtigkeit sind.
... [ Seminar Programmierkonzepte und -sprachen ]
... [↑ Gliederung]
... [← Einleitung]
... [→ Einführende Beispiele] ...