, Inductive UML, Proceedings of the 2nd International Conference on Model and Data Engineering, MEDI'12, pp.153-161, 2012.
DOI : 10.1007/978-3-642-33609-6_15
, Interactive Theorem Proving and Program Development: Coq'Art The Calculus of Inductive Constructions, 2010.
DOI : 10.1007/978-3-662-07964-5
URL : https://hal.archives-ouvertes.fr/hal-00344237
, Implementing Domain-Specific Languages with Xtext and Xtend, 2013.
, Centaur: The system, Proceedings of the Third ACM SIG- SOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, SDE 3, pp.14-24, 1988.
DOI : 10.1145/64135.65005
URL : https://hal.archives-ouvertes.fr/inria-00075774
, On the verification of UML/OCL class diagrams using constraint programming, Journal of Systems and Software, vol.93, pp.1-23, 2014.
DOI : 10.1016/j.jss.2014.03.023
URL : https://hal.archives-ouvertes.fr/hal-00974321
, Integrating a formal development for DSLs into meta- modeling, Proceedings of the 2nd International Conference on Model and Data Engineering, MEDI'12, pp.55-66, 2012.
, A meta-environment for generating programming environments, ACM Transactions on Software Engineering and Methodology, vol.2, issue.2, pp.176-201, 1993.
DOI : 10.1145/151257.151260
, Model Transformation with Immutable Data, pp.19-35, 2016.
DOI : 10.1016/S0747-7171(06)80004-0
URL : https://ir.cwi.nl/pub/25149/25149.pdf
, UML to B: Formal Verification of Object-Oriented Models, pp.187-206, 2004.
DOI : 10.1007/978-3-540-24756-2_11
, A Systematic Approach to Transform OMT Diagrams to a B Specification, Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I -Volume I, FM '99, pp.875-895, 1999.
DOI : 10.1007/3-540-48119-2_48
URL : https://hal.archives-ouvertes.fr/inria-00098957
, Lem: Reusable engineering of realworld semantics, Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming, pp.175-188, 2014.
, Proof-carrying code, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '97, pp.106-119, 1997.
DOI : 10.1145/263699.263712
, A Proof Assistant for Higher-order Logic
, The SoS Architect Studio: Toolchain for the Formal Architecture Description and Analysis of Software-intensive Systems-of-Systems with SosADL, Proceedings of the ECSA International Colloquium on Software-intensive Systems-of- Systems (SiSoS), 2016.
URL : https://hal.archives-ouvertes.fr/hal-01443130
, <mml:math altimg="si1.gif" overflow="scroll" xmlns:xocs="http://www.elsevier.com/xml/xocs/dtd" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.elsevier.com/xml/ja/dtd" xmlns:ja="http://www.elsevier.com/xml/ja/dtd" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:tb="http://www.elsevier.com/xml/common/table/dtd" xmlns:sb="http://www.elsevier.com/xml/common/struct-bib/dtd" xmlns:ce="http://www.elsevier.com/xml/common/dtd" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:cals="http://www.elsevier.com/xml/common/cals/dtd" xmlns:sa="http://www.elsevier.com/xml/common/struct-aff/dtd"><mml:mi mathvariant="double-struck">K</mml:mi></mml:math> Overview and SIMPLE Case Study, Proceedings of the Second International Workshop on the K Framework and its Applications, pp.3-56, 2011.
DOI : 10.1016/j.entcs.2014.05.002
, Ott: Effective tool support for the working semanticist, Journal of Functional Programming, vol.8, issue.01, pp.71-122, 2010.
DOI : 10.1007/BFb0035382
, EMF: Eclipse Modeling Framework 2, 2009.
, Language and IDE Modularization and Composition with MPS, pp.383-430, 2013.
DOI : 10.1007/978-3-540-73589-2_27