{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T09:51:52Z","timestamp":1725529912803},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642004339"},{"type":"electronic","value":"9783642004346"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-00434-6_19","type":"book-chapter","created":{"date-parts":[[2009,3,23]],"date-time":"2009-03-23T08:02:29Z","timestamp":1237795349000},"page":"305-321","source":"Crossref","is-referenced-by-count":1,"title":["Sudoku \u2013 A Language Description Case Study"],"prefix":"10.1007","author":[{"given":"Terje","family":"Gj\u00f8s\u00e6ter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ingelin F.","family":"Isfeldt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Prinz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","volume-title":"The Java Developer\u2019s Guide to Eclipse","author":"J. d\u2019Anjou","year":"2004","unstructured":"d\u2019Anjou, J., Fairbrother, S., Kehn, D., Kellermann, J., McCarthy, P.: The Java Developer\u2019s Guide to Eclipse. Addison-Wesley, Reading (2004)"},{"key":"19_CR2","unstructured":"Microsoft: Introducing Visual Studio, \n                      \n                        http:\/\/msdn2.microsoft.com\/en-us\/library\/fx6bk1f4VS.80.aspx"},{"key":"19_CR3","unstructured":"Isfeldt, I.F.: A metamodel for sudoku. Master\u2019s thesis, University of Agder (2008), \n                      \n                        http:\/\/student.grm.hia.no\/master\/ikt07\/ikt590\/g01"},{"key":"19_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-74984-4_1","volume-title":"SDL 2007: Design for Dependable Systems","author":"A. Prinz","year":"2007","unstructured":"Prinz, A., Scheidgen, M., Tveit, M.S.: A Model-Based Standard for SDL. In: Gaudin, E., Najm, E., Reed, R. (eds.) SDL 2007. LNCS, vol.\u00a04745, pp. 1\u201318. Springer, Heidelberg (2007)"},{"key":"19_CR5","unstructured":"Kleppe, A.: A language is more than a metamodel. In: ATEM 2007 workshop (2007), \n                      \n                        http:\/\/megaplanet.org\/atem2007\/ATEM2007-18.pdf"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"Delahaye, J.P.: The science behind sudoku. Scientific American, 80\u201387 (June 2006)","DOI":"10.1038\/scientificamerican0606-80"},{"key":"19_CR7","volume-title":"Programming Languages Concepts and Constructs","author":"R. Sethi","year":"1996","unstructured":"Sethi, R.: Programming Languages Concepts and Constructs. Addison-Wesley, Reading (1996)"},{"key":"19_CR8","unstructured":"OMG (ed.): Revised Submission to OMG RFP ad\/2003-04-07: Meta Object Facility (MOF) 2.0 Core Proposal. Technical report, Object Management Group (April 2003), \n                      \n                        http:\/\/www.omg.org\/docs\/formal\/06-01-01.pdf"},{"key":"19_CR9","unstructured":"OMG: OCL 2.0 Specification. Object Management Group (June 2005)ptc\/2005-06-06"},{"key":"19_CR10","unstructured":"Scheidgen, M.: Textual Editing Framework, \n                      \n                        http:\/\/www2.informatik.hu-berlin.de\/sam\/meta-tools\/tef\/documentation.html"},{"key":"19_CR11","unstructured":"GMF developers: Eclipse Graphical Modeling Framework, \n                      \n                        http:\/\/www.eclipse.org\/gmf"},{"key":"19_CR12","unstructured":"Griffin, C.: Using EMF. Technical report, IBM: Eclipse Corner Article (2003), \n                      \n                        http:\/\/www.eclipse.org\/articles\/Article-UsingEMF\/using-emf.html\n                      \n                      \n                    ."},{"key":"19_CR13","series-title":"Object Technology Series","volume-title":"MDA explained: the model driven architecture: practice and promise.","author":"A. Kleppe","year":"2003","unstructured":"Kleppe, A., Warmer, J., Bast, W.: MDA explained: the model driven architecture: practice and promise. Object Technology Series. Addison \u2013 Wesley, Reading (2003)"},{"key":"19_CR14","unstructured":"OMG: Meta Object Facility (MOF) 2.0 Query\/View\/Transformation Specification Final Adopted Specification ptc\/05-11-01. OMG document, Object Management Group (2005), \n                      \n                        http:\/\/www.omg.org\/docs\/ptc\/05-11-01.pdf"},{"key":"19_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines","author":"E. B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines. Springer, Heidelberg (2003)"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"Scheidgen, M., Fischer, J.: Human comprehensible and machine processable specifications of operational semantics. In: European Conference on Model Driven Architecture: Foundations and Applications (2007)","DOI":"10.1007\/978-3-540-72901-3_12"}],"container-title":["Lecture Notes in Computer Science","Software Language Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00434-6_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,7]],"date-time":"2019-03-07T00:58:04Z","timestamp":1551920284000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00434-6_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642004339","9783642004346"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00434-6_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}