{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:53:21Z","timestamp":1725893601123},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336089"},{"type":"electronic","value":"9783642336096"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-33609-6_7","type":"book-chapter","created":{"date-parts":[[2012,9,25]],"date-time":"2012-09-25T18:58:43Z","timestamp":1348599523000},"page":"55-66","source":"Crossref","is-referenced-by-count":2,"title":["Integrating a Formal Development for DSLs into Meta-modeling"],"prefix":"10.1007","author":[{"given":"Selma","family":"Djeddai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Strecker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Mezghiche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","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":"7_CR2","unstructured":"Baklanova, N., Strecker, M., F\u00e9raud, L.: Resource sharing conflicts checking in multithreaded Java programs (April 2012), \n                    \n                      http:\/\/www.irit.fr\/~Nadezhda.Baklanova\/papers\/FAC2012.pdf"},{"key":"7_CR3","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)"},{"key":"7_CR4","unstructured":"Budinsky, F., Brodsky, S.A., Merks, Ed.: Eclipse Modeling Framework. Pearson Education (2003)"},{"key":"7_CR5","unstructured":"de Lara, J., Vangheluwe, H.: Using AToM3 as a meta-case tool. In: ICEIS, pp. 642\u2013649 (2002)"},{"key":"7_CR6","unstructured":"Djeddai, S., Mezghiche, M., Strecker, M.: A case study in combining formal verification and model-driven engineering. In: Ermolayev, V., Mayr, H.C., Nikitchenko, M., Spivakovsky, A., Zholtkevych, G., Zavileysky, M., Kobets, V. (eds.) ICTERI, CEUR Workshop Proceedings, vol.\u00a0848, pp. 275\u2013289 (2012), \n                    \n                      CEUR-WS.org"},{"key":"7_CR7","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 plug-ins. In: Proceedings of the 20th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2005, pp. 134\u2013143. ACM, New York (2005)"},{"issue":"7","key":"7_CR8","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":"7_CR9","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":"7_CR10","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/978-3-642-01862-6_20","volume-title":"Enterprise, Business-Process and Information Systems Modeling","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.) Enterprise, Business-Process and Information Systems Modeling. LNBIP, vol.\u00a029, pp. 237\u2013250. Springer, Heidelberg (2009)"},{"key":"7_CR11","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":"7_CR12","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":"7_CR13","doi-asserted-by":"crossref","unstructured":"Nipkow, T., Paulson, L., Wenzel, M.: Isabelle\/HOL. A Proof Assistant for Higher-Order Logic. LNCS 2283. Springer, Heidelberg (2002)","DOI":"10.1007\/3-540-45949-9"},{"key":"7_CR14","unstructured":"OMG. Meta Object Facility (MOF) Core v. 2.0 Document (2006)"},{"issue":"5","key":"7_CR15","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":"7_CR16","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":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"408","DOI":"10.1007\/978-3-540-88643-3_10","volume-title":"Generative and Transformational Techniques in Software Engineering II","author":"P. Stevens","year":"2008","unstructured":"Stevens, P.: A Landscape of Bidirectional Model Transformations. In: L\u00e4mmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2007. LNCS, vol.\u00a05235, pp. 408\u2013424. Springer, Heidelberg (2008)"},{"key":"7_CR18","unstructured":"Caml programming language website, \n                    \n                      http:\/\/caml.inria.fr"},{"key":"7_CR19","unstructured":"Coq proof assistant website, \n                    \n                      http:\/\/coq.inria.fr\/"},{"issue":"6","key":"7_CR20","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"}],"container-title":["Lecture Notes in Computer Science","Model and Data Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33609-6_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T21:22:57Z","timestamp":1558300977000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33609-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336089","9783642336096"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33609-6_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}