, The B-Toolkit User's Manual. B-Core (UK) Limited, 1997.
A Theory of Objects, 1996. ,
Automated architectural component classification using concept lattices, Proceedings WICSA/ECSA, pp.21-31, 2009. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00415739
The B-book: Assigning Programs to Meanings, 1996. ,
, Modeling in Event-B: System and Software Engineering, 2010.
Specifying and analyzing dynamic software architectures, Fundamental Approaches to Software Engineering, vol.1382, pp.21-37, 1998. ,
A formal basis for architectural connection, ACM Transactions on Software Engineering and Methodology, vol.6, issue.3, pp.213-249, 1997. ,
URL : https://hal.archives-ouvertes.fr/hal-00444067
On challenges of model transformation from uml to alloy. Software & Systems Modeling, vol.9, pp.69-86, 2010. ,
FCA-based service classification to dynamically build efficient software component directories, International Journal of General Systems, pp.427-453, 2008. ,
Evolution styles: foundations and models for software architecture evolution. Software and Systems Modeling, vol.13, pp.649-678, 2014. ,
Automated planning for software architecture evolution, 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, pp.213-223, 2013. ,
Meteor: A successful application of B in a large project, FM'99-Formal Methods, vol.1708, pp.369-387, 1999. ,
,
Software maintenance and evolution: A roadmap, Proceedings of the Conference on The Future of Software Engineering, ICSE '00, pp.73-87, 2000. ,
Making components contract aware, Computer, vol.32, issue.7, pp.38-45, 1999. ,
URL : https://hal.archives-ouvertes.fr/hal-02141773
Contract Aware Components, 10 years after, Electronic Proceedings in Theoretical Computer Science, issue.37, pp.86-100, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00554209
Planning as heuristic search, Artificial Intelligence, vol.129, issue.1-2, pp.5-33, 2001. ,
A systematic review of software architecture evolution research, Information and Software Technology, vol.54, issue.1, pp.16-40, 2012. ,
Hol-ocl: A formal proof environment for uml/ocl, Fundamental Approaches to Software Engineering, vol.4961, pp.97-100, 2008. ,
Defining precise semantics for uml, Object-Oriented Technology, vol.1964, pp.113-122, 2000. ,
Incremental proof of the producer/consumer property for the PCI protocol, ZB 2002:Formal Specification and Development in Z and B, vol.2272, pp.22-41, 2002. ,
URL : https://hal.archives-ouvertes.fr/inria-00100888
Foundations of the B method, Computers and Informatics, vol.22, pp.1-31, 2003. ,
URL : https://hal.archives-ouvertes.fr/inria-00099794
Formal methods: State of the art and future directions, ACM Comput. Surv, vol.28, issue.4, pp.626-643, 1996. ,
URL : https://hal.archives-ouvertes.fr/hal-00444076
, , 2001.
A component model for building systems software, Software Engineering and Applications (SEA '04), pp.684-689, 2004. ,
Building Reliable Component-Based Software Systems, 2002. ,
Component-based software engineering-new challenges in software development, Information Technology Interfaces, 2003. ITI 2003. Proceedings of the 25th International Conference on, pp.9-18, 2003. ,
Component-based development process and component lifecycle, Software Engineering Advances, International Conference on, pp.44-44, 2006. ,
A classification framework for software component models. Software Engineering, IEEE Transactions on, vol.37, issue.5, pp.593-615, 2011. ,
A highly-extensible, xml-based architecture description language, Software Architecture, 2001. Proceedings. Working IEEE/IFIP Conference on, pp.103-112, 2001. ,
Controlling software architecture erosion: A survey, Journal of Systems and Software, vol.85, issue.1, pp.132-151, 2012. ,
The BWare project: Building a Proof Platform for the Automated Verification of B Proof Obligations, Abstract State Machines, vol.8477, pp.290-293, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-00998092
Z2sal: a translation-based model checker for z. Formal Aspects of Computing, vol.23, pp.43-71, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00554978
An overview of roz : A tool for integrating uml and z specifications, Advanced Information Systems Engineering, vol.1789, pp.417-430, 2000. ,
Pddl2.1: An extension to pddl for expressing temporal planning domains, J. Artif. Int. Res, vol.20, issue.1, pp.61-124, 2003. ,
Software architecture: A roadmap, Proceedings of the Conference on The Future of Software Engineering, ICSE '00, pp.91-101, 2000. ,
Architectural mismatch: why reuse is so hard, IEEE Software, vol.12, issue.6, pp.17-26, 1995. ,
Architectural mismatch: Why reuse is still so hard, IEEE Software, vol.26, issue.4, pp.66-69, 2009. ,
, , 2010.
, Documenting Software Architectures: Views and Beyond
ACME: An architecture description interchange language, Proceedings of Centre for Advanced Studies Conference, p.7, 1997. ,
Aevol: A tool for defining and planning architecture evolution, Proceedings of the 31st International Conference on Software Engineering, ICSE '09, pp.591-594, 2009. ,
An introduction to software architecture, 1994. ,
Architecture-centric development: A different approach to software engineering, ACM Crossroads, issue on Software Engineering, vol.12, issue.4, 2006. ,
Evolution shelf: Reusing evolution expertise within component-based software architectures, Proceedings of the 32nd, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00456002
, Annual IEEE International Computer Software and Applications Conference, pp.311-318, 2008.
Use: A uml-based specification environment for validating {UML} and {OCL}, Science of Computer Programming, vol.69, issue.1-3, pp.27-34, 2007. ,
Modeling and analyzing architectural change with alloy, Proceedings of the 2010 ACM Symposium on Applied Computing, SAC '10, pp.2257-2264, 2010. ,
Component-based Software Engineering: Putting the Pieces Together, 2001. ,
Communicating sequential processes, Communications of the ACM, vol.21, issue.8, pp.666-677, 1978. ,
Combating architectural degeneration: A survey, Inf. Softw. Technol, vol.47, issue.10, pp.643-656, 2005. ,
B/UML: Bridging the gap between B specifications and UML graphical descriptions to ease external validation of formal B developments. Theses, 2006. ,
URL : https://hal.archives-ouvertes.fr/tel-00118718
, IEEE Standard for Software Maintenance, pp.1219-1998, 1998.
Modeling architectural change: Architectural scripting and its applications to reconfiguration, Software Architecture, 2009 European Conference on Software Architecture. WICSA/ECSA 2009. Joint Working IEEE/IFIP Conference on, pp.337-340, 2009. ,
Software engineering-product quality-part 1: Quality model. International Organization For Standardization/International Electrotechnical Commission and others, vol.9126, 2001. ,
Alloy: A lightweight object modelling notation, ACM Transactions on Software Engineering and Methodology, vol.11, issue.2, pp.256-290, 2002. ,
Software Abstractions: Logic, Language, and Analysis, 2006. ,
Software analysis: A roadmap, Proceedings of the Conference on The Future of Software Engineering, ICSE '00, pp.133-145, 2000. ,
Systematic Software Development Using VDM, 1990. ,
Mapping adl specifications to an efficient and reconfigurable runtime component platform, Software Architecture, 2005. WICSA 2005. 5th Working IEEE/IFIP Conference on, pp.131-140, 2005. ,
The evolving philosophers problem: dynamic change management. Software Engineering, IEEE Transactions on, vol.16, issue.11, pp.1293-1306, 1990. ,
Translating vdm to alloy, Lecture Notes in Computer Science, vol.7940, pp.46-60, 2013. ,
Evolution styles within software architectures, 2009. ,
URL : https://hal.archives-ouvertes.fr/tel-00459925
Integration of UML and B specification techniques: systematic transformation from OCL expressions into B, Ninth Asia-Pacific Software Engineering Conference, pp.495-504, 2002. ,
URL : https://hal.archives-ouvertes.fr/inria-00107556
Taking into Account Functional Models in the Validation of IS Security Policies, Advanced Information Systems Engineering Workshops, vol.83, pp.592-606, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00860806
On understanding laws, evolution, and conservation in the largeprogram life cycle, Journal of System and Software, vol.1, pp.213-221, 1984. ,
Directed model checking for B: An evaluation and new techniques, Formal Methods: Foundations and Applications, vol.6527, pp.1-16, 2011. ,
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. ,
Characteristics of application software maintenance, Communication of the ACM, vol.21, issue.6, pp.466-471, 1978. ,
Model repair and transformation with echo, Automated Software Engineering (ASE), 2013 IEEE/ACM 28th International Conference on, pp.694-697, 2013. ,
Specifying distributed software architectures, Proceedings of the 5th European Software Engineering Conference, pp.137-153, 1995. ,
Dynamic structure in software architectures, ACM SIGSOFT Software Engineering Notes, vol.21, issue.6, pp.3-14, 1996. ,
PDDL-the planning domain definition language, 1998. ,
Moving architectural description from under the technology lamppost, Software Engineering and Advanced Applications, 2006. SEAA '06. 32nd EUROMICRO Conference on, pp.2-3, 2006. ,
A type theory for software architectures, 1998. ,
A language and environment for architecture-based software development and evolution, Proceedings of the 21st ICSE, pp.44-53, 1999. ,
A classification and comparison framework for software architecture description languages, IEEE Transactions on Software Engineering, vol.26, issue.1, pp.70-93, 2000. ,
URL : https://hal.archives-ouvertes.fr/hal-00444077
Towards a taxonomy of software connectors, Proceedings of the 22Nd International Conference on Software Engineering, ICSE '00, pp.178-187, 2000. ,
Software Evolution, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00160620
Applying "design by contract", Computer, vol.25, issue.10, pp.40-51, 1992. ,
A calculus of mobile processes, I. Information and Computation, vol.100, pp.1-40, 1992. ,
Towards automating the coherence verification of multi-level architecture descriptions, Proc. of the 9th ICSEA, pp.416-421, 2014. ,
An evolution management model for multi-level component-based software architectures, The 27th, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01245924
, International Conference on Software Engineering and Knowledge Engineering, pp.674-679, 2015.
Capturing software architecture design expertise with armani, 1998. ,
Extending alloy with partial instances, Abstract State Machines, vol.7316, pp.122-135, 2012. ,
Automated Planning: Theory & Practice, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-01982019
2.3.1 specification, 2011. ,
, Mof 2.0 query/view/transformation (qvt
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. ,
Pi-arl: An architecture refinement language for formally modelling the stepwise refinement of software architectures, SIGSOFT Softw. Eng. Notes, vol.29, issue.5, pp.1-20, 2004. ,
Archware: Architecting evolvable software, Software Architecture, vol.3047, pp.257-271, 2004. ,
Architecture-based runtime software evolution, Proceedings of the 20th International Conference on Software Engineering, ICSE '98, pp.177-186, 1998. ,
On the role of software architectures in runtime system reconfiguration, Proceedings of the International Conference on Configurable Distributed Systems, CDS '98, p.61, 1998. ,
Osgi alliance, 2015. ,
A generic model for managing software architecture evolution, Proceedings of the 9th WSEAS International Conference on Systems, ICS'05, vol.35, pp.1-35, 2005. ,
Software aging, Proceedings of the 16th International Conference on Software Engineering, ICSE '94, pp.279-287, 1994. ,
Foundations for the study of software architecture, SIGSOFT Software Engineering Notes, vol.17, issue.4, pp.40-52, 1992. ,
Software Product Line Engineering: Foundations, Principles and Techniques, 2005. ,
Component-based software development-a new paradigm in software engineering?, Software Engineering Conference, 1997. Asia Pacific and International Computer Science Conference 1997. APSEC '97 and ICSC '97. Proceedings, pp.523-524, 1997. ,
Architectural decay during continuous software evolution and impact of 'design for change' on software architecture, Advances in Software Engineering, vol.59, pp.119-126, 2009. ,
Managing the development of large software systems: Concepts and techniques, Proceedings of the 9th International Conference on Software Engineering, ICSE '87, pp.328-338, 1987. ,
Artificial Intelligence: A Modern Approach. Prentice Hall series in artificial intelligence, 2010. ,
The z/eves 2.0 user's guide, Ora Canada, pp.31-32, 1999. ,
Structural Evolution in Component-based Software Evolution. Theses, 2007. ,
URL : https://hal.archives-ouvertes.fr/tel-00488005
A unified approach for software architecture evolution at different abstraction levels, Principles of Software Evolution, Eighth International Workshop on, pp.65-68, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00457856
Software Architecture: Perspectives on an Emerging Discipline, 1996. ,
Model checking z specifications using sal, ZB 2005: Formal Specification and Development in Z and B, vol.3455, pp.85-103, 2005. ,
,
UML-B: Formal Modeling and Design Aided by UML, ACM Transactions on Software Engineering and Methodology, vol.15, issue.1, pp.92-122, 2006. ,
, Software engineering, 2010.
The Z Notation: A Reference Manual, 1992. ,
Combining deep and shallow embedding for edsl, Trends in Functional Programming, vol.7829, pp.21-36, 2013. ,
Component Software: Beyond Object-Oriented Programming, 2002. ,
Updating software architectures : A style-based approach, Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, vol.1, pp.336-342, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00459882
, Software architecture: Foundations, Theory, and Practice, 2009.
A component-and message-based architectural style for GUI software, Proceedings of the 17th International Conference on Software Engineering, ICSE '95, pp.295-304, 1995. ,
Preserving architectural choices throughout the component-based software development process, Proceedings of the 5th, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00498776
, IEEE/IFIP Working Conference on Software Architecture (WICSA'05), pp.121-130
On-demand quality-oriented assistance in component-based software evolution, Proceedings of the 9th ACM SIGSOFT International Symposium on Component-Based Software Engineering (CBSE'06), vol.4063, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00499531
Tools and Algorithms for the Construction and Analysis of Systems, Grumberg, O. and Huth, M, vol.4424, pp.632-647, 2007. ,
, 2.5 specification, UML, 2013.
Jaza user manual and tutorial, 2005. ,
A multi-level architecture description language for forward and reverse evolution of component-based software, 2010. ,
Architecture-centric component-based development needs a three-level ADL, Proceedings of the 4th European Conference of Software Architecture, 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 of the International Conference on Generative Programming: Concepts and Experiences, pp.70-79, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00718290