En savoir plus sur le livre
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.
Achat du livre
Entwicklung und Bewertung zeitkritischer Softwaremodelle, Michael Barth
- Langue
- Année de publication
- 2009
- product-detail.submit-box.info.binding
- (rigide)
Modes de paiement
Personne n'a encore évalué .