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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Fehlerfreie Software-Entwicklung


    Beteiligte:

    Erschienen in:

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


    Erscheinungsdatum :

    1994-01-01


    Format / Umfang :

    2 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Deutsch




    Die Schmelzexpansion wird ausgebrannt - fehlerfreie Oberflaechen

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


    Fehlerfreie Testumgebung: HiL im Einsatz

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


    Mehrwert durch fehlerfreie Prozesse - Qualitaetssicherung

    Boehme & Weihs Systemtechnik,Sprockhoevel,DE | Kraftfahrwesen | 2007


    Glaenzende Idee : Six Sigma Projekt fuer fehlerfreie Oberflaechenveredelung

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