A Type-Theoretic Framework for Certified Model Transformations - Formal Methods: Foundations and Applications - page 127

References
1. Kent, S.: Model-Driven Engineering. In: Butler, M., Petre, L., Sere, K. (eds.)
IFM 2002. LNCS, vol. 2335, pp. 286-298. Springer, Heidelberg (2002)
2. OMG: Meta Object Facility (MOF) 2.0 Core Specification. Object Management
Group, Specification Version 2.0 (2003)
3. ATLAS Group: Kernel MetaMetaModel. LINA & INRIA. Manual v0.3 (2005)
4. OMG: UML 2.0 Object Constraint Language. Object Management Group, Speci-
fication Version 2.0 (2006)
5. Mens, T., Czarnecki, K., van Gorp, P.: A Taxonomy of Model Transformation.
ENTCS, vol. 152, pp. 125-142. Springer, Heidelberg (2006)
6. Czarnecki, K., Helsen, S.: Feature-Based Survey of Model Transformation Ap-
proaches. IBM Systems Journal 45(3), 621-645 (2006)
7. OMG: Meta Object Facility (MOF) 2.0 Query/View/Transformation. Object Man-
agement Group, Specification Version 1.0 (2008)
8. ATLAS Group: Atlas Transformation Language. LINA & INRIA. User Guide (2009)
9. Anastasakis, K., Bordbar, B., Kuster, J.M.: Analysis of Model Transformations
via Alloy. In: Proc. 4 th Workshop on Model-Driven Engineering, Verification and
Validation, pp. 47-56 (2007)
10. Pons, C., Garcıa, D.: A Lightweight Approach for the Semantic Validation of Model
Refinements. ENTCS, vol. 220, pp. 43-61. Springer, Heidelberg (2008)
11. Giese, H., et al.: Towards Verified Model Transformations. In: Proc. 3rd Interna-
tional Workshop on Model Development, Validation and Verification, pp. 78-93
(2006)
12. Bertot, Y., Casteran, P.: Interactive Theorem Proving and Program Development.
Coq'Art: The Calculus of Inductive Constructions. Springer, Heidelberg (2004)
13. The Coq Development Team: The Coq Proof Assistant: Reference Manual (2009)
14. Leroy, X.: Formal Verification of a Realistic Compiler. Commun. ACM 52, 107-115
(2009)
15. Poernomo, I.: A Type Theoretic Framework for Formal Metamodelling. In: Reuss-
ner, R., Stafford, J.A., Ren, X.-M. (eds.) Architecting Systems with Trustworthy
Components. LNCS, vol. 3938, pp. 262-298. Springer, Heidelberg (2006)
16. Poernomo, I.: Proofs-as-Model Transformations. In: Vallecillo, A., Gray, J.,
Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 214-228. Springer,
Heidelberg (2008)
17. Calegari, D., Luna, C., Szasz, N., Tasistro, A.: Experiment with a Type-Theoretic
Approach to the Verification of Model Transformations. In: Proc. 2 nd Chilean
Workshop on Formal Methods, pp. 29-36 (2009),
http://jcc2009.usach.cl/?page_id=631 (last visit: August 2010)
18. Coquand, T., Paulin, C.: Inductively Defined Types. In: Martin-Lof, P., Mints, G.
(eds.) COLOG 1988. LNCS, vol. 417, pp. 50-66. Springer, Heidelberg (1990)
19. Bezivin, J., Rumpe, B., Schurr, A., Tratt, L.: Model Transformations in Practice
Workshop. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 120-127.
Springer, Heidelberg (2006)
20. Verification of UML-Based Behavioral Model Transformations Project,
http://www.fing.edu.uy/inco/grupos/coal/field.php/Proyectos/ANII09
(last visit: August 2010)
21. Steel, J., Jezequel, J.M.: On Model Typing. SoSyM 6, 401-413 (2007)
22. Beckert, B., Keller, U., Schmitt, P.: Translating the Object Constraint Language
into First-Order Predicate Logic. In: Workshop at Federated Logic Conferences
(2002)