Entwicklung und Bewertung zeitkritischer Softwaremodelle

Simulationsbasierter Ansatz und Methodik

Autor*innen

• Michael Barth

Parameter

• 252 Seiten
• 9 Lesestunden

• Informatik & Programmierung

Mehr zum Buch

Der erste Teil des Buches präsentiert einen pragmatischen, formal fundierten Ansatz zur Bewertung zeitkritischer Software bereits in der Modellierungsphase, um Entwicklungskosten zu minimieren. Es werden Beschreibungstechniken für Modelle und Umgebungen eingeführt, die eine zeitbehaftete Semantik nutzen. Im zweiten Teil wird erläutert, wie diese formalen Spezifikationstechniken in ein benutzerfreundliches Werkzeug integriert werden können, das nicht nur die Komplexität reduziert, sondern auch in gängige Notationen wie UML-Aktivitätsdiagramme übersetzbar ist. Das Buch dient somit als Musterbeispiel für den Software-Entwurf mit formalen Methoden.

• Sprache: Deutsch
• Erscheinungsdatum: 2009
• Einband: Hardcover