A. Abdurazik, Coupling-Based Analysis of Object-Oriented Software, 2007.

M. K. Aguilera, J. C. Mogul, J. L. Wiener, P. Reynolds, and A. Muthitacharoen, Performance debugging for distributed systems of black boxes, ACM SIGOPS Operating Systems Review, vol.37, issue.5, p.74, 2003.
DOI : 10.1145/1165389.945454

M. Aiken, M. Fähndrich, C. Hawblitzel, G. Hunt, and J. Larus, Deconstructing process isolation, Proceedings of the 2006 workshop on Memory system performance and correctness , MSPC '06, p.1, 2006.
DOI : 10.1145/1178597.1178599

J. Aldrich, C. Chambers, and D. Notkin, ArchJava, Proceedings of the 24th international conference on Software engineering , ICSE '02, 2002.
DOI : 10.1145/581339.581365

R. Allen, R. Douence, D. Garlan, and C. M. Cmu, Specifying and analyzing dynamic software architectures, Proceedings of the 1998 Conference on Fundamental Approaches to Software Engineering (FASE'98), pp.1-15, 1998.
DOI : 10.1007/BFb0053581

R. Allen and D. Garlan, A formal basis for architectural connection, ACM Transactions on Software Engineering and Methodology, vol.6, issue.3, pp.213-249, 1997.
DOI : 10.1145/258077.258078

URL : https://hal.archives-ouvertes.fr/hal-00444067

R. J. Allen, A Formal Approach to Software Architecture, 1997.

L. Andrade, J. Fiadeiro, M. Bernardo, and P. Inverardi, Formal Methods for Software Architectures M, 2003.

O. Barais and L. Duchien, Safarchie Studio: ArgoUML Extensions to Build Safe Architectures, Architecture Description Languages, pp.85-100, 2005.
DOI : 10.1007/0-387-24590-1_6

O. Barais, A. Franc, L. Meur, L. Duchien, and J. Lawall, Software Architecture Evolution, Software Evolution, pp.233-262, 2008.
DOI : 10.1007/978-3-540-76440-3_10

URL : https://hal.archives-ouvertes.fr/inria-00371226

L. Baresi and C. Ghezzi, The disappearing boundary between development-time and run-time, Proceedings of the FSE/SDP workshop on Future of software engineering research, FoSER '10, p.17, 2010.
DOI : 10.1145/1882362.1882367

L. Baresi, R. Heckel, S. Thone, and D. Varro, Style-based refinement of dynamic software architectures, Proceedings. Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004), pp.155-164, 2004.
DOI : 10.1109/WICSA.2004.1310699

L. Bass, P. Clements, and R. Kazman, Software Architecture in Practice Extreme Programming Explained: Embrace Change, 2000.

L. A. Belady and M. Lehman, A model of large program development, IBM Systems Journal, vol.15, issue.3, pp.225-252, 1976.
DOI : 10.1147/sj.153.0225

K. H. Bennett and V. T. Rajlich, Software maintenance and evolution, Proceedings of the conference on The future of Software engineering , ICSE '00, pp.73-87, 2000.
DOI : 10.1145/336512.336534

G. D. Bergland, A Guided Tour of Program Design Methodologies, Computer, vol.14, issue.10, pp.13-37, 1981.
DOI : 10.1109/C-M.1981.220206

C. Bidan, V. Issarny, T. Saridakis, and A. Zarras, A dynamic reconfiguration service for CORBA, Proceedings. Fourth International Conference on Configurable Distributed Systems (Cat. No.98EX159), pp.35-42, 1998.
DOI : 10.1109/CDS.1998.675756

T. Bloom and M. Day, Reconfiguration and module replacement in Argus: theory and practice, Software Engineering Journal, vol.8, issue.2, pp.102-108, 1993.

B. , C. Liskov, B. , S. , and L. , Ownership types for object encapsulation, ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.213-223, 2003.

J. S. Bradbury, J. R. Cordy, J. Dingel, and M. Wermelinger, A survey of self-management in dynamic software architecture specifications, Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems , WOSS '04, pp.28-33, 2004.
DOI : 10.1145/1075405.1075411

F. P. Brooks, The Mythical Man-Month: Essays on Software Engineering, Anniversary Edition, 1995.

E. Bruneton, T. Coupaye, M. Leclercq, V. Quéma, and J. B. Stefani, The fractal component model and its support in java. Software-Practice and Experience, pp.1257-1284, 2006.

J. Buckley, T. Mens, M. Zenger, A. Rashid, and G. Kniesel, Towards a taxonomy of software change, Journal of Software Maintenance and Evolution: Research and Practice, vol.11, issue.5, pp.309-332, 2005.
DOI : 10.1002/smr.319

L. Böszörményi, J. Gutknecht, and G. Pomberger, The school of Niklaus Wirth: the art of simplicity, 2000.

G. Candea, S. Kawamoto, Y. Fujiki, G. Friedman, and A. Fox, Microreboot --A Technique for Cheap Recovery, Proc. 6th Symposium on Operating Systems Design and Implementation (OSDI), p.14, 2004.

H. Cervantes and R. Hall, Autonomous adaptation to dynamic availability using a service-oriented component model, Proceedings. 26th International Conference on Software Engineering, 2004.
DOI : 10.1109/ICSE.2004.1317483

P. Clements, D. Garlan, R. Little, R. Nord, and J. Stafford, Documenting software architectures: views and beyond, 25th International Conference on Software Engineering, 2003. Proceedings., 2002.
DOI : 10.1109/ICSE.2003.1201264

S. Cook, R. Harrison, M. Lehman, and P. Wernick, Evolution in software systems: foundations of the SPE classification scheme, Journal of Software Maintenance and Evolution: Research and Practice, vol.36, issue.1, pp.1-35, 2006.
DOI : 10.1002/smr.314

F. M. Costa, L. L. Provensi, and F. F. Vaz, Using Runtime Models to Unify and Structure the Handling of Meta-information in Reflective Middleware, MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering, pp.232-241, 2006.
DOI : 10.1007/978-3-540-69489-2_29

I. Crnkovic, J. Stafford, and C. Szyperski, Software Components beyond Programming: From Routines to Services, IEEE Software, vol.28, issue.3, pp.22-26, 2011.
DOI : 10.1109/MS.2011.62

C. E. Cuesta, P. De-la-fuente, and M. Barrio-solárzano, Dynamic coordination architecture through the use of reflection, Proceedings of the 2001 ACM symposium on Applied computing , SAC '01, pp.134-140, 2001.
DOI : 10.1145/372202.372298

P. David, T. Ledoux, M. Léger, . Coupaye, and . Thierry, FPath and FScript: Language support for navigation and reliable reconfiguration of Fractal a rchitectures. annals of telecommunications -annales des télécommunications, pp.45-63, 2008.

F. Deremer and H. Kron, Programming-in-the large versus programming-in-the-small, ACM SIGPLAN Notices, vol.10, issue.6, pp.114-121, 1975.
DOI : 10.1145/390016.808431

P. Duquesne and C. Bryce, A language model for dynamic code updating, Proceedings of the 1st International Workshop on Hot Topics in Software Upgrades, HotSWUp '08, p.1, 2008.
DOI : 10.1145/1490283.1490286

M. Endler and J. Wei, Programming generic dynamic reconfigurations for distributed applications, International Workshop on Configurable Distributed Systems, pp.68-79, 1992.

C. Escoffier, R. S. Hall, and P. Lalanda, iPOJO: an Extensible Service-Oriented Component Framework, IEEE International Conference on Services Computing (SCC 2007), pp.474-481, 2007.
DOI : 10.1109/SCC.2007.74

URL : http://ants.iis.sinica.edu.tw/3BkMJ9lTeWXTSrrvNoKNFDxRm3zFwRR/86/iPojo.PDF

R. Fabry, How to design a system in which modules can be changed on the fly, Proceedings of the 2nd international conference on Software engineering, 1976.

J. Favre, Understanding-in-the-large, Proceedings Fifth International Workshop on Program Comprehension. IWPC'97, pp.29-38, 1997.
DOI : 10.1109/WPC.1997.601260

R. T. Fielding, Architectural styles and the design of network-based software architectures. Doctoral dissertation, 2000.

K. Gama and D. Donsez, Using the service coroner tool for diagnosing stale references in the OSGi platform, Proceedings of the ACM/IFIP/USENIX international middleware conference companion on Middleware '08 Companion, Companion '08, p.58, 2008.
DOI : 10.1145/1462735.1462749

I. Garcia, G. Pedraza, B. Debbabi, P. Lalanda, and C. Hamon, Towards a Service Mediation Framework for Dynamic Applications, 2010 IEEE Asia-Pacific Services Computing Conference, pp.3-10, 2010.
DOI : 10.1109/APSCC.2010.90

URL : https://hal.archives-ouvertes.fr/hal-00941768

D. Garlan, Software Architecture, 2002.

D. Garlan, R. T. Monroe, and D. Wile, Acme, CASCON First Decade High Impact Papers on, CASCON '10, pp.47-67, 2000.
DOI : 10.1145/1925805.1925814

M. R. Genesereth, An overview of meta-level architecture, Proceedings of the Third National Conference on Artificial Intelligence, pp.119-124, 1983.

H. Gomaa and M. Hussein, Software reconfiguration patterns for dynamic evolution of software architectures, Proceedings. Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004), pp.79-88, 2004.
DOI : 10.1109/WICSA.2004.1310692

D. Gupta, P. Jalote, and G. Barua, A formal framework for on-line software version change, IEEE Transactions on Software Engineering, vol.22, issue.2, pp.120-131, 1996.
DOI : 10.1109/32.485222

M. Hammer, How To Touch a Running System: Reconfiguration of Stateful Components. Doctoral dissertation, 2009.

M. Hicks, Dynamic Software Updating, 2001.

M. Hicks and S. Nettles, Dynamic software updating, ACM Transactions on Programming Languages and Systems, vol.27, issue.6, pp.1049-1096, 2005.
DOI : 10.1145/1108970.1108971

D. Hirsch, P. Inverardi, and U. Montanari, Graph gr ammars and constraint solving for software architecture styles, Proceedings of the third international workshop on Software architecture -ISAW '98, pp.69-72, 1998.

G. Hjálmtýsson and R. Gray, Dynamic C ++ Classes A lightweight mechanism to update code in a running program, proceedings of the USENIX 1998 annual technical conference, 1998.

C. Hofmeister, R. Nord, and D. Soni, Applied software architecture, 1999.

G. Hohpe and B. Woolf, Enterprise integration patterns: designing, building, and deploying messaging solutions, 2004.

M. N. Huhns and M. P. Singh, Service-oriented computing: key concepts and principles, IEEE Internet Computing, vol.9, issue.1, pp.75-81, 2005.
DOI : 10.1109/MIC.2005.21

F. Kon and R. H. Campbell, Dependence management in component-based distributed systems, IEEE Concurrency, vol.8, issue.1, pp.1-11, 2000.
DOI : 10.1109/4434.824310

F. Kon, F. Costa, G. Blair, and R. H. Campbell, The case for reflective middleware, Communications of the ACM, vol.45, issue.6, 2002.
DOI : 10.1145/508448.508470

J. Kramer and J. Magee, The evolving philosophers problem: dynamic change management, IEEE Transactions on Software Engineering, vol.16, issue.11, pp.1293-1306, 1990.
DOI : 10.1109/32.60317

P. Kruchten, Architecture blueprints--the " 4+1 " view model of software architecture In Tutorial proceedings on TRI-Ada " 91 Ada " s role in global markets: solutions for a changing complex world -TRI- Ada '95, pp.540-555, 1995.

K. Lau and P. V. Elizondo, Exogenous connectors for software components. Component-Based Software, pp.90-106, 2005.

M. M. Lehman, J. F. Ramil, P. D. Wernick, D. E. Perry, and W. M. Turski, Metrics and laws of software evolution-the nineties view, Proceedings Fourth International Software Metrics Symposium, p.20, 1997.
DOI : 10.1109/METRIC.1997.637156

M. M. Lehman, Programs, life cycles, and laws of software evolution, Proceedings of the IEEE, vol.68, issue.9, pp.1060-1076, 1980.
DOI : 10.1109/PROC.1980.11805

M. Lehman and J. Ramil, Rules and Tools for Software Evolution Planning and Management, Annals of Software Engineering, vol.11, issue.1, pp.15-44, 2001.
DOI : 10.1002/0470871822.ch27

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.6261

D. C. Luckham and J. Vera, An event-based architecture definition language, IEEE Transactions on Software Engineering, vol.21, issue.9, pp.717-734, 1995.
DOI : 10.1109/32.464548

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.3387

P. Maes, Concepts and experiments in computational reflection, ACM SIGPLAN Notices, vol.22, issue.12, pp.147-155, 1987.
DOI : 10.1145/38807.38821

J. Magee, N. Dulay, S. Eisenbach, and J. Kramer, Specifying distributed software architectures, Annals of Physics, vol.54, issue.2, pp.137-153, 1995.
DOI : 10.1007/3-540-60406-5_12

J. Magee, J. Kramer, and M. Sloman, Constructing distributed systems in Conic, IEEE Transactions on Software Engineering, vol.15, issue.6, pp.663-675, 1989.
DOI : 10.1109/32.24720

J. Magee and J. Kramer, Dynamic structure in software architectures, ACM SIGSOFT Software Engineering Notes, vol.21, issue.6, pp.3-14, 1996.
DOI : 10.1145/250707.239104

M. W. Maier, D. Emery, and R. Hilliard, Software architecture: introducing IEEE Standard 1471, Computer, vol.34, issue.4, pp.107-109, 2001.
DOI : 10.1109/2.917550

M. W. Maier, D. Emery, and R. Hilliard, ANSI/IEEE 1471 and systems engineering, Systems Engineering, vol.26, issue.3, pp.257-270, 2004.
DOI : 10.1002/sys.20008

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.78.4863

S. Malabarba, R. Pandey, J. Gragg, E. Barr, and J. F. Barnes, Runtime Support for Type-Safe Dynamic Java Classes, ECOOP 00 Proceedings of the 14th European Conference on ObjectOriented Programming, pp.337-361, 2000.
DOI : 10.1007/3-540-45102-1_17

J. Malenfant, M. Jacques, and F. Demers, A tutorial on behavioral reflection and its implementation, Proceedings of Reflection, pp.1-20, 1996.

S. Mamone, The IEEE standard for software maintenance, ACM SIGSOFT Software Engineering Notes, vol.19, issue.1, pp.75-76, 1994.
DOI : 10.1145/181610.181623

P. E. Mckenney and J. D. Slingwine, Read-Copy-Update: Using execution history to solve concurrency problems, Proc. 10th IASTED Int'l Conf. Parallel and Distributed Computing and Systems, 1998.

N. Medvidovic and R. N. Taylor, A classification and comparison framework for software architecture description languages, IEEE Transactions on Software Engineering, vol.26, issue.1, pp.70-93, 2000.
DOI : 10.1109/32.825767

URL : https://hal.archives-ouvertes.fr/hal-00444077

N. Medvidovic and R. N. Taylor, A framework for classifying and comparing architecture description languages, ACM SIGSOFT Software Engineering Notes, vol.22, issue.6, pp.60-76, 1997.
DOI : 10.1145/267896.267903

N. R. Mehta, N. Medvidovic, and S. Phadke, Towards a taxonomy of software connectors, Proceedings of the 22nd international conference on Software engineering , ICSE '00, pp.178-187, 2000.
DOI : 10.1145/337180.337201

T. Mens, Introduction and Roadmap: History and Challenges of Software Evolution, Software Evolution, pp.1-11, 2008.
DOI : 10.1007/978-3-540-76440-3_1

B. Meyer, The grand challenge of trusted components, 25th International Conference on Software Engineering, 2003. Proceedings., pp.660-667, 2003.
DOI : 10.1109/ICSE.2003.1201252

R. T. Mittermeir, Software evolution, Proceedings of the 4th international workshop on Principles of software evolution , IWPSE '01, p.114, 2002.
DOI : 10.1145/602461.602485

R. Morrison, A framework for supporting dynamic systems co-evolution, Automated Software Engineering, vol.14, issue.4, pp.261-292, 2007.
DOI : 10.1007/s10515-007-0011-7

O. Nierstrasz and L. Dami, Component-Oriented Software Technology, Object-Oriented Software Composition, pp.3-28, 1995.

L. Northrop, Ultra-Large-Scale Systems -The Software Challenge of the Future, 2006.

M. Odersky and M. Zenger, Scalable component abstractions, ACM SIGPLAN Notices, vol.40, issue.10, p.41, 2005.
DOI : 10.1145/1103845.1094815

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.176.5313

R. Van-ommering, F. Van-der-linden, J. Kramer, and J. Magee, The Koala component model for consumer electronics software, Computer, vol.20, issue.333, pp.78-85

F. Oquendo, ArchWare: Architecting Evolvable Software, Software Architecture, pp.257-271, 2004.
DOI : 10.1007/978-3-540-24769-2_23

P. Oreizy, N. Medvidovic, and R. N. Taylor, Architecture-based runtime software evolution, Proceedings of the 20th International Conference on Software Engineering, pp.177-186, 1998.
DOI : 10.1109/ICSE.1998.671114

M. P. Papazoglou, Service-oriented computing: concepts, characteristics and directions, Proceedings of the 7th International Conference on Properties and Applications of Dielectric Materials (Cat. No.03CH37417), pp.3-12, 2003.
DOI : 10.1109/WISE.2003.1254461

D. Perry and A. Wolf, Foundations for the study of software architecture, ACM SIGSOFT Software Engineering Notes, vol.17, issue.4, pp.40-52, 1992.
DOI : 10.1145/141874.141884

D. E. Perry, Issues in Architecture Evolution: Using Design Intent in Maintenance and Controlling Dynamic Evolution, ECSA '08 Proceedings of the 2nd European conference on Software Architecture, p.1, 2008.
DOI : 10.1007/978-3-540-88030-1_1

C. Pfister and C. Szyperski, Why objects are not enough, CUC96: Component Based Software Engineering, p.141, 1998.

P. Pissias and G. Coulson, Framework for quiescence management in support of reconfigurable multi-threaded component-based systems, IET Software, vol.2, issue.4, p.348, 2008.
DOI : 10.1049/iet-sen:20070046

G. Premkumar and M. Potter, Adoption of computer aided software engineering (CASE) technology, ACM SIGMIS Database, vol.26, issue.2-3, pp.105-124, 1995.
DOI : 10.1145/217278.217291

M. Reiser, The Oberon system: user guide and programmer 's manual, 1991.

M. Rinard, C. Cadar, D. Dumitran, D. M. Roy, T. Leu et al., Enhancing server availability and security through failure-oblivious computing, p.21, 2004.

W. W. Royce, Managing the development of large software systems, Electronics. Los Angeles, pp.1-9, 1970.

M. E. Segal and O. Frieder, Dynamic program updating in a distributed computer system, Proceedings. Conference on Software Maintenance, 1988., pp.198-203, 1988.
DOI : 10.1109/ICSM.1988.10162

M. Shaw and P. Clements, The golden age of software architecture, IEEE Software, vol.23, issue.2, pp.31-39, 2006.
DOI : 10.1109/MS.2006.58

M. Shaw, Procedure calls are the assembly language of software interconnection: Connectors deserve first-class status, ICSE '93 Selected papers from the Workshop on Studies of Software Design, pp.17-32, 1993.
DOI : 10.1007/BFb0030517

M. Shaw and D. Garlan, Software Architecture: Perspectives on an Emerging Discipline, 1996.

B. C. Smith, Procedural reflection in programming languages, 1982.

D. Sykes, W. Heaven, J. Magee, and J. Kramer, From goals to components and self-managing systems -SEAMS '08, Proceedings of the 2008 international workshop on Software engineering for adaptive, p.1, 2008.

C. Szyperski, Component Software: Beyond Object-Oriented Programming First Edit, 1997.

C. Szyperski, Import is not inheritance why we need both: Modules and classes, ECOOP '92 Proceedings of the European Conference on Object-Oriented Programming, 1992.
DOI : 10.1007/BFb0053028

C. Szyperski, Modules and Components -Rivals or Partners The school of Niklaus Wirth: the art of simplicity, pp.121-132, 2000.

C. Szyperski, D. Gruntz, and S. Murer, Component software: beyond object-oriented programming, 2002.

R. N. Taylor and A. Van-der-hoek, Software Design and Architecture The once and future focus of software engineering, Future of Software Engineering (FOSE '07), 2007.
DOI : 10.1109/FOSE.2007.21

R. N. Taylor, . Medvidovic, . Nenad, and P. Oreizy, Architectural styles for runtime software adaptation, 2009 Joint Working IEEE/IFIP Conference on Software Architecture & European Conference on Software Architecture, pp.171-180, 2009.
DOI : 10.1109/WICSA.2009.5290803

F. Tisato, A. Savigni, W. Cazzola, and A. Sosio, Architectural Reflection Realising Software Architectures via Reflective Activities, EDO '00 Revised Papers from the Second International Workshop on Engineering Distributed Objects, pp.102-115, 2001.
DOI : 10.1007/3-540-45254-0_10

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.5690

Y. Vandewoude and Y. Berbers, Fresco: Flexible and Reliable Evolution System for Components, Electronic Notes in Theoretical Computer Science, vol.127, issue.3, pp.197-205, 2004.
DOI : 10.1016/j.entcs.2004.08.044

URL : http://doi.org/10.1016/j.entcs.2004.08.044

Y. Vandewoude and Y. Berbers, DeepCompare: Static Analysis for Runtime Software Evolution, CW Reports, 2005.

Y. Vandewoude, P. Ebraert, Y. Berbers, D. Hondt, and T. , An alternative to Quiescence: Tranquility, 2006 22nd IEEE International Conference on Software Maintenance, pp.73-82, 2006.
DOI : 10.1109/ICSM.2006.11

Y. Vandewoude, P. Ebraert, Y. Berbers, D. Hondt, and T. , Tranquility: A Low Disruptive Alternative to Quiescence for Ensuring Safe Dynamic Updates, IEEE Transactions on Software Engineering, vol.33, issue.12, pp.856-868, 2007.
DOI : 10.1109/TSE.2007.70733

J. Vangurp and J. Bosch, Design erosion: problems and causes, Journal of Systems and Software, vol.61, issue.2, pp.105-119, 2002.
DOI : 10.1016/S0164-1212(01)00152-2

R. Virding, C. Wikström, and M. Williams, Concurrent programming in ERLANG, 1996.

Q. Wang, J. Shen, X. Wang, and H. Mei, A component-based approach to online software evolution, Journal of Software Maintenance and Evolution: Research and Practice, vol.2, issue.3, pp.181-205, 2006.
DOI : 10.1002/smr.324

M. A. Wermelinger, Specification of software architecture reconfiguration, 1999.

N. Wirth, A plea for lean software, Computer, vol.28, issue.2, pp.64-68, 1995.
DOI : 10.1109/2.348001

N. Wirth, Modula: A language for modular multiprogramming. Software: Practice and Experience, pp.1-35, 1977.

N. Wirth, Project Oberon: The Design of an Operating System and Compiler, 1992.

N. Wirth, The programming language oberon. Software: Practice and Experience, pp.671-690, 1988.

N. Wirth, The programming language pascal, Acta Informatica, vol.9, issue.1, pp.35-63, 1971.
DOI : 10.1007/BF00264291