. De-oreizy, En effet, ces applications sont capables de se reconfigurer automatiquement, pendant leur exécution, en fonction des changements provenant de leur environnement ou des besoins utilisateurs. Néanmoins, ces évolutions peuvent violer les propriétés applicatives du logiciel. La piste des analyses incrémentales de propriétés applicatives semble prometteur

. O. Barais, Construire et Maîtriser l'évolution d'une architecture logicielle à base de composants, 2005.

L. Baresi, G. S. , and P. L. , Towards a unified framework for the monitoring and recovery of BPEL processes, Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications, TAV-WEB '08, 2008.
DOI : 10.1145/1390832.1390835

T. Barros, C. R. Ameur-boulifa, and M. E. Henrio-l, Behavioural models for distributed Fractal components, Behavioural models for distributed Fractal components, pp.25-43, 2009.
DOI : 10.1007/s12243-008-0069-7
URL : https://hal.archives-ouvertes.fr/inria-00268965

. Bea, I. Ibm, I. Oracle, . Sap, . Siebel et al., Assembly Component Architecture -Assembly Model Specification Version 1.00, mars, 2007.

. K. Beck and . Andres-c, Extreme Programming Explained : Embrace Change, 2004.

B. M. Devos-m, S. Y. Schwaber-k, S. J. , and «. Scrum, An extension pattern language for hyperproductive software development », Pattern Languages of Program Design, pp.637-651, 1999.

. P. Breivold-h and . Larsson-m, Component-Based and Service-Oriented Software Engineering: Key Concepts and Principles, 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO 2007), 2007.
DOI : 10.1109/EUROMICRO.2007.25

E. Bruneton, C. T. Leclercq-m, and S. Quéma-v, An Open Component Model and Its Support in Java, Proceedings of the 7th International Symposium Component-Based Software Engineering, 2004.
DOI : 10.1007/978-3-540-24774-6_3

C. J. Teniente-e, « Incremental Evaluation of OCL Constraints, 18th International Conference on Advanced Information Systems Engineering, 2006.

C. J. Sheth-a, A. J. Miller-j, and . Kochut-k, « Quality of service for workflows and web service processes, Web Semantics : Science, Services and Agents on the World Wide Web, pp.1-281, 2004.

C. P. , M. J. Ozanne-a, and R. N. , « Composite Contract Enforcement in Hierarchical Component Systems, Proceedings of the 6th International Symposium, pp.18-33, 2007.

. Czarnecki-k and . Eisenecker-u, Generative Programming, 2000.
DOI : 10.1007/3-540-36208-8_2

. J. Estublier and I. A. Vega-g, Composing Domain-Specific Languages for Wide-Scope Software Engineering Applications, Model Driven Engineering Languages and Systems (MODELS'05), pp.69-83, 2005.
DOI : 10.1007/11557432_6

J. H. Rubio-medrano-c, . E. Wong-w, and . Cheon-y, Architectural Assertions : Checking Architectural Constraints at Run-Time, 2007.

. G. Kildall, A unified approach to global program optimization, Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '73, 1973.
DOI : 10.1145/512927.512945

. C. Larman, . Basili-v, I. Iterative, and . Development, Iterative and incremental developments. a brief history, Computer, vol.36, issue.6, pp.47-56, 2003.
DOI : 10.1109/MC.2003.1204375

. M. Lehman-m and . A. Belady-l, Program evolution, Information Processing & Management, vol.20, issue.1-2, 1985.
DOI : 10.1016/0306-4573(84)90037-2

. J. Magee, Behavioral analysis of software architectures using LTSA, Proceedings of the 21st international conference on Software engineering, ICSE '99, pp.634-637, 1999.
DOI : 10.1145/302405.302726

O. P. Medvidovic-n and T. R. , Unified Modeling Language (UML) : Superstructure, v2.1.1, août 2007. [ORE 98 « Architecture-based runtime software evolution, Proceedings of the 20th international conference on Software engineering , ICSE '98, pp.177-186, 1998.

. Osgi, L. P. Pal, Z. J. Schantz-r, and M. J. Shapiro-r, OSGi Service Platform Core Specification v4.1, avril « Using QDL to specify QoS aware distributed (QuO) application configuration, Proceedings of Object-Oriented Real-Time Distributed Computing, 2000.

P. R. Spoon, Annotation-Driven Program Transformation -The AOP Case, Proceedings of the 1st Middleware Workshop on Aspect-Oriented Middleware Development, pp.1-6, 2005.

T. C. Fleurquin-r and . Sadou-s, « On-Demand Quality-Oriented Assistance in Component-Based Software Evolution, pp.294-309, 2006.

. Wai, . G. Waignier, M. Le, «. Duchien-l, and . Fiesta, A Generic Framework for Integrating New Functionalities into Software Architectures, Proceedings of 1st European Conference on Software Architecture (ECSA'07), 2007.

. Wai and . G. Waignier, Canevas de développement agile pour l'évolution fiable de systèmes logiciels à composants et orientés services, Thèse, 2010.