Leitlinie dieser Einführung in die Informatik ist die Frage welche Vorgehensweisen einem
Problem informatische Kontur verleihen und welche Techniken zur Verfügung stehen um
Informatiksysteme analysieren oder entwerfen zu können. Modellierung ist ein durchgängiges
Thema für unterschiedlichste Facetten der Informatik. In dem vorliegenden Text geben die
Autoren einen ersten Überblick zu typischen Modellen die die Informatik einsetzt. Dabei wird
das Thema grundlegend angegangen so dass der Leser die Prinzipien der Modellbildung
nachvollziehen kann und ein fundiertes Verständnis des Entwurfs und der Verifikation von
Informatiksystemen gewinnt. Die vorliegende Einführung in die Theorie und Praxis der
Modellierung setzt keine besonderen Vorkenntnisse voraus. Ferner werden durch Übungsaufgaben
(mit Lösungsvorschlägen) praktische Fertigkeiten vermittelt. Das Buch wendet sich insbesondere
an Fachlehrer der Informatik und an Praktiker der Systementwicklung.
