Durch Beachtung strenger Richtlinien und durch Verwendung von Werkzeugen koennen Softwarefehler vor der Inbetriebnahme der Software erkannt und behoben werden. Anforderungen an Entwurfswerkzeuge zur Verifikation eines Softwareentwurfs werden beschrieben und Beispiele gegeben.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Werkzeuggestuetzte Verifikation des Entwurfs von Software


    Weitere Titelangaben:

    Tool-based verification of software design


    Beteiligte:
    Drtil, H. (Autor:in)

    Erschienen in:

    Regelungstechnische Praxis ; 26 , 12 ; 540-544


    Erscheinungsdatum :

    1984


    Format / Umfang :

    5 Seiten, 6 Bilder


    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Deutsch




    Ein Verfahren zur Software-Verifikation

    Krebs, H. / Haspel, U. | Tema Archiv | 1984


    Verifikation von AUTOSAR Software Architekturen

    Gravier,E. / Gros,M. / Geburzi,A. et al. | Kraftfahrwesen | 2010


    BESCHLEUNIGTE VERIFIKATION DER KRAFTFAHRZEUG-SOFTWARE IN FAHRZEUGEN

    KASTER ROBERT | Europäisches Patentamt | 2022

    Freier Zugriff

    Modell und Software Verifikation vereinfacht - zeitkritische Software Anforderungen effizient testen

    Mennenga,M. / Dziobek,C. / Bahous,I. et al. | Kraftfahrwesen | 2009