Characteristics of application software maintenance, Communication of the ACM, vol.21, issue.6, pp.466-471, 1978. ,
, Foundations for the study of software architecture. SIGSOFT Software Engineering Notes, vol.17, pp.40-52, 1992.
Controlling software architecture erosion: A survey, Journal of Systems and Software, vol.85, issue.1, pp.132-151, 2012. ,
Architecture-centric component-based development needs a three-level ADL, Proceedings of the 4th ECSA, vol.6285, pp.295-310, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00534682
A three-level component model in component-based software development, Proceedings of the 11th GPCE, pp.70-79, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00718290
The B-book: Assigning Programs to Meanings, 1996. ,
A classification and comparison framework for software architecture description languages, IEEE TSE, vol.26, issue.1, pp.70-93, 2000. ,
URL : https://hal.archives-ouvertes.fr/hal-00444077
ADLs and dynamic architecture changes, Joint Proceedings of the Second International Software Architecture Workshop and International Workshop on Multiple Perspectives in Software Development on SIGSOFT '96 Workshops, pp.24-27, 1996. ,
A formal basis for architectural connection, ACM TOSEM, vol.6, issue.3, pp.213-249, 1997. ,
URL : https://hal.archives-ouvertes.fr/hal-00444067
Specification and analysis of system architecture using rapide, IEEE TSE, vol.21, pp.336-355, 1995. ,
ACME: An architecture description interchange language, Proceedings of CASCON, 1997. ,
Dynamic structure in software architectures, ACM SIGSOFT Software Engineering Notes, vol.21, issue.6, pp.3-14, 1996. ,
{Pi-ADL}: An architecture description language based on the higherorder typed pi-calculus for specifying dynamic and mobile software architectures, SIGSOFT Software Engineering Notes, vol.29, issue.3, pp.1-14, 2004. ,
Formulations and formalisms in software architecture, Computer Science Today, vol.1000, pp.307-323, 1995. ,
Communicating sequential processes, Communications of the ACM, vol.21, issue.8, pp.666-677, 1978. ,
Mapping ADL specifications to an efficient and reconfigurable runtime component platform, Proceedings of the 5th WICSA, pp.131-140, 2005. ,
A calculus of mobile processes, I. Information and Computation, vol.100, issue.1, pp.1-40, 1992. ,
Towards automating the coherence verification of multi-level architecture descriptions, Proceedings of the 9th ICSEA, 2014. ,
Software architecture: Foundations, Theory, and Practice, 2009. ,
ProB: An automated analysis toolset for the b method, International Journal on Software Tools for Technology Transfer, vol.10, issue.2, pp.185-203, 2008. ,
Evolution styles: foundations and models for software architecture evolution. Software and Systems Modeling, vol.13, pp.649-678, 2014. ,