{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:57:56Z","timestamp":1725569876649},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642169007"},{"type":"electronic","value":"9783642169014"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16901-4_6","type":"book-chapter","created":{"date-parts":[[2010,11,8]],"date-time":"2010-11-08T12:40:06Z","timestamp":1289220006000},"page":"56-73","source":"Crossref","is-referenced-by-count":21,"title":["Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq"],"prefix":"10.1007","author":[{"given":"Iman","family":"Poernomo","sequence":"first","affiliation":[]},{"given":"Jeffrey","family":"Terrell","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/978-3-540-78743-3_28","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Boronat","year":"2008","unstructured":"Boronat, A., Meseguer, J.: An algebraic semantics for the MOF. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol.\u00a04961, pp. 377\u2013391. Springer, Heidelberg (2008)"},{"key":"6_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), Updated edition available at \n                    \n                      http:\/\/www.cs.cornell.edu\/Info\/Projects\/NuPrl\/book\/doc.html"},{"key":"6_CR3","unstructured":"K\u00f6nigs, A., Sch\u00fcrr, A.: Multi-domain integration with MOF and extended triple graph grammars. In: Bezivin, J., Heckel, R. (eds.) Language Engineering for Model-Driven Software Development number 04101 in Dagstuhl Seminar Proceedings, Dagstuhl, Germany (2005)"},{"key":"6_CR4","volume-title":"Logic Colloquium","author":"P. Martin-L\u00f6f","year":"1973","unstructured":"Martin-L\u00f6f, P.: An Intuitionstic Theory of Types: Predicate Part. In: Rose, H.E., Shepherdson, J.C. (eds.) Logic Colloquium. North-Holland, Oxford (1973)"},{"key":"6_CR5","unstructured":"OMG. Meta Object Facility (MOF) Core Specification, Version 2.0. Object Management Group (January 2006)"},{"key":"6_CR6","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. (eds.) Architecting Systems with Trustworthy Components. LNCS, vol.\u00a03938, pp. 262\u2013298. Springer, Heidelberg (2006)"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-540-69927-9_15","volume-title":"Theory and Practice of Model Transformations","author":"I. Poernomo","year":"2008","unstructured":"Poernomo, I.: Proofs-as-model-transformations. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol.\u00a05063, pp. 214\u2013228. Springer, Heidelberg (2008)"},{"key":"6_CR8","series-title":"Monographs in computer science","volume-title":"Adapting Proofs-as-Programs: The Curry-Howard Protocol","author":"I. Poernomo","year":"2005","unstructured":"Poernomo, I., Crossley, J., Wirsing, M.: Adapting Proofs-as-Programs: The Curry-Howard Protocol. Monographs in computer science. Springer, Heidelberg (2005)"},{"key":"6_CR9","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, October 15-19, pp. 169\u2013180. IEEE Computer Society, Los Alamitos (2007)"},{"key":"6_CR10","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)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16901-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,22]],"date-time":"2019-03-22T00:02:03Z","timestamp":1553212923000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16901-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642169007","9783642169014"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16901-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}