A Theory of Objects, 1996. ,
DOI : 10.1007/978-1-4419-8598-9
FAMILIAR: A domain-specific language for large scale management of feature models, Science of Computer Programming, vol.78, issue.6, pp.657-681, 2013. ,
DOI : 10.1016/j.scico.2012.12.004
URL : https://hal.archives-ouvertes.fr/hal-00767175
Using Feature Model to Build Model Transformation Chains, Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems (MoDELS '12), pp.562-578, 2012. ,
DOI : 10.1007/978-3-642-33666-9_36
URL : https://hal.archives-ouvertes.fr/hal-00838532
Profiles in a strict metamodeling framework, Science of Computer Programming, vol.44, issue.1, pp.5-22, 2002. ,
DOI : 10.1016/S0167-6423(02)00029-1
Modern Compiler Implementation in Java, 2003. ,
Tom: Piggybacking Rewriting on Java, Proceedings of the Term Rewriting and Applications, 18th International Conference (RTA '07), pp.36-47, 2007. ,
DOI : 10.1007/978-3-540-73449-9_5
URL : https://hal.archives-ouvertes.fr/inria-00142045
How reuse influences productivity in object-oriented systems, Communincations of the ACM, vol.39, issue.10, pp.104-116, 1996. ,
Matching lenses : alignment and view update, Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming (ICFP '10), pp.193-204, 2010. ,
Practical improvements to the construction and destruction of static single assignment form. Software : Practice and Experience, pp.859-881, 1998. ,
Model transformations with Tom, Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications, LDTA '12, p.4, 2012. ,
DOI : 10.1145/2427048.2427052
URL : https://hal.archives-ouvertes.fr/hal-00646350
Traceability and provenance issues in global model management, Proceedings of the 3rd ECMDA-FA Traceability Workshop, 2007. ,
Model Driven Engineering: An Emerging Technical Space, Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering (GTTSE'05), pp.36-64, 2006. ,
DOI : 10.1007/11877028_2
Boomerang : resourceful lenses for string data, Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '08), pp.407-419, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00496456
Towards a precise definition of the OMG/MDA framework, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), pp.273-280, 2001. ,
DOI : 10.1109/ASE.2001.989813
MDA components : Challenges and Opportunities, Proceedings of the 1st International Workshop on Metamodelling for MDA, pp.23-41, 2003. ,
Modeling in the Large and Modeling in the Small, Proceedings of the 2003 European Conference on Model Driven Architecture : Foundations and Applications (ECMDA-FA'03), pp.33-46, 2005. ,
DOI : 10.1007/11538097_3
Principles, Standards and Tools for Model Engineering, 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05), pp.28-29, 2005. ,
DOI : 10.1109/ICECCS.2005.68
URL : https://hal.archives-ouvertes.fr/hal-00448109
Relational lenses, Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '06, pp.338-347, 2006. ,
DOI : 10.1145/1142351.1142399
PolyTOIL, ACM Transactions on Programming Languages and Systems, vol.25, issue.2, pp.225-290, 2003. ,
DOI : 10.1145/641888.641891
Semantics-driven language design : Statically type-safe virtual types in object-oriented languages, Electronic Notes in Theoretical Computer Science, vol.20, pp.50-75, 1999. ,
Bidirectional Transformations: A Cross-Discipline Perspective, Proceedings of the 2nd International Conference on Model Transformations, 2009. ,
DOI : 10.1007/978-3-540-70583-3_22
Feature-based survey of model transformation approaches, IBM Systems Journal, vol.45, issue.3, pp.621-645, 2006. ,
DOI : 10.1147/sj.453.0621
Inheritance Is Not Subtyping [Cho56] Noam Chomsky. Three models for the description of language CENTAUR : towards a software tool box for programming environments, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles Of Programming Languages (POPL '90) Proceedings of the International Workshop on Software Engineering Environments (SEE '90), number 467 in Lecture Notes in Computer Science, pp.125-135113, 1956. ,
Multijava : modular open classes and symmetric multiple dispatch for java TomML : A Rule Language for Structured Data, Proceedings of the 15th ACM SIGPLAN conference on Object-Oriented Programming, Systems, Languages, and ApplicationsCMR09] Horatiu Cirstea, Pierre-Etienne Moreau, and Antoine Reilles Proceedings of the International Symposium on Rule Interchange and Applications, pp.130-145, 2000. ,
Templatable metamodels for semantic variation points The complexity of theorem-proving procedures, Proceedings of the 3rd European Conference on Model Driven Architecture Foundations and Applications (ECMDA-FA '07)Coo71] Stephen A. Cook Proceedings of the 3rd annual ACM Symposium on Theory Of Computing (STOC '71), pp.68-82, 1971. ,
GRAIL/KAOS, Proceedings of the 19th international conference on Software engineering , ICSE '97, pp.612-613, 1997. ,
DOI : 10.1145/253228.253499
Simple Dependent Types : Concord Programming-in-the large versus programming-in-the-small, ECOOP Workshop on Formal Techniques for Java-like ProgramsDK75] Frank DeRemer and Hans Kron, pp.114-121, 1975. ,
Generic meta-modelling with concepts, templates and mixin layers, Proceedings of the 13th international conference on Model Driven Engineering Languages and Systems (MoDELS '10), pp.16-30, 2010. ,
Prototype-based languages : from a new taxonomy to constructive proposals and their validation Traits : A mechanism for fine-grained reuse, Proceedings of the 7th annual conference on Object-Oriented Programming Systems , Languages, and Applications (OOPSLA '92)DNS + 06] Stéphane Ducasse, pp.201-217331, 1992. ,
Chaining model transformations Formal executable semantics for conformance in the MDE framework, Proceedings of the 1st Workshop on the Analysis of Model Transformations (AMT '12)ER10] Marina Egea and Vlad Rusu, pp.9-1473, 2010. ,
Family Polymorphism, Proceedins of the 15th European Conference on Object-Oriented Programming, pp.303-326, 2001. ,
DOI : 10.1007/3-540-45337-7_17
Foundations of Meta-Pyramids : Languages vs. Metamodels - Episode II : Story of Thotus the Baboon, Dagstuhl Reports, 2004. ,
Foundations of Model (Driven) (Reverse) Engineering : Models -Episode I : Stories of The Fidus Papyrus and of The Solarus, Dagstuhl Reports, 2004. ,
Introduction to the Special Section on Software Language Engineering Combinators for bidirectional tree transformations : A linguistic approach to the view-update problem, IEEE Transactions on Software Engineering ACM Transactions on Programming Languages Systems (TOPLAS), vol.35, issue.293, pp.737-741, 2007. ,
Metamodel Matching for Automatic Model Transformation Generation, Proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS '08), pp.326-340, 2008. ,
DOI : 10.1007/978-3-540-87875-9_24
URL : https://hal.archives-ouvertes.fr/lirmm-00322879
Quotient lenses, Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (ICFP '08), pp.383-396, 2008. ,
Model-Driven Engineering and Optimizing Compilers: A Bridge Too Far?, Proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems (MODELS '11), number 6981 in Lecture Notes in Computer Science, pp.608-622, 2011. ,
DOI : 10.1007/s10270-006-0036-6
URL : https://hal.archives-ouvertes.fr/inria-00613575
Intermodelling : from theory to practice, Proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems : Part I (MoDELS '10), number 6394 in Lecture Notes in Computer Science, pp.376-391, 2010. ,
On Metamodeling in Megamodels, Proceedings of the 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS '07), pp.91-105, 2007. ,
DOI : 10.1007/978-3-540-75209-7_7
MontiCore, Companion of the 13th international conference on Software engineering , ICSE Companion '08, pp.925-926, 1969. ,
DOI : 10.1145/1370175.1370190
Empirical assessment of MDE in industry, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.471-48059, 2011. ,
DOI : 10.1145/1985793.1985858
Lightweight Family Polymorphism, Proceedings of the 3rd Asian Symposium on Programming Languages and Systems (APLAS '05), pp.161-177, 2005. ,
DOI : 10.1007/11575467_12
Mashup of Meta-Languages and its Implementation in the Kermeta Language Workbench, Journal of Software and Systems Modeling (So- SyM), 2013. ,
Ingénierie Dirigée par les Modèles : des concepts à la pratique Estimating footprints of model operations, Références sciences. Ellipses, 2012. [JGB11] Cédric Jeanneret Proceedings of the 33rd International Conference on Software Engineering (ICSE '11)KBA02] Ivan Kurtev, Jean Bézivin, and Mehmet Aksit. Technological Spaces : An Initial Appraisal. In International Symposium on Distributed Objects and Applications (DOA '02), pp.601-610, 2002. ,
A Framework for Building Mapping Operators Resolving Structural Heterogeneities, Information Systems and e-Business Technologies of Lecture Notes in Business Information Processing, pp.158-174, 2008. ,
DOI : 10.1007/978-3-540-78942-0_18
MCC: A Model Transformation Environment, Proceedings of the 2nd European Conference on Model Driven Architecture : Foundations and Applications (ECMDA-FA'06), pp.173-187, 2006. ,
DOI : 10.1007/11787044_14
Metal: a formalism to specify formalisms, Anneke Kleppe. Software Language Engineering : Creating Domain-Specific Languages Using Metamodels Journal of Software and Systems Modeling (SoSyM), pp.151-188, 1983. ,
DOI : 10.1016/0167-6423(83)90009-6
The Spoofax Language Workbench Rules for Declarative Specification of Languages and IDEs On model compatibility with referees and contexts, Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '10), pp.444-463475, 2010. ,
Feature-oriented language families, Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '13, pp.1-8, 2013. ,
DOI : 10.1145/2430502.2430518
CYC: a large-scale investment in knowledge infrastructure, Communications of the ACM, vol.38, issue.11, pp.33-38, 1995. ,
DOI : 10.1145/219717.219745
From types to type requirements: genericity for model-driven engineering, Software & Systems Modeling, vol.6, issue.4, pp.453-474, 2013. ,
DOI : 10.1007/s10270-011-0221-0
A behavioral notion of subtyping, ACM Transactions on Programming Languages and Systems (TOPLAS), vol.16, issue.6, pp.1811-1841, 1994. ,
Language workbenches : The killer-app for domain specific languages ? http://martinfowler.com/articles/languageWorkbench.html [Online ; accessed 20-Septembre-2013]. [MC07] Parastoo Mohagheghi and Reidar Conradi. Quality, productivity and economic benefits of software reuse : a review of industrial studies, Empirical Software Engineering, vol.12, issue.5, pp.471-516, 2005. ,
Modeling modeling modeling, Software & Systems Modeling, vol.37, issue.1, pp.347-359, 2012. ,
DOI : 10.1007/s10270-010-0172-x
URL : https://hal.archives-ouvertes.fr/inria-00477528
Weaving Executability into Object-Oriented Meta-languages, Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS '05), pp.264-278, 2005. ,
DOI : 10.1007/11557432_19
URL : https://hal.archives-ouvertes.fr/hal-00795095
When and how to develop domain-specific languages, ACM Computing Surveys, vol.37, issue.4, pp.316-344, 2005. ,
DOI : 10.1145/1118890.1118892
Managing complexity in software engineering. Peregrinus on behalf of the Institution of Electrical Engineers, 1990. ,
Generic Model Refactorings, Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS '09), pp.628-643 ,
DOI : 10.1007/s10270-006-0036-6
URL : https://hal.archives-ouvertes.fr/inria-00468657
A Taxonomy of Model Transformation, Electronic Notes in Theoretical Computer Science, vol.152, pp.125-142, 2006. ,
DOI : 10.1016/j.entcs.2005.10.021
Transformation Composition Modelling Framework, Proceedings of the 5th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems (DAIS '05)OMG03] OMG. UML Object Constraint Language (OCL) 2.0 Specification, pp.108-114, 2003. ,
DOI : 10.1007/11498094_10
Software & Systems Process Engineering Meta-Model (OMG SPEM) Specification, OMG11] OMG. Unified Modeling Language (OMG UML), Infrastructure, 2008. ,
Scalable component abstractions, Proceedings of the 20th annual ACM SIGPLAN conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '05), pp.41-57, 2005. ,
DOI : 10.1145/1103845.1094815
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.176.5313
Types and programming languages, 2002. ,
A Structural Approach to Operational Semantics, 1981. ,
Antlr : a predicated-ll(k) parser generator. Software : Practice and Experience, pp.789-810, 1995. ,
Constructing and Visualizing Transformation Chains, Proceedings of the 4th European conference on Model Driven Architecture : Foundations and Applications (ECMDA-FA '08), pp.17-32, 2008. ,
DOI : 10.1007/978-3-540-69100-6_2
Model Migration with Epsilon Flock, Proceedings of the 3rd International Conference on Model Transformations (ICMT '10), pp.184-198, 2010. ,
DOI : 10.1007/978-3-642-13688-7_13
Orchestrating ATL model transformations, Proceedings of the 1st International Workshop on Model Transformation with ATL (MtATL '09), pp.34-46, 2009. ,
EMF : Eclipse Modeling Framework Using Model Types to Support Contract-Aware Model Substitutability, Proceedings of the 9th European Conference on Modelling Foundations and Applications, ECMFA '13, pp.118-133, 2009. ,
Generic Model Transformations: Write Once, Reuse Everywhere, Proceedings of the 4th International Conference on Model Transformations (ICMT '11), pp.62-77, 2011. ,
DOI : 10.1007/978-3-642-21732-6_5
Feature Diagrams: A Survey and a Formal Semantics, 14th IEEE International Requirements Engineering Conference (RE'06), pp.136-145, 2006. ,
DOI : 10.1109/RE.2006.23
On Model Typing. Software and Systems Modeling, pp.401-413, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00477547
Model transformation: the heart and soul of model-driven software development, Proceedings of the 21st International Conference on Advanced Information Systems Engineering (CAiSE '09), pp.42-45, 2003. ,
DOI : 10.1109/MS.2003.1231150
Prototype-based languages (panel) : object lessons from classfree programming, Proceedings of the 9th annual conference on Object- Oriented Programming Systems, Language, and Applications (OOPSLA '94), pp.102-112, 1994. ,
DOI : 10.1145/191081.191101
Reusable model transformations, Journal of Software and Systems Modeling (SoSyM), vol.11, issue.1, pp.111-125, 2012. ,
Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance, Software & Systems Modeling, vol.4, issue.3, pp.493-528, 2010. ,
DOI : 10.1007/s10270-009-0146-z
Typage de Modèles, 2007. ,
Metaedit+ : defining and using domainspecific modeling languages and code generators, Companion of the 18th annual ACM SIGPLAN conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '03), pp.92-93, 2003. ,
DOI : 10.1007/11763864_41
Domain-specific languages, ACM SIGPLAN Notices, vol.35, issue.6, pp.26-36, 2000. ,
DOI : 10.1145/352029.352035
Typing artifacts in megamodeling [Voe11] Markus Voelter. Language and IDE Modularization and Composition with MPS, Journal of Software and Systems Modeling (SoSyM) Proceedings of the International Summer School on Generative and Transformational Techniques in Software Engineering IV (GTTSE '11), pp.105-119, 2011. ,
Generic and meta-transformations for model transformation engineering, Proceedings of the 7th International Conference on the Unified Modeling Language, pp.290-304, 2001. ,
Extended Backus-Naur Form ? Wikipedia, The Free Encyclopedia . https://en.wikipedia.org/wiki/Extended_Backus%E2%80%93Naur_ Form, 2013. [Online ; accessed 14, 2013. ,
Reusing model transformations across heterogeneous metamodels, Proceedings of the 5th International Workshop on Multi-Paradigm Modeling (MPM '11), 2011. ,
Towards modeling and reasoning support for early-phase requirements engineering, Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE '97), pp.226-235, 1997. ,
Aspect Kermeta déclarant un champ dérivé next permettant une adaptation bidirectionnelle de CFG Type vers, p.105 ,
Ecore et de metal représentant les interfaces et les implémentations des objets et des opérations, p.80 ,
Bridging the chasm between MDE and the world of compilation, Software & Systems Modeling, vol.53, issue.6, pp.581-597, 2012. ,
DOI : 10.1007/s10270-012-0266-8
On Model Subtyping, Proceedings of the 8th European Conference on Modelling Foundations and Applications, ECMFA '12, pp.400-415, 2012. ,
DOI : 10.1007/978-3-642-31491-9_30
URL : https://hal.archives-ouvertes.fr/hal-00726399
Model-Driven Engineering and Optimizing Compilers: A Bridge Too Far?, Proceedings of the 14th International Conference Model Driven Engineering Languages and Systems, pp.608-622, 2011. ,
DOI : 10.1007/s10270-006-0036-6
URL : https://hal.archives-ouvertes.fr/inria-00613575
Vers un rapprochement de l'IDM et de la compilation, Proceedings of the Journées sur l'Ingénierie Dirigée par les Modèles, pp.91-96, 2011. ,
URL : https://hal.archives-ouvertes.fr/inria-00601670