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.
Werkzeuggestuetzte Verifikation des Entwurfs von Software
Tool-based verification of software design
Regelungstechnische Praxis ; 26 , 12 ; 540-544
1984
5 Seiten, 6 Bilder
Aufsatz (Zeitschrift)
Deutsch
Verifikation von AUTOSAR Software Architekturen
Kraftfahrwesen | 2010
|Ein Verfahren zur Software-Verifikation
Tema Archiv | 1984
|BESCHLEUNIGTE VERIFIKATION DER KRAFTFAHRZEUG-SOFTWARE IN FAHRZEUGEN
Europäisches Patentamt | 2022
|Formale Verifikation - eine leistungsfaehige Methodik zur Verifikation von embedded systemen
Kraftfahrwesen | 2002
|