{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:51:26Z","timestamp":1725889886900},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540699262"},{"type":"electronic","value":"9783540699279"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-69927-9_15","type":"book-chapter","created":{"date-parts":[[2008,7,31]],"date-time":"2008-07-31T02:39:40Z","timestamp":1217471980000},"page":"214-228","source":"Crossref","is-referenced-by-count":23,"title":["Proofs-as-Model-Transformations"],"prefix":"10.1007","author":[{"given":"Iman","family":"Poernomo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"15_CR1","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/s10270-003-0032-z","volume":"2","author":"D.H. Akehurst","year":"2003","unstructured":"Akehurst, D.H., Kent, S., Patrascoiu, O.: A relational approach to defining and implementing transformations between metamodels. Software and System Modeling\u00a02(4), 215\u2013239 (2003)","journal-title":"Software and System Modeling"},{"key":"15_CR2","volume-title":"Implementing Mathematics with the Nuprl Proof Development System","author":"R. Constable","year":"1986","unstructured":"Constable, R., Mendler, N., Howe, D.: Implementing Mathematics with the Nuprl Proof Development System. Prentice-Hall, Englewood Cliffs (1986) (Accessed May 2003), \n                    \n                      http:\/\/www.cs.cornell.edu\/Info\/Projects\/NuPrl\/book\/doc.html"},{"issue":"1","key":"15_CR3","doi-asserted-by":"crossref","first-page":"129","DOI":"10.5381\/jot.2005.4.1.a4","volume":"4","author":"L. Favre","year":"2005","unstructured":"Favre, L.: Foundations for mda-based forward engineering. Journal of Object Technology\u00a04(1), 129\u2013153 (2005)","journal-title":"Journal of Object Technology"},{"key":"15_CR4","unstructured":"Martin-L\u00f6f, P.: Intuitionistic Type Theory. Bibliopolis (1984)"},{"key":"15_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/11787044_28","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"J.-M. Mottu","year":"2006","unstructured":"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.\u00a04066, pp. 376\u2013390. Springer, Heidelberg (2006)"},{"key":"15_CR6","unstructured":"Mukerji, J., Miller, J.: MDA Guide Version 1.0.1. Object Management Group (2003)"},{"key":"15_CR7","unstructured":"OMG. Meta Object Facility (MOF) Specification. Object Management Group (2000)"},{"key":"15_CR8","unstructured":"OMG. Meta Object Facility (MOF) Core Specification, Version 2.0. Object Management Group (January 2006)"},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/11786160_15","volume-title":"Architecting Systems with Trustworthy Components","author":"I. Poernomo","year":"2006","unstructured":"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.\u00a03938, pp. 262\u2013298. Springer, Heidelberg (2006)"},{"key":"15_CR10","unstructured":"Poernomo, I., Crossley, J., Wirsing, M.: Adapting Proofs-as-Programs: The Curry-Howard Protocol. Monographs in computer science. Springer, Heidelberg (2005)"},{"key":"15_CR11","first-page":"169","volume-title":"The 11th IEEE International EDOC Conference (EDOC 2007)","author":"J. Rivera","year":"2007","unstructured":"Rivera, J., Vallecillo, A.: Adding behavioural semantics to models. In: The 11th IEEE International EDOC Conference (EDOC 2007), Annapolis, Maryland, USA, pp. 169\u2013180. IEEE Computer Society, Los Alamitos (2007)"},{"key":"15_CR12","unstructured":"Ruscio, D.D., Jouault, F., Kurtev, I., B\u00e9zivin, J., Pierantonio, A.: Extending AMMA for supporting dynamic semantics specifications of DSLs. Technical Report 06.02, Laboratoire d\u2019Informatique de Nantes-Atlantique (LINA), Nantes, France (April 2006)"},{"issue":"4","key":"15_CR13","doi-asserted-by":"crossref","first-page":"49","DOI":"10.5381\/jot.2002.1.4.c4","volume":"1","author":"A.J.H. Simons","year":"2002","unstructured":"Simons, A.J.H.: The theory of classification. part 3: Object encodings and recursion. Journal of Object Technology\u00a01(4), 49\u201357 (2002)","journal-title":"Journal of Object Technology"},{"key":"15_CR14","unstructured":"Thirioux, X., Combemale, B., Cr\u00e9gut, X., Garoche, P.-L.: A framework to formalise the mde foundations. In: Proceedings of TOWERS 2007, Zurich, June 25 2007, pp. 14\u201330 (2007)"}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Model Transformations"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69927-9_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T00:12:54Z","timestamp":1620000774000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69927-9_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540699262","9783540699279"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69927-9_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}