Modellierung
Grundlagen und formale Methoden
Buch in deiner Nähe kaufen
Beschreibung
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
Autor*in
Uwe Kastens
Prof. Dr. Uwe Kastens lehrte Informatik an der Universität Paderborn und hielt dort im Wechsel die Modellierungsvorlesung.
Themen in »Modellierung«
Grundbegriffe Grundlagen Informatik Hardware-Modellierung Modellierung Programmieren Programmierung Softwareentwicklung Software-Modellierung