✍️ 🧑‍🦱 💚 Autor:innen verdienen bei uns doppelt. Dank euch haben sie so schon 418.243 € mehr verdient. → Mehr erfahren 💪 📚 🙏

Entwicklung und Bewertung zeitkritischer Softwaremodelle

Entwicklung und Bewertung zeitkritischer Softwaremodelle

von Michael Barth
Hardcover - 9783839111574
39,90 €
  • Versandkostenfrei
Auf meine Merkliste
  • Hinweis: Print on Demand. Lieferbar in 7 Tagen.
  • Lieferzeit nach Versand: ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Autorenfreundlich Bücher kaufen?!

Beschreibung

Zeitkritische Software bereits aufgrund einer ersten Modell-beschreibung in ihrem Verhalten bewertbar zu machen, kann helfen teure Entwicklungskosten zu sparen. Nach einer Skizze bekannter Techniken und ihrer Einschränkungen und Probleme verfolgt dieses Buch im ersten Teil einen eigenen, pragmatischen, aber formal fundierten Ansatz. Dazu werden Beschreibungstechniken für Modelle, Umgebungen und Lasten eingeführt, die einzelne Bearbeitungsabläufe mittels einer zeitbehafteten Semantik bewertbar machen. Im zweiten Teil wird gezeigt, wie die formalen Spezifikationstechniken in einem Werkzeug vollständig gekapselt werden können. Diese müssen dadurch vom Anwender nicht mehr beherrscht werden und sind in Notationen der Praxis (UML-Aktivitätsdiagramme) übersetzbar. Durch den Werkzeugbau stellt diese Arbeit auch ein Musterbeispiel für den Software-Entwurf und Entwicklung unter Einbeziehung formaler Methoden dar.

Simulationsbasierter Ansatz und Methodik

Details

Verlag BoD – Books on Demand
Ersterscheinung 22. Juli 2009
Maße 21.6 cm x 15.3 cm x 2.1 cm
Gewicht 482 Gramm
Format Hardcover
ISBN-13 9783839111574
Auflage 1. Auflage
Seiten 252

Herstellerinformationen +