Modellbildung in der Informatik (Xpert.press) - Hardcover
Synopsis
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 date2003
- ISBN 10 3540442928
- ISBN 13 9783540442929
- BindingHardcover
- 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 [Hardcover ]
Print on DemandSeller: booksXpress, Bayonne, NJ, U.S.A.
Seller rating 4 out of 5 stars
Hardcover. Condition: new. This item is printed on demand. Seller Inventory # 9783540442929
Quantity: 10 available
Stock Image
Modellbildung in der Informatik (Xpert.press) (German Edition)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020167957
Quantity: Over 20 available
Seller Image
Modellbildung in Der Informatik -Language: German
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 14070090-n
Quantity: 5 available
Seller Image
Modellbildung in der Informatik.
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Seller rating 5 out of 5 stars
Hardcover. 256 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. 9783540442929 Sprache: Deutsch Gewicht in Gramm: 550. Seller Inventory # 2149816
Quantity: 1 available
Seller Image
Modellbildung in Der Informatik -Language: German
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 14070090
Quantity: 5 available
Stock Image
Modellbildung in der Informatik
Print on DemandSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540442929_lsuk
Quantity: Over 20 available
Seller Image
Modellbildung in Der Informatik -Language: German
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 14070090-n
Quantity: 5 available
Stock Image
Modellbildung in Der Informatik
Published by
Springer-Verlag New York Inc, 2003
ISBN 10: 3540442928
ISBN 13: 9783540442929
New
Hardcover
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Brand New. hardback/cd-rom edition. 266 pages. German language. 9.37x6.30x0.79 inches. In Stock. Seller Inventory # x-3540442928
Quantity: 2 available
Seller Image
Modellbildung in der Informatik
Published by
Springer Berlin Heidelberg Okt 2003, 2003
ISBN 10: 3540442928
ISBN 13: 9783540442929
New
Hardcover
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Buch. 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 # 9783540442929
Quantity: 2 available
Stock Image
Modellbildung in der Informatik
Published by
Springer Berlin Heidelberg, 2003
ISBN 10: 3540442928
ISBN 13: 9783540442929
New
Hardcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. Series: Xpert.press. BIC Classification: UT. Dimension: 235 x 155. Weight in Grams: 640. . 2003. Hardback. . . . . Seller Inventory # V9783540442929
Quantity: 15 available