{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T12:23:56Z","timestamp":1725711836727},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642357367"},{"type":"electronic","value":"9783642357374"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-35737-4_8","type":"book-chapter","created":{"date-parts":[[2013,1,10]],"date-time":"2013-01-10T01:12:22Z","timestamp":1357780342000},"page":"131-148","source":"Crossref","is-referenced-by-count":0,"title":["Combining Verification and MDE Illustrated by a Formal Java Development"],"prefix":"10.1007","author":[{"given":"Selma","family":"Djeddai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Mezghiche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Strecker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Alanen, M., Porres, I.: A relation between context-free grammars and meta object facility metamodels. Tech. rep., Turku Centre for Computer Science (TUCS) (March 2003), \n                    \n                      http:\/\/www.cis.uab.edu\/courses\/cs593\/spring2010\/TR606.pdf"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1007\/978-3-540-75209-7_30","volume-title":"Model Driven Engineering Languages and Systems","author":"K. Anastasakis","year":"2007","unstructured":"Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: UML2Alloy: A Challenging Model Transformation. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 436\u2013450. Springer, Heidelberg (2007)"},{"key":"8_CR3","unstructured":"Baklanova, N., Strecker, M., F\u00e9raud, L.: Resource Sharing Conflicts Checking in Multithreaded Java Programs. In: Informal Proceedings FAC 2012 (April 2012)"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/11877028_2","volume-title":"Generative and Transformational Techniques in Software Engineering","author":"J. B\u00e9zivin","year":"2006","unstructured":"B\u00e9zivin, J.: Model Driven Engineering: An Emerging Technical Space. In: L\u00e4mmel, R., Saraiva, J., Visser, J. (eds.) GTTSE 2005. LNCS, vol.\u00a04143, pp. 36\u201364. Springer, Heidelberg (2006), \n                    \n                      https:\/\/www.uni-koblenz.de\/~laemmel\/gttse\/2005\/pdfs\/41430036.pdf"},{"key":"8_CR5","unstructured":"Budinsky, F., Brodsky, S.A., Merks, E.: Eclipse Modeling Framework. Pearson Education (2003)"},{"key":"8_CR6","unstructured":"Coq Development Team: The Coq proof assistant reference manual. version 8.31 (2010), \n                    \n                      http:\/\/coq.inria.fr\/refman\/\n                    \n                    \n                  , \n                    \n                      http:\/\/coq.inria.fr\/refman\/"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Delahaye, D., \u00c9tienne, J.F., Vigui\u00e9 Donzeau-Gouge, V.: A Formal and Sound Transformation from Focal to UML: An Application to Airport Security Regulations. In: UML and Formal Methods (UML&FM), vol.\u00a04, pp. 267\u2013274 (2008), \n                    \n                      http:\/\/cedric.cnam.fr\/~delahaye\/?page=publis","DOI":"10.1007\/s11334-008-0060-5"},{"issue":"6","key":"8_CR8","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/352029.352035","volume":"35","author":"A. Deursen van","year":"2000","unstructured":"van Deursen, A., Klint, P., Visser, J.: Domain-specific languages: An annotated bibliography. SIGPLAN Notices\u00a035(6), 26\u201336 (2000)","journal-title":"SIGPLAN Notices"},{"key":"8_CR9","unstructured":"Eclipse Community: Tutorials and documentation for Xtext 2.0 (2011), \n                    \n                      http:\/\/www.eclipse.org\/Xtext\/documentation\/"},{"key":"8_CR10","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1145\/1101908.1101930","volume-title":"Proceedings of the 20th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2005","author":"K. Ehrig","year":"2005","unstructured":"Ehrig, K., Ermel, C., H\u00e4nsgen, S., Taentzer, G.: Generation of visual editors as Eclipse plugins. In: Proceedings of the 20th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2005, pp. 134\u2013143. ACM, New York (2005), \n                    \n                      http:\/\/doi.acm.org\/10.1145\/1101908.1101930"},{"issue":"7","key":"8_CR11","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1016\/S0920-5489(98)00020-8","volume":"19","author":"R.B. France","year":"1998","unstructured":"France, R.B., Evans, A., Lano, K., Rumpe, B.: The UML as a formal modeling notation. Computer Standards & Interfaces\u00a019(7), 325\u2013334 (1998)","journal-title":"Computer Standards & Interfaces"},{"key":"8_CR12","volume-title":"Eclipse Modeling Project: A Domain-Specific Language (DSL) Toolkit","author":"R.C. Gronback","year":"2009","unstructured":"Gronback, R.C.: Eclipse Modeling Project: A Domain-Specific Language (DSL) Toolkit. Addison-Wesley, Upper Saddle River (2009)"},{"key":"8_CR13","series-title":"LNBIP","first-page":"237","volume-title":"BPMDS 2009 and EMMSAD 2009","author":"A. Idani","year":"2009","unstructured":"Idani, A.: UML Models Engineering from Static and Dynamic Aspects of Formal Specifications. In: Halpin, T., Krogstie, J., Nurcan, S., Proper, E., Schmidt, R., Soffer, P., Ukor, R. (eds.) BPMDS 2009 and EMMSAD 2009. LNBIP, vol.\u00a029, pp. 237\u2013250. Springer, Heidelberg (2009)"},{"key":"8_CR14","unstructured":"Idani, A., Boulanger, J.L., Philippe, L.: A generic process and its tool support towards combining UML and B for safety critical systems. In: Hu, G. (ed.) CAINE, pp. 185\u2013192. ISCA (2007)"},{"key":"8_CR15","volume-title":"MDA Explained: The Model Driven Architecture: Practice and Promise","author":"A.G. Kleppe","year":"2003","unstructured":"Kleppe, A.G., Warmer, J., Bast, W.: MDA Explained: The Model Driven Architecture: Practice and Promise. Addison-Wesley Longman Publishing Co., Inc., Boston (2003)"},{"key":"8_CR16","unstructured":"de Lara, J., Vangheluwe, H.: Using AToM3 as a meta-case tool. In: Proceedings of the 4th International Conference on Enterprise Information Systems (ICEIS), Ciudad Real, Spain, pp. 642\u2013649 (April 2002), \n                    \n                      http:\/\/www.cs.mcgill.ca\/~hv\/publications\/02.ICEIS.MCASE.pdf"},{"key":"8_CR17","unstructured":"Leroy, X., Doligez, D., Frisch, A., Garrigue, J., R\u00e9my, D., Vouillon, J.: The OCaml system release 3.12. documentation and user\u2019s manual (July 2011), \n                    \n                      http:\/\/caml.inria.fr\/pub\/docs\/manual-ocaml\/index.html"},{"key":"8_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45949-9","volume-title":"Isabelle\/HOL","author":"T. Nipkow","year":"2002","unstructured":"Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle\/HOL. LNCS, vol.\u00a02283. Springer, Heidelberg (2002), \n                    \n                      http:\/\/isabelle.in.tum.de"},{"key":"8_CR19","unstructured":"Odersky, M., Altherr, P., Cremet, V., Emir, B., Maneth, S., Micheloud, S., Mihaylov, N., Schinz, M., Stenman, E., Zenger, M.: An Overview of the Scala Programming Language. Tech. Rep. IC\/2004\/64, EPFL Lausanne, Switzerland (2007)"},{"key":"8_CR20","unstructured":"OMG: Meta Object Facility (MOF) Core v. 2.0 Document (2006), \n                    \n                      http:\/\/www.omg.org"},{"key":"8_CR21","volume-title":"Haskell 98 language and libraries : the revised report","author":"S. Peyton-Jones","year":"2003","unstructured":"Peyton-Jones, S.: Haskell 98 language and libraries: the revised report. Cambridge University Press, Cambridge (2003), \n                    \n                      http:\/\/www.worldcat.org\/isbn\/9780521826143"},{"issue":"5","key":"8_CR22","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1109\/MS.2003.1231146","volume":"20","author":"B. Selic","year":"2003","unstructured":"Selic, B.: The pragmatics of model-driven development. IEEE Software\u00a020(5), 19\u201325 (2003)","journal-title":"IEEE Software"},{"key":"8_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-642-12261-3_16","volume-title":"Models in Software Engineering","author":"S.M.A. Shah","year":"2010","unstructured":"Shah, S.M.A., Anastasakis, K., Bordbar, B.: From UML to Alloy and Back Again. In: Ghosh, S. (ed.) MODELS 2009. LNCS, vol.\u00a06002, pp. 158\u2013171. Springer, Heidelberg (2010)"},{"key":"8_CR24","unstructured":"Steele, G.L.: Common LISP, 2nd edn. Digital Press (1990)"},{"key":"8_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/11663430_17","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"M. Wimmer","year":"2006","unstructured":"Wimmer, M., Kramler, G.: Bridging Grammarware and Modelware. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol.\u00a03844, pp. 159\u2013168. Springer, Heidelberg (2006)"}],"container-title":["Communications in Computer and Information Science","ICT in Education, Research, and Industrial Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35737-4_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T02:51:45Z","timestamp":1558407105000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35737-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642357367","9783642357374"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35737-4_8","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2013]]}}}