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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Fehlerfreie Software-Entwicklung



    Published in:

    miniMikro-Magazin ; 10 , 11/12/94 ; 34-35


    Publication date :

    1994-01-01


    Size :

    2 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    German




    Die Schmelzexpansion wird ausgebrannt - fehlerfreie Oberflaechen

    Doriat,C. / Synventive Moulding Solutions,Bensheim,DE | Automotive engineering | 2011


    Fehlerfreie Testumgebung: HiL im Einsatz

    Bauman,J. / La Zar,D. / Lear Corporation,US et al. | Automotive engineering | 2010


    Mehrwert durch fehlerfreie Prozesse - Qualitaetssicherung

    Boehme & Weihs Systemtechnik,Sprockhoevel,DE | Automotive engineering | 2007


    Glaenzende Idee : Six Sigma Projekt fuer fehlerfreie Oberflaechenveredelung

    Seufferlein,R. / Tinnermann,W. / Decoma,Neunkirchen,DE | Automotive engineering | 2005