Ebook: Modellbildung in der Informatik
- Tags: Information Systems and Communication Service, Models and Principles, Information Systems Applications (incl. Internet)
- Series: Xpert.press
- Year: 2004
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 1
- Language: German
- pdf
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.
Content:
Front Matter....Pages i-x
Einleitung: Das Entity-Relationship-Modell....Pages 1-19
Algebraische Modellierung....Pages 21-51
Diagrammatische Modellierung....Pages 53-111
Modellierung und Verifikation....Pages 113-160
Struktur formaler Sprachen....Pages 161-200
Abschluss: Requirements Engineering....Pages 201-211
Anhang....Pages 213-252
Back Matter....Pages 213-256
Content:
Front Matter....Pages i-x
Einleitung: Das Entity-Relationship-Modell....Pages 1-19
Algebraische Modellierung....Pages 21-51
Diagrammatische Modellierung....Pages 53-111
Modellierung und Verifikation....Pages 113-160
Struktur formaler Sprachen....Pages 161-200
Abschluss: Requirements Engineering....Pages 201-211
Anhang....Pages 213-252
Back Matter....Pages 213-256
....