Modellierung
Grundlagen und formale Methoden
Uwe Kastens, Hans Kleine Büning
Die Modellierung ist eine typische Arbeitsmethode für das Fach Informatik: Aufgaben, Probleme oder Strukturen werden untersucht und formal beschrieben. Erst danach werden sie durch den Entwurf von Software, Algorithmen, Daten oder Hardware gelöst bzw. implementiert.
Dieses Buch hilft Ihnen, seien Sie Student oder Praktiker im Fach Informatik oder Wirtschaftsinformatik, die Grundlagen der Modellierung zu beherrschen.
Ideal für Einführungsvorlesungen zur Modellierung und für die Bachelorstudiengänge der Informatik und verwandter Fächer.
Wie? Anhand von vielen praktischen Beispielen lernen Sie die grundlegenden Methoden und Kalküle zur Modellierung kennen. Zur Anwendung der Modellierung steht ein breites Spektrum von Kalkülen und Notationen zur Verfügung.
Aus dem Inhalt:
• Systematische Darstellung von Modellierungstechniken und –kalkülen
• Modellierung mit Wertebereichen
• Terme und Algebren
• Logik
• Modellierung mit Graphen
• Modellierung von Strukturen
• Modellierung von Abläufen
• Fallstudien