Das Modellieren ist eine typische Arbeitsmethode für das Fach Informatik: Aufgaben, Probleme oder Strukturen werden untersucht und formal beschrieben, bevor sie durch den Entwurf von Software, Algorithmen, Daten oder Hardware gelöst bzw. implementiert werden.
Dieses Lehrbuch gibt eine Übersicht über die wichtigsten Kalküle und Notationen, mit denen sich typische Problemstellungen modellieren lassen, und vermittelt ein grundlegendes Verständnis davon. Die Leser lernen an zahlreichen Beispielen und mit Hilfe von Aufgaben, die Kalküle anzuwenden, und erwerben dabei Erfahrung im Modellieren, die sie in der Praxis einsetzen können.
Vermittelt wird der Lehrstoff zur Modellierung für Einführungsvorlesungen in Informatik und verwandten Fächern. Die zweite Auflage wurde gründlich überarbeitet und um Abschnitte zu UML und XML erweitert.
Uwe Kastens
Grundlagen Informatik Hardware-Modellierung Modellierung Software-Modellierung