Slide 1 JAVA Implementation of CCM Configuration Shufeng Li MSE final Project Presentation I Slide 2 Outline Overview Boeing Bold Stroke, Cadena, CORBA, CCM Requirements…

Cadena: An Integrated Environment for Developing High-Assurance Component-based Systems http://www.cis.ksu.edu/cadena Matt Dwyer John Hatcliff Principal Investigators Support…

Analyzing Component-based Designs: The Cadena Environment http://www.cis.ksu.edu/cadena SAnToS Laboratory, Kansas State University, USA Matt Dwyer John Hatcliff Gurdip Singh…

Slide 1 http://cadena.projects.cis.ksu.edu SAnToS Laboratory, Kansas State University, USA Cadena: Analyzing Component- based Embedded System Designs Matthew Dwyer John Hatcliff…

Cadena: An Integrated Environment for Developing High-Assurance Component-based Systems http://www.cis.ksu.edu/cadena SAnToS Laboratory, Kansas State University, USA Matt…