This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Model-Driven Engineering and Safety-Critical Embedded Software
September 2009 (vol. 42 no. 9)
pp. 93-95
Sandeep K. Shukla, Virginia Polytechnic Institute and State University
Implementations embodied in a formally defined language with unambiguous semantics and a sound surrounding correctness for preserving refinement methodology make safety-critical software even safer.
Index Terms:
Model-driven engineering, Safety-critical embedded software, Autocode generation
Citation:
Sandeep K. Shukla, "Model-Driven Engineering and Safety-Critical Embedded Software," Computer, vol. 42, no. 9, pp. 93-95, Sept. 2009, doi:10.1109/MC.2009.294
Usage of this product signifies your acceptance of the Terms of Use.