The book is currently out of stock
More about the book
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.
Book purchase
Entwicklung und Bewertung zeitkritischer Softwaremodelle, Michael Barth
- Language
- Released
- 2009
- product-detail.submit-box.info.binding
- (Hardcover)
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.