Module, Klassen, Verträge

Dieses Lehrbuch will den Leser nicht nur in das Programmieren im Kleinen, in Algorithmen und Datenstrukturen, sondern auch in objekt- und komponentenorientierte Softwaretechniken einführen, um ihn auf das systematische Konstruieren professioneller Software vorzubereiten. Software erscheint als Architektur - als strukturierte Ansammlung von Komponenten, die über definierte Schnittstellen interagieren. Der Autor entwickelt die Lehrinhalte anhand aufeinander aufbauender Beispielkomponenten, wobei er Software-Qualitätsmerkmale wie Wartbarkeit und Wiederverwendbarkeit behandelt. Der Leser lernt nach dem Ansatz des schrittweisen Öffnens von Black Boxes zunächst, Komponenten zu benutzen, bevor er sie implementiert und erweitert. Die Methode des Spezifizierens und Programmierens durch Vertrag setzt der Autor konsequent ein, um zu zeigen, wie man zuverlässige, korrekte Software entwickeln kann. Neben grafischen Notationen dient die objekt- und komponentenorientierte Programmiersprache Component Pascal dazu, die softwaretechnischen Konzepte zu vermitteln. Das Buch bietet Grundlagen, ohne Spezialkenntnisse vorauszusetzen; es richtet sich vor allem an Einsteiger in die Informatik.