Modellbildung in Der Informatik - Couverture souple

Livre 124 sur 189: Xpert.press

Broy, Manfred; Steinbrüggen, Ralf

 
9783642622670: Modellbildung in Der Informatik
Couverture souple
ISBN 10 : 3642622674 ISBN 13 : 9783642622670
Editeur : Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2013

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Date d'édition
2013
Langue
allemand
ISBN 10 
3642622674
ISBN 13 
9783642622670
Reliure
Broché
Nombre de pages
266
Coordonnées du fabricant
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Allemagne

Autres éditions populaires du même titre

9783540442929: Modellbildung in Der Informatik

Edition présentée

ISBN 10 :  3540442928 ISBN 13 :  9783540442929
Editeur : Springer-Verlag Berlin and Heide..., 2003
Couverture rigide