Mohlo by sa vám tiež páčiť

Viac informácií o knihe Verifikation von ausführbaren Systemspezifikationen

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 245 bodov

Anotácia knihy

Für die Entwicklung komplexer eingebetteter Systeme werden ausführbare Spezifikationen eingesetzt, die eine frühe Validierung der zu entwickelnden Systeme in Bezug auf funktionale Aspekte ermöglichen. Ausfürbare Systemsprzifikationen basierend auf dem Discrete-Event Formalismus erlauben eine vergleichsweise abstrakte parametrisierbare Beschreibung, unabhängig von Implementierungsdetails. Gegenstand dieses Buches ist die Entwicklung und Gegenüberstellung von Eigenschaftsbeschreibungen und Verifikationsmethoden, die eine automatisierte Verifikation zeitbeschränkter funktionaler Eigenschaften in ausführbaren Spezifikation ermöglichen. Es werden zwei Anwendungsszenarien für die Verifikation betrachtet, einerseits die vollständige formale Verifikation von Eigenschaften und andererseits eine dynamische Überprüfung von temporalen Eigenschaften während einer szenariobasierten Simulation. Beide Ansätze sind prototypisch für die Entwicklungsumgebung MLDesigner realisiert und validiert worden. Ausgehend von den Ergebnissen der Validierung werden die Ansätze vergleichend gegenübergestellt.

Parametre knihy

Zaradenie knihy Knihy po nemecky Naturwissenschaften, Medizin, Informatik, Technik Informatik, EDV Informatik

• Celý názov: Verifikation von ausführbaren Systemspezifikationen
• Podnázov: Entwicklung und Gegenüberstellung von Methoden zur automatisierten Verifikation von ausführbaren Systemspezifikationen
• Autor: Alexander Pacholik
• Jazyk: Nemčina
• Väzba: Brožovaná
• Počet strán: 236
• EAN: 9783838121925
• ID: 07043994
• Nakladateľ: Südwestdeutscher Verlag für Hochschulschriften
• Hmotnosť: 368 g
• Rozmery: 220 × 150 × 14 mm
• Rok vydania: 2011

Obľúbené z iného súdka

---

---

---