Mohlo by se vám také líbit

Více informací o knize Entwicklung und Bewertung zeitkritischer Softwaremodelle

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 101 bodů

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy v němčině Naturwissenschaften, Medizin, Informatik, Technik Informatik, EDV Informatik

• Plný název: Entwicklung und Bewertung zeitkritischer Softwaremodelle
• Podnázev: Simulationsbasierter Ansatz und Methodik
• Autor: Michael Barth
• Jazyk: Němčina
• Vazba: Pevná
• Počet stran: 252
• EAN: 9783839111574
• ID: 01798356
• Nakladatelství: Books on Demand
• Hmotnost: 479 g
• Rozměry: 210 × 148 × 20 mm
• Rok vydání: 2009

Oblíbené z jiného soudku

---

---

---