{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:01:51Z","timestamp":1725494511292},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642341755"},{"type":"electronic","value":"9783642341762"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34176-2_10","type":"book-chapter","created":{"date-parts":[[2012,10,1]],"date-time":"2012-10-01T05:56:59Z","timestamp":1349071019000},"page":"97-104","source":"Crossref","is-referenced-by-count":1,"title":["Tool Demonstration of the Transformation Judge"],"prefix":"10.1007","author":[{"given":"Steffen","family":"Mazanek","sequence":"first","affiliation":[]},{"given":"Christian","family":"Rutetzki","sequence":"additional","affiliation":[]},{"given":"Mark","family":"Minas","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Csert\u00e1n, G., Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., Varr\u00f3, D.: VIATRA \u2013 Visual automated transformations for formal verification and validation of UML models. In: 17th IEEE International Conference on Automated Software Engineering (ASE 2002), pp. 267\u2013270. IEEE Computer Society (2002)","DOI":"10.1109\/ASE.2002.1115027"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Ebert, J.: Metamodels taken seriously: The TGraph approach. In: Proc. of the 12th European Conference on Software Maintenance and Reengineering, CSMR 2008, p. 2. IEEE (April 2008)","DOI":"10.1109\/CSMR.2008.4493294"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Horn, T.: Saying Hello World with GReTL \u2013 A solution to the TTC 2011, instructive case. In: Van Gorp et\u00a0al. [11]","DOI":"10.4204\/EPTCS.74.24"},{"issue":"1-2","key":"10_CR4","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.scico.2007.08.002","volume":"72","author":"F. Jouault","year":"2008","unstructured":"Jouault, F., Allilaire, F., B\u00e9zivin, J., Kurtev, I.: ATL: A model transformation tool. Science of Computer Programming\u00a072(1-2), 31\u201339 (2008)","journal-title":"Science of Computer Programming"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-540-69927-9_4","volume-title":"Theory and Practice of Model Transformations","author":"D.S. Kolovos","year":"2008","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.A.C.: The Epsilon Transformation Language. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol.\u00a05063, pp. 46\u201360. Springer, Heidelberg (2008)"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/978-3-540-78139-4_31","volume-title":"Advances in Web Based Learning \u2013 ICWL 2007","author":"A. Kosowski","year":"2008","unstructured":"Kosowski, A., Ma\u0142afiejski, M., Noi\u0144ski, T.: Application of an Online Judge & Contester System in Academic Tuition. In: Leung, H., Li, F., Lau, R., Li, Q. (eds.) ICWL 2007. LNCS, vol.\u00a04823, pp. 343\u2013354. Springer, Heidelberg (2008)"},{"key":"10_CR7","unstructured":"Mazanek, S.: Hello world! An instructive case for the Transformation Tool Contest. In: Van Gorp et\u00a0al. [11], http:\/\/sites.google.com\/site\/helloworldcase\/"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Mazanek, S., Rutetzki, C.: On the importance of model comparison tools for the automatic evaluation of the correctness of model transformations. In: Proceedings of the 2nd International Workshop on Model Comparison in Practice, pp. 12\u201315. ACM (2011)","DOI":"10.1145\/2000410.2000413"},{"key":"10_CR9","first-page":"43","volume":"4","author":"A. M\u00fclder","year":"2009","unstructured":"M\u00fclder, A., Schill, H., Wendehals, L.: Modellvergleich mit EMF Compare \u2013 Teil\u00a01: Funktionsweise des Frameworks. Eclipse Magazin\u00a04, 43\u201347 (2009)","journal-title":"Eclipse Magazin"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-3-642-00434-6_15","volume-title":"Software Language Engineering","author":"B. Sch\u00e4tz","year":"2009","unstructured":"Sch\u00e4tz, B.: Formalization and Rule-Based Transformation of EMF Ecore-Based Models. In: Ga\u0161evi\u0107, D., L\u00e4mmel, R., Van Wyk, E. (eds.) SLE 2008. LNCS, vol.\u00a05452, pp. 227\u2013244. Springer, Heidelberg (2009)"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Van Gorp, P., Mazanek, S., Rose, L. (eds.): Proc. of the Fifth Transformation Tool Contest, Z\u00fcrich, Switzerland. Electronic Proceedings in Theoretical Computer Science, vol.\u00a074 (2011)","DOI":"10.4204\/EPTCS.74.0"},{"key":"10_CR12","unstructured":"Varr\u00f3, G., Sch\u00fcrr, A., Varr\u00f3, D.: Benchmarking for Graph Transformation. In: Erwig, M., Sch\u00fcrr, A. (eds.) Proc. IEEE Symposium on Visual Languages, pp. 79\u2013100. IEEE Computer Society Press (2005)"}],"container-title":["Lecture Notes in Computer Science","Applications of Graph Transformations with Industrial Relevance"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34176-2_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,29]],"date-time":"2024-04-29T22:49:13Z","timestamp":1714430953000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34176-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642341755","9783642341762"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34176-2_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}