, Evolving Software Systems, 2014.
ADLs and dynamic architecture changes, Joint Proceedings of the Second International Software Architecture Workshop and International Workshop on Multiple Perspectives in Software Development (Viewpoints '96) on SIGSOFT '96 Workshops, pp.24-27, 1996. ,
DOI : 10.1145/243327.243340
A formal basis for architectural connection, ACM TOSEM, vol.6, issue.3, pp.213-249, 1997. ,
URL : https://hal.archives-ouvertes.fr/hal-00444067
Dynamic structure in software architectures, Proceedings of the 4th ACM SIGSOFT Symposium on Foundations of Software Engineering. SIGSOFT '96, pp.3-14, 1996. ,
DOI : 10.1145/250707.239104
Architecture-centric component-based development needs a three-level ADL, Proceedings of the 4th European Conference on Software Architecture, vol.6285, pp.295-310, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00534682
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
Acme: An architecture description interchange language, Proceedings of the 1997 Conference of the Centre for Advanced Studies on Collaborative Research. CASCON '97, p.7, 1997. ,
A highly-extensible, xml-based architecture description language, Proceedings. Working IEEE/IFIP Conference on, pp.103-112, 2001. ,
DOI : 10.1109/wicsa.2001.948416
URL : http://www.ics.uci.edu/~taylor/ics228/WICSA 2001.pdf
, Foundations for the study of software architecture. SIGSOFT Software Engineering Notes, vol.17, pp.40-52, 1992.
A three-level component model in component-based software development, Proceedings of the 11th GPCE, pp.70-79, 2012. ,
DOI : 10.1145/2371401.2371412
URL : https://hal.archives-ouvertes.fr/hal-01319811
The B-book: Assigning Programs to Meanings, 1996. ,
Towards automating the coherence verification of multi-level architecture descriptions, Proceedings of the 9th International Conference on Software Engineering Advances, 2014. ,
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. ,
DOI : 10.1007/s10009-007-0063-9
URL : https://eprints.soton.ac.uk/262886/1/overview_final.pdf