Informatisches Modellieren und Konstruieren

Die Überlegungen am Schluss von Kapitel 3 sowie tiefergehende Arbeiten (z.B. Thomas, 2002) weisen darauf hin, dass man die Informatik in einem gewissen Sinne als Wissenschaft von der Herstellung ausführbarer Modelle ansehen kann. In diesem Kapitel analysieren wir den Modellbildungsprozess genauer und gehen in den weiteren Abschnitten auf formale Methoden zur Präzisierung ein. In Kapitel 11 werden weitere zentrale informatische Modelle besprochen. Ein Lehrbuch zum informatischen Modellieren ist (Kastens/Kleine Büning, 2008). Zunächst klären wir das Wesen allgemeiner Modellbildung.