Proofs-as-model-transformations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5063 LNCS, Issue , 2008, Pages 214-228

  Poernomo, Iman ^a  

^a KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

AND MODELS; CONSTRUCTIVE TYPE THEORIES; FORMAL DEFINITIONS; FUNCTIONAL PROGRAMS; FUNCTIONAL SPECIFICATIONS; MATHEMATICAL FORMALISMS; MODEL TRANSFORMATIONS; OBJECT MANAGEMENT GROUPS;

FORMAL METHODS; FOUNDATIONS;

SPECIFICATIONS;

EID: 54249107236     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-69927-9_15     Document Type: Conference Paper

References (14)

1. Akehurst, D.H., Kent, S., Patrascoiu, O.: A relational approach to defiing and implementing transformations between metamodels. Software and System Modeling 2(4), 215-239 (2003)
2. Constable, R., Mendler, N., Howe, D.: Implementing Mathematics with the Nuprl Proof Development System. Prentice-Hall, Englewood Cliffs (1986) (Accessed May 2003), http://www.cs.cornell.edu/Info/Projects/HuPrl/book/doc.html
3. Favre, L.: Foundations for mda-based forward engineering. Journal of Object Technology 4(1), 129-153 (2005)
4. Martin-Löf, P.: Intuitionistic Type Theory. Bibliopolis (1984)
5. Mottu, J.-M., Baudry, B., Le Traon, Y.: Mutation Analysis Testing for Model Transformations. In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol. 4066, pp. 376-390. Springer, Heidelberg (2006)
6. Mukerji, J., Miller, J.: MDA Guide Version 1.0.1. Object Management Group (2003)
7. OMG. Meta Object Facility (MOF) Specification. Object Management Group (2000)
8. OMG. Meta Object Facility (MOF) Core Specification, Version 2.0. Object Management Group (January 2006)
9. Poernomo, I.: A Type Theoretic Framework for Formal Metamodelling. In: Reussner, R., Stafford, J.A., Szyperski, C.A. (eds.) Architecting Systems with Trustworthy Components. LNCS, vol. 3938, pp. 262-298. Springer, Heidelberg (2006)
10. Poernomo, I., Crossley, J., Wirsing, M.: Adapting Proofs-as-Programs: The Curry-Howard Protocol. Monographs in computer science. Springer, Heidelberg (2005)
11. Rivera, J., Vallecillo, A.: Adding behavioural semantics to models. In: The 11th IEEE International EDOC Conference (EDOC 2007), Annapolis, Maryland, USA, pp. 169-180. IEEE Computer Society, Los Alamitos (2007)
12. Ruscio, D.D., Jouault, F., Kurtev, I., Bézivin, J., Pierantonio, A.: Extending AMMA for supporting dynamic semantics specifications of DSLs. Technical Report 06.02, Laboratoire d'Informatique de Nantes-Atlantique (LINA), Nantes, France (April 2006)
13. Simons, A.J.H.: The theory of classification, part 3: Object encodings and recursion. Journal of Object Technology 1(4), 49-57 (2002)
14. Thirioux, X., Combemale, B., Crégut, X., Garoche, P.-L.: A framework to formalise the mde foundations. In: Proceedings of TOWERS 2007, Zurich, June 25 2007, pp. 14-30 (2007)