Modellbildung in der Informatik, 1

Name: Modellbildung in der Informatik, 1
Brand: Springer, Berlin
SKU: 9783642622670
Price: 10648 HUF
Availability: InStock

Szerző: Manfred Broy, Ralf Steinbrüggen

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

10 648 Ft

Leitlinie dieser Einführung in die Informatik ist die Frage, welche Vorgehensweisen einem Problem in...

Információk a könyvről

Szerző

Manfred Broy, Ralf Steinbrüggen

Nyelv

Német

Kötés

Könyv - Puha kötésű

Kiadva

2013

oldal

256

EAN

9783642622670

ISBN

3642622674

Enbook ID

02117257

Kiadó

Springer, Berlin

Súly

410

Méretek

155 x 235 x 14

Teljes leírás

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.§

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Modellbildung in der Informatik, 1

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták