System, Modell, Programm

Das Buch behandelt die Grundlagen der Informatik, von allgemeinen Fragen der Modellbildung bis zur Bewertung von Programmen. Anhand einer einfachen Programmiersprache (FirstStep) werden die verschiedenen Konzepte zur Repräsentation von Daten und zur Steuerung von Programmen vorgestellt. Verschiedene Ansätze zur Strukturierung komplexer Modelle werden eingeführt, u. a. das Funktions- und Prozedurkonzept, das Modul- sowie das Klassenkonzept. Weiterhin wird das Typkonzept moderner Programmiersprachen untersucht und dessen Nutzen beim Entwurf sicherer Software analysiert. Einen weiteren Schwerpunkt des Buches bildet die Analyse der Programmierparadigmen, wobei das objektorientierte Programmieren besonders ausführlich dargestellt wird. Zahlreiche Beispiele und Aufgaben helfen dem Leser, die vorgestellten Konzepte besser zu verstehen und anzuwenden.