Entwicklung und Bewertung zeitkritischer Softwaremodelle

Simulationsbasierter Ansatz und Methodik

Autori

• Michael Barth

Parametri

• 252 pagine
• 9 ore di lettura

• Computer, IT, programmazione

Maggiori informazioni sul libro

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.

Lingua: Tedesco

Pubblicato: 2009

(Copertina rigida)