{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:07:02Z","timestamp":1725473222721},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540457725"},{"type":"electronic","value":"9783540457732"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11880240_9","type":"book-chapter","created":{"date-parts":[[2006,11,22]],"date-time":"2006-11-22T04:14:47Z","timestamp":1164168887000},"page":"111-125","source":"Crossref","is-referenced-by-count":15,"title":["Correctly Defined Concrete Syntax for Visual Modeling Languages"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Baar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","series-title":"Object Technology Series","volume-title":"The Unified Modeling Language Reference Manual","author":"J. Rumbaugh","year":"2005","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual, 2nd edn. Object Technology Series. Addison-Wesley, Reading (2005)","edition":"2"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/11581741_15","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"F. Fondement","year":"2005","unstructured":"Fondement, F., Baar, T.: Making metamodels aware of concrete syntax. In: Hartman, A., Kreische, D. (eds.) ECMDA-FA 2005. LNCS, vol.\u00a03748, pp. 190\u2013204. Springer, Heidelberg (2005)"},{"key":"9_CR3","unstructured":"Detlefs, D.L., Nelson, G., Saxe, J.: Simplify: the ESC theorem prover. Technical report, DEC (1996)"},{"key":"9_CR4","unstructured":"OMG. Unified Modeling Language: Diagram interchange version 2.0. Convenience Document ptc\/05-06-04 (June 2005)"},{"issue":"6","key":"9_CR5","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1006\/jvlc.2002.0234","volume":"13","author":"G. Costagliola","year":"2002","unstructured":"Costagliola, G., De Lucia, A., Orefice, S., Polese, G.: A classification framework to support the design of visual languages. Journal of Visual Languages and Computing\u00a013(6), 573\u2013600 (2002)","journal-title":"Journal of Visual Languages and Computing"},{"key":"9_CR6","unstructured":"Rohrer, F., Helg, F.: Synchronization between display objects and representation templates in graphical language construction. Minor thesis at Software Engineering Laboratory of EPFL (2006), Available from \n                    \n                      http:\/\/lglpc35.epfl.ch\/lgl\/members\/fondement\/projects\/probxs\/HelgRohrer.pdf"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/3-540-59071-4_45","volume-title":"Graph-Theoretic Concepts in Computer Science","author":"A. Sch\u00fcrr","year":"1995","unstructured":"Sch\u00fcrr, A.: Specification of graph translators with triple graph grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol.\u00a0903, pp. 151\u2013163. Springer, Heidelberg (1995)"},{"key":"9_CR8","unstructured":"Pressburger, M.: \u00dcber de vollst\u00e4ndigkeit eines gewissen systems der arithmetik ganzer zahlen, in welchen, die addition als einzige operation hervortritt. Sprawozdanie z I Kongresu Matematikow Krajow Slowcanskich Warszawa, pp. 92\u2013101 (1929)"},{"key":"9_CR9","unstructured":"Beckert, B., H\u00e4hnle, R., Schmitt, P.H.: The KeY Book \u2013 The Road to Verified Software. Springer, Heidelberg (to appear, 2006)"},{"key":"9_CR10","series-title":"Electronic Notes in Theoretical Computer Science","first-page":"113","volume-title":"Proceedings of the SegraVis School on Foundations of Visual Modelling Techniques","author":"A. K\u00f6nigs","year":"2006","unstructured":"K\u00f6nigs, A., Sch\u00fcrr, A.: Tool Integration with Triple Graph Grammars - A Survey. In: Heckel, R. (ed.) Proceedings of the SegraVis School on Foundations of Visual Modelling Techniques. Electronic Notes in Theoretical Computer Science, vol.\u00a0148, pp. 113\u2013150. Elsevier Science Publ., Amsterdam (2006)"},{"key":"9_CR11","first-page":"186","volume-title":"Proceedings of 10th Asia-Pacific Software Engineering Conference (APSEC 2003)","author":"Y. Xia","year":"2003","unstructured":"Xia, Y., Glinz, M.: Rigorous EBNF-based definition for a graphic modeling language. In: Proceedings of 10th Asia-Pacific Software Engineering Conference (APSEC 2003), pp. 186\u2013196. IEEE Computer Society Press, Los Alamitos (2003)"},{"issue":"6","key":"9_CR12","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1016\/S0306-4379(02)00015-7","volume":"27","author":"M. Glinz","year":"2002","unstructured":"Glinz, M., Berner, S., Joos, S.: Object-oriented modeling with ADORA. Information Systems\u00a027(6), 425\u2013444 (2002)","journal-title":"Information Systems"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11880240_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:27:17Z","timestamp":1619494037000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11880240_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540457725","9783540457732"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11880240_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}