Verifying Code Automatically Generated From an Executable Model

Currently in the automotive industry, most software source code is manually generated (i.e., hand written). This manually generated code is written to satisfy requirements that are generally specified or captured in an algorithm document. However, this process can be very error prone since errors ca...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	SAE transactions 2005-01, Vol.114, p.2010-2015
Hauptverfasser:	Williams, Cheryl A., Kropinski, Michael A., Matthews, Onassis, Steele, Michael A.
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!