Modellbildung in der Informatik di Manfred Broy, Ralf Steinbrüggen edito da Springer Berlin Heidelberg
Alta reperibilità

Modellbildung in der Informatik

Collana:
Xpert.press
EAN:

9783540442929

ISBN:

3540442928

Pagine:
268
Formato:
Hardback
Lingua:
Tedesco
Acquistabile con o la

Descrizione Modellbildung in der Informatik

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.

Spedizione gratuita
€ 47.49
o 3 rate da € 15.83 senza interessi con
Disponibile in 10-12 giorni
servizio Prenota Ritiri su libro Modellbildung in der Informatik
Prenota e ritira
Scegli il punto di consegna e ritira quando vuoi

Recensioni degli utenti

e condividi la tua opinione con gli altri utenti