'High assurance systems' presentation slideshows

Model-Driven Engineering of High-Assurance Adaptive Systems Dr. B. Cheng chengb at cse.msu

Model-Driven Engineering of High-Assurance Adaptive Systems Dr. B. Cheng chengb at cse.msu.edu. CSE891 Spring 2008. Background. Model-driven engineering Systematic refinement of models, from abstract to more concrete models Growing area of research and practice Autonomic Computing

222 views • 7 slides