Abstract is missing.
- Software Verification of Autonomic Systems Developed with ASSLEmil Vassev, Mike Hinchey. 1-16 [doi]
- Modeling Language VariabilityHans Grönniger, Bernhard Rumpe. 17-32 [doi]
- An Approach for Effective Design Space ExplorationEunsuk Kang, Ethan K. Jackson, Wolfram Schulte. 33-54 [doi]
- Migration of Legacy Software Towards Correct-by-Construction Timing BehaviorStefan Resmerita, Kenneth Butts, Patricia Derler, Andreas Naderlinger, Wolfgang Pree. 55-76 [doi]
- Towards IT Systems Capable of Managing Their HealthSelvi Kadirvel, José A. B. Fortes. 77-102 [doi]
- Self-reconfigurable Modular Robots and Their Symbolic Configuration SpaceSouheib Baarir, Lom-Messan Hillah, Fabrice Kordon, Etienne Renault. 103-121 [doi]
- Formal Methods @ RuntimeRadu Calinescu, Shinji Kikuchi. 122-135 [doi]
- Modular State Spaces for Prioritised Petri NetsCharles Lakos, Laure Petrucci. 136-156 [doi]
- A Problem Frame-Based Approach to Evolvability: The Case of the Multi-translationGianna Reggio, Egidio Astesiano, Filippo Ricca, Maurizio Leotta. 157-175 [doi]
- Towards a Framework for Modelling and Verification of Relay Interlocking SystemsAnne Elisabeth Haxthausen. 176-192 [doi]
- Trust Of, In, and among Adaptive SystemsDouglas S. Lange. 193-205 [doi]
- Software Certification: Is There a Case against Safety Cases?Alan Wassyng, T. S. E. Maibaum, Mark Lawford, Hans Bherer. 206-227 [doi]
- Testing Adaptive Probabilistic Software Components in Cyber SystemsLuqi, Grant A. Jacoby. 228-238 [doi]