Modellbildung in der Informatik (Xpert.press) - Hardcover

Buch 124 von 189: Xpert.press

Broy, Manfred; Steinbrüggen, Ralf

 
9783540442929: Modellbildung in der Informatik (Xpert.press)
Hardcover
ISBN 10: 3540442928 ISBN 13: 9783540442929
Verlag: Springer, 2003

Inhaltsangabe

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. Modelle enstehen in der Zusammenschau unterschiedlicher Ansichten eines Systems, die durch prägnante Diagramme beschrieben werden: Entity-Relationship-, Systemstruktur-, Zustandsübergangs- und Sequenzdiagramme. Inhärenter Bestandteil dieser grafischen Beschreibungstechniken ist die Charakterisierung der zugrundeliegenden Daten (z.B. in funktionaler Programmierung). Die Autoren verwenden in Ihrem Werk AutoFOCUS zum Diagramm-orientierten Systementwurf, zur Konsistenzprüfung und zur Simulation. Sie gehen den Fragen nach, wie sich Diagramme in formale Spezifikationen übertragen lassen, woher eine Systementwicklung ihre Argumente nimmt, nach welchen Methoden verifiziert wird und wie interaktive Theorembeweiser, wie z.B. Isabelle/HOL, arbeiten.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Von der hinteren Coverseite

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2003
Sprache
Deutsch
ISBN 10 
3540442928
ISBN 13 
9783540442929
Einband
Gebundene Ausgabe
Anzahl der Seiten
266
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland

Weitere beliebte Ausgaben desselben Titels

9783642622670: Modellbildung in der Informatik (Xpert.press)

Vorgestellte Ausgabe

ISBN 10:  3642622674 ISBN 13:  9783642622670
Verlag: Springer, 2013
Softcover