Modellierung - Grundlagen und formale Methoden

Uwe Kastens, Hans Kleine Büning

Modellierung

Grundlagen und formale Methoden

2018

308 Seiten

Format: PDF

E-Book: €  33,99

E-Book kaufen

E-Book kaufen

ISBN: 9783446455399

 

Systematische Darstellung von Modellierungstechniken und -kalkülen
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.
Als Student oder Praktiker im Fach Informatik oder Wirtschaftsinformatik müssen Sie die Grundlagen der Modellierung beherrschen. Als Ausdrucksmittel für die Modellierung steht ein breites Spektrum von Kalkülen und Notationen zur Verfügung. Sie sind spezifisch für unterschiedliche Arten von Problemen und Aufgaben. In diesem Buch lernen Sie anhand von vielen praktischen Beispielen, die grundlegenden Methoden und Kalküle zur Modellierung anzuwenden.
Dieses Buch, das auch Abschnitte zu UML und XML enthält, vermittelt den Lehrstoff für Einführungsvorlesungen zur Modellierung und eignet sich für die Bachelor-Studiengänge der Informatik und verwandter Fächer.
AUS DEM INHALT //
Modellierung mit Wertebereichen // Terme und Algebren // Logik // Modellierung mit Graphen // Modellierung von Strukturen // Modellierung von Abläufen // Fallstudien

Prof. Dr. Uwe Kastens und Prof. Dr. Hans Kleine Büning lehrten Informatik an der Universität Paderborn und hielten dort im Wechsel die Modellierungsvorlesung.

 

© 2009-2018 ciando GmbH