Modellbildung in der Informatik
Sofort verfügbar, Lieferzeit: 1-3 Tage
28,99 €
14 Tage Zufriedenheitsgarantie
Risikofrei bestellen
Geprüfte Gebrauchtware
Einzeln geprüft
Produktinformationen "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.
| H | B | T | Gramm | 241 mm | 160 mm | 20 mm | 571 gr |
| Erscheinungsjahr | 2003 |
| FSK | 0 |
| Ausgabe | Hardcover |
| Publisher | Books on Demand GmbH, In de Tarpen 42, 22848, Norderstedt, 040 53433511, 040 53433584, info@bod.de |
| ISBN-10 | 3540442928 |
| ISBN-13 | 9783540442929 |
| Autor | Steinbrüggen, Ralf | Broy, Manfred |
| Sprache | Deutsch |
Anmelden
Wusstest du, dass...
ein wiederverkauftes Buch rund 2,7 kg CO₂ einspart – das entspricht einer 14 km langen Autofahrt?
Erfahre mehr zum Thema Nachhaltigkeit bei BuchparkVersandkostenfrei ab 19 €
14 Tage Rückgaberecht - Kein Risiko
Geprüfte Gebrauchtware