The existence of refinement mappings, Logic in Computer Science, pp.165-175, 1988. ,
The Object Primer: Agile Model-Driven Development with UML 2.0, 2004. ,
DOI : 10.1017/CBO9780511584077
Exploring UML refinement through unification, Critical Systems Development with UML. Proc. of the UML'03 workshop, pp.47-62, 2003. ,
Formal notions of implementation and conformance in LOTOS, 1986. ,
Incremental design and formal verification with UML/RT in the FUJABA Real-Time tool suite, SVERTS2004, 2004. ,
A Test-Driven Approach for Metamodel Development, pp.319-342, 2012. ,
DOI : 10.4018/978-1-61350-438-3.ch012
Testing equivalence as a bisimulation equivalence, Formal Aspects of Computing, vol.85, issue.n. 2, pp.1-20, 1993. ,
DOI : 10.1007/BF01211314
Refinement in Z and object-Z: foundations and advanced applications, 2001. ,
Testing the consistency of dynamic UML diagrams, Proc. 6th Int. Conf. on Integrated Design and Process Technology, 2002. ,
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes, Tools and Algorithms for the Construction and Analysis of Systems, pp.372-387, 2011. ,
DOI : 10.1007/BFb0054166
URL : https://hal.archives-ouvertes.fr/inria-00583776
Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking, The Journal of Logic and Algebraic Programming, vol.51, issue.1, pp.43-75, 2001. ,
DOI : 10.1016/S1567-8326(01)00012-1
Communicating sequential processes, 2004. ,
A framework based on implementation relations for implementing LOTOS specifications, Computer Networks and ISDN Systems, vol.25, issue.1, pp.23-41, 1992. ,
DOI : 10.1016/0169-7552(92)90122-7
On understanding laws, evolution, and conservation in the large-program life cycle, Journal of Systems and Software, vol.1, pp.213-221, 1980. ,
DOI : 10.1016/0164-1212(79)90022-0
Formalising UML State Machines for Model Checking, UML 99 ? The Unified Modeling Language, 1999. ,
DOI : 10.1007/3-540-46852-8_31
Implementation of the Conformance Relation for Incremental Development of Behavioural Models, LNCS, vol.5301, pp.356-370, 2008. ,
DOI : 10.1007/978-3-540-87875-9_26
Communication and concurrency, 1989. ,
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
Refactoring UML Models, pp.134-148, 2001. ,
DOI : 10.1007/3-540-45441-1_11
Program development by stepwise refinement, Communications of the ACM, vol.14, issue.4, pp.221-227, 1971. ,
DOI : 10.1145/362575.362577