Das Entwicklungstool Verification Support Environment = VSE kann gegenüber konventionellen CASE-Tools mit Hilfe formaler Spezifikations- und Verifikationsmethoden die Korrektheit von Software (SW)-Systemen beweisen. Die Aufgabe des VSE-Systems ist die Unterstützung des gesamten SW-Entwicklungsprozesses inkl. der Entwicklungsdokumentation. Das Neue und Außergewöhnliche gegenüber klassischen Case-Werkzeugen ist die Möglichkeit, über formale Spezifikations- und Verifikationsmethoden die Korrektheit ganzer SW-Systeme (oder Teilen) formal nachzuweisen.
Fehlerfreie Software-Entwicklung
miniMikro-Magazin ; 10 , 11/12/94 ; 34-35
1994-01-01
2 pages
Article (Journal)
German
© Metadata Copyright Deutsche Bahn AG. All rights reserved.
Die Schmelzexpansion wird ausgebrannt - fehlerfreie Oberflaechen
Automotive engineering | 2011
|Fehlerfreie Testumgebung: HiL im Einsatz
Automotive engineering | 2010
|Mehrwert durch fehlerfreie Prozesse - Qualitaetssicherung
Automotive engineering | 2007
|Glaenzende Idee : Six Sigma Projekt fuer fehlerfreie Oberflaechenveredelung
Automotive engineering | 2005
|Das fehlerfreie Netzwerk knuepfen. Kraftfahrzeugelektronik im neuen Audi A8
Automotive engineering | 2002
|