Radu Calinescu, Ethan K. Jackson (Eds.):
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems - 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers.
Lecture Notes in Computer Science 6662 Springer 2011, ISBN 978-3-642-21291-8 
- Emil Vassev, Mike Hinchey:
Software Verification of Autonomic Systems Developed with ASSL.
1-16
- Hans Grönniger, Bernhard Rumpe:
Modeling Language Variability.
17-32
- Eunsuk Kang, Ethan K. Jackson, Wolfram Schulte:
An Approach for Effective Design Space Exploration.
33-54
- Stefan Resmerita, Kenneth Butts, Patricia Derler, Andreas Naderlinger, Wolfgang Pree:
Migration of Legacy Software Towards Correct-by-Construction Timing Behavior.
55-76
- Selvi Kadirvel, José A. B. Fortes:
Towards IT Systems Capable of Managing Their Health.
77-102
- Souheib Baarir, Lom-Messan Hillah, Fabrice Kordon, Etienne Renault:
Self-reconfigurable Modular Robots and Their Symbolic Configuration Space.
103-121
- Radu Calinescu, Shinji Kikuchi:
Formal Methods @ Runtime.
122-135
- Charles Lakos, Laure Petrucci:
Modular State Spaces for Prioritised Petri Nets.
136-156
- Gianna Reggio, Egidio Astesiano, Filippo Ricca, Maurizio Leotta:
A Problem Frame-Based Approach to Evolvability: The Case of the Multi-translation.
157-175
- Anne Elisabeth Haxthausen:
Towards a Framework for Modelling and Verification of Relay Interlocking Systems.
176-192
- Douglas S. Lange:
Trust Of, In, and among Adaptive Systems.
193-205
- Alan Wassyng, T. S. E. Maibaum, Mark Lawford, Hans Bherer:
Software Certification: Is There a Case against Safety Cases?
206-227
- Luqi, Grant A. Jacoby:
Testing Adaptive Probabilistic Software Components in Cyber Systems.
228-238
Last update Fri May 25 08:28:03 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
