Incremental Specification Validation and Runtime Adaptivity of Distributed Component Information systems

Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake. Incremental Specification Validation and Runtime Adaptivity of Distributed Component Information systems. In René L. Krikhaar, Chris Verhoef, Giuseppe A. Di Lucca, editors, 11th European Conference on Software Maintenance and Reengineering, Software Evolution in Complex Software Intensive Systems, CSMR 2007, 21-23 March 2007, Amsterdam, The Netherlands. pages 123-136, IEEE Computer Society, 2007. [doi]

Abstract

Abstract is missing.