Modellbildung in der Informatik (Xpert.press) - Softcover
Leitlinie dieser Einfuhrung in die Informatik ist die Frage, welche Vorgehensweisen einem Problem informatische Kontur verleihen und welche Techniken zur Verfugung stehen, um Informatiksysteme analysieren oder entwerfen zu konnen. Modelle enstehen in der Zusammenschau unterschiedlicher Ansichten eines Systems, die durch pragnante Diagramme beschrieben werden: Entity-Relationship-, Systemstruktur-, Zustandsubergangs- und Sequenzdiagramme. Inharenter 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 Konsistenzprufung und zur Simulation. Sie gehen den Fragen nach, wie sich Diagramme in formale Spezifikationen ubertragen lassen, woher eine Systementwicklung ihre Argumente nimmt, nach welchen Methoden verifiziert wird und wie interaktive Theorembeweiser, wie z.B. Isabelle/HOL, arbeiten.
"synopsis" may belong to another edition of this title.
From the Back Cover:
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.
"About this title" may belong to another edition of this title.
- PublisherSpringer
- Publication date2013
- ISBN 10 3642622674
- ISBN 13 9783642622670
- BindingPaperback
- Number of pages266
Top Search Results from the AbeBooks Marketplace
Seller Image
Modellbildung in der Informatik (Xpert.press) (German Edition) by Broy, Manfred, Steinbrüggen, Ralf [Paperback ]
Seller:
Rating
Book Description Soft Cover. Condition: new. Seller Inventory # 9783642622670
Buy New
£ 26.87
Convert currency
Stock Image
Modellbildung in der Informatik (Xpert.press) (German Edition)
Published by
Springer
(2013)
ISBN 10: 3642622674
ISBN 13: 9783642622670
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Mar3113020231217
Buy New
£ 27.55
Convert currency
Stock Image
Modellbildung in der Informatik
Published by
Springer
(2013)
ISBN 10: 3642622674
ISBN 13: 9783642622670
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783642622670_lsuk
Buy New
£ 29.72
Convert currency
Stock Image
Modellbildung in der Informatik
Seller:
Rating
Book Description PF. Condition: New. Seller Inventory # 6666-IUK-9783642622670
Buy New
£ 25.88
Convert currency
Stock Image
Modellbildung in der Informatik
Seller:
Rating
Book Description Paperback. Condition: Brand New. 266 pages. German language. 9.13x6.06x0.79 inches. In Stock. Seller Inventory # x-3642622674
Buy New
£ 33.19
Convert currency
Seller Image
Modellbildung in der Informatik
Published by
Springer Berlin Heidelberg Okt 2013
(2013)
ISBN 10: 3642622674
ISBN 13: 9783642622670
New
Taschenbuch
Quantity: 2
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 268 pp. Deutsch. Seller Inventory # 9783642622670
Buy New
£ 26.42
Convert currency
Seller Image
Modellbildung in der Informatik
Published by
Springer Berlin Heidelberg
(2013)
ISBN 10: 3642622674
ISBN 13: 9783642622670
New
Taschenbuch
Quantity: 1
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783642622670
Buy New
£ 26.42
Convert currency
Seller Image
Modellbildung in der Informatik
Published by
Springer Berlin Heidelberg
(2013)
ISBN 10: 3642622674
ISBN 13: 9783642622670
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Basiswissen Informatik, System- und EntwicklungskonzeptPraxisorientierte Darstellung f? Ein- und UmsteigerEinleitung: Das Entity-Relationship-Modell.- 0.1 ER-Diagramme.- 0.2 Datenlexika.- 0.3 Uebungen.- 0.4 Wie es weitergeht.- 1 Algebra. Seller Inventory # 5064667
Buy New
£ 26.42
Convert currency