Grundlagen der Informatik I “Programmierung”

Bauen wir nun einen Betrieb nach dem Süßer-Senf(Burger)-Konzept auf, so wird dort Weißwurst mit süßen
Senf zusätzlich zum normalen Burger angeboten, und nach dem Scharfer-Senf(Backhuhn)-Konzept würde
Weißwürste mit scharfem Senf zusätzlich zu Backhühnern angeboten.
Erst durch das Konzept der Vererbung läßt sich die am Anfang angesprochene evolutionäre Entwicklung
effizient realisieren. Die Sprachen, die Klassifizierung über Vererbung und Typparameter zulassen, sind Eiffel
und C++. In den anderen werden gerade solche Erweiterungen eingebaut.
1.3.7 Zusammenfassung
Die obige Reihenfolge der Strukturierungskonzepte gibt ihre geschichtliche Entwicklung wieder. Die Strukturierung,
wie sie bei der Systementwicklung durchgeführt wird, erfolgt genau umgekehrt. 6 Zuerst wird die
Frage nach der Strukturierung der Daten gestellt, das System grob in Klassen zerlegt und die Beziehung
der Klassen (Vererbung und Benutzung) zueinander festgelegt. Anschließend werden für jede einzelne Klasse
ihre Leistungen festgelegt und jede Leistung in Form eines Kontraktes beschrieben. Ein Kontrakt ist das
Versprechen des Programmierers, daß, wenn die geforderte Eingangsbedingung (Precondition) erfüllt ist, er
garantiert, daß die Ausgangsbedingung (Postcondition) ebenso erfüllt ist.
Damit ist dann die Entwurfsphase beendet, und es beginnt die Implementierungsphase, in der jede Leistung
einer Klasse entsprechend dem Kontrakt programmiert wird. Die Programmierung benutzt dann die schrittweise
Verfeinerung im Falle, daß die Implementierungsprache eine imperative oder maschinennahe Sprache ist.
Man könnte natürlich auch die einzelnen Leistungen in einer logischen oder funktionalen Sprache realisieren,
unter der Beachtung der Verfeinerungkonzepte, die diese Sprachen bieten.
Die Fähigkeit zum Umgang mit formalen Systemen ist in allen diesen Phasen unumgänglich. Aus diesem
Grunde werden wir zunächst die wichtigsten Teile der Logik und formaler Sprachbeschreibungen besprechen
müssen, bevor wir die Konzepte von Programmiersprachen genauer vorstellen.
6 Aus diesem Grunde folgen wir in dieser Vorlesung auch nicht der geschichtlichen Entwicklung sondern steigen “von oben”
in die Programmierkonzepte ein.