The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.09 - September (2009 vol.42)
pp: 93-95
Sandeep K. Shukla , Virginia Polytechnic Institute and State University
ABSTRACT
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, September 2009, doi:10.1109/MC.2009.294
18 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool