A. D. Brucker and B. Wolff, The HOL-OCL book, 2006.

A. Ledeczi, A. Bakay, M. Maroti, P. Volgyesi, G. Nordstrom et al., Composing domain-specific design environments, Computer, vol.34, issue.11, pp.44-51, 2001.
DOI : 10.1109/2.963443
URL : http://real.mtak.hu/4598/1/1116623.pdf

A. Queralt and E. Teniente, Reasoning on UML Class Diagrams with OCL Constraints, Lecture Notes in Computer Science ER, vol.4215, p.497512, 2006.
DOI : 10.1007/11901181_37
URL : http://hdl.handle.net/2117/85935

A. J. Ko, H. Htet-aung, and B. A. Myers, Design requirements for more flexible structured editors from a study of programmer's text editing, CHI 2005, 2005.

J. E. Archer, . Jr, and M. T. Delvin, Rational's experience using Ada for very large systems, The First International Conference on Ada Programming Language Applications for the NASA Space Station, 1986.

B. Bordbar and K. Anastasakis, Mda and analysis of web applications In Trends in Enterprise Application Architecture (TEAA) in Lecture notes in Computer Science, pp.44-55, 2005.

B. Bordbar and K. Anastasakis, Uml2alloy: A tool for lightweight modelling of discrete event systems, IADIS International Conference in Applied Computing, pp.209-216, 2005.

D. Berardi, D. Calvanese, and G. D. Giacomo, Reasoning on UML class diagrams, Artificial Intelligence, vol.168, issue.1-2, p.70118, 2005.
DOI : 10.1016/j.artint.2005.05.003

D. Jackson, Software Abstractions: Logic, Language, and Analysis, 2006.

J. De, L. , and H. Vangheluwe, Atom 3 : A tool for multi-formalism modelling and meta-modelling, Lecture Notes in Computer Science, number 2306, pp.174-188, 2002.

V. Donzeau-gouge, G. Huet, and L. B. Kahn, Interactive Programming Environments, chapter Programming environments based on structured editors: The Mentor experience, pp.128-140, 1984.

R. France and B. Rumpe, Model-driven Development of Complex Software: A Research Roadmap, Future of Software Engineering (FOSE '07), 2007.
DOI : 10.1109/FOSE.2007.14
URL : https://hal.archives-ouvertes.fr/inria-00511368

B. Frank, Eclipse Modeling Framework, volume 1 of The Eclipse Series, 2004.

G. E. Kaiser, Incremental dynamic semantics for language-based programming environments, ACM Transactions on Programming Languages and Systems, vol.11, issue.2, pp.169-193, 1989.
DOI : 10.1145/63264.63400

A. N. Habermann and D. Notkin, Gandalf: Software development environments, IEEE Transactions on Software Engineering, vol.12, issue.12, pp.1117-1127, 1986.
DOI : 10.1109/TSE.1986.6313007

H. Vangheluwe, J. De, and L. , Domain-Specific Modelling with AToM3, The 4th OOPSLA Workshop on Domain-Specific Modeling, 2004.

I. Horrocks, Using an expressive description logic: FaCT or fiction?, 6th International Conference on Principiles of Knowledge Representation and Reasoning, pp.636-647, 1998.

J. Cabot, R. Claris, and D. Riera, Verification of UML/OCL Class Diagrams Using Constraint Programming, ICST Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa'2008), 2008.
URL : https://hal.archives-ouvertes.fr/hal-00974321

K. Ehrig, C. Ermel, and S. Hansgen, Generation of visual editors as eclipse plug-ins, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering , ASE '05, pp.134-143, 2005.
DOI : 10.1145/1101908.1101930

R. Krysztof, M. G. Apt, and . Wallace, Constraint Logic Programming with ECLiPSe, 2007.

K. Anastasakis, B. Bordbar, G. Georg, and I. Ray, UML2Alloy: A Challenging Model Transformation, MoDELS, pp.436-450, 2007.
DOI : 10.1007/978-3-540-75209-7_30
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.101.7905

M. Cadoli, D. Calvanese, G. D. Giacomo, and T. Mancini, Finite satisfiability of UML class diagrams by Constraint Programming, Int.Workshop on Description Logics (DL2004), CEUR Workshop, 2004.

N. Een and N. Srensson, An Extensible SAT-Solver, 2003.

N. Een and N. Srensson, MiniSat A SAT Solver with Conflict-Clause Minimization, Poster, SAT 2005, 2005.

S. P. Reiss, Graphical program development with PECAN program development systems, SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, pp.30-41, 1984.

S. Sen, B. Baudry, and D. Precup, Partial Model Completion in Model Driven Engineering using Constraint Logic Programming, International Conference on the Applications of Declarative Programming, 2007.

S. Sen, B. Baudry, and H. Vangheluwe, Domain-Specific Model Editors with Model Completion, Multi-paradigm modelling workshop associated with MoDeLs, 2007.
DOI : 10.1007/978-3-540-69073-3_27
URL : https://hal.archives-ouvertes.fr/inria-00477554

S. Neema, J. Szitpanovits, and G. Karsai, Constraint-Based Design-Space Exploration and Model Synthesis, Proceedings of EMSOFT 2003, pp.290-305, 2003.
DOI : 10.1007/978-3-540-45212-6_19
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.99.7369

S. Sen, B. Baudry, and J. Mottu, On combining mullti-formalism knowledge to select test models for model transformaion testing, ACM/IEEE International Conference on Software Testing, 2008.

T. Teitelbaum and T. Reps, The Cornell Program Synthesizer, ACM SIGPLAN Notices, vol.14, issue.10, pp.563-573, 1981.
DOI : 10.1145/953997.954001

W. Teitelman and L. Masinter, The Interlisp Programming Environment, Computer, vol.14, issue.4, pp.25-34, 1981.
DOI : 10.1109/C-M.1981.220410

V. Haarslev and R. Mller, RACER System Description, International Joint Conference on Automated Reasoning, pp.701-705, 2001.
DOI : 10.1007/3-540-45744-5_59
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.126.6142

Y. S. Mahajan, Z. Fu, and S. Malik, Zchaff2004: An Efficient SAT Solver, Lecture Notes in Computer Science SAT 2004 Special, pp.360-375, 2004.
DOI : 10.1007/11527695_27
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.457.8345