{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,29]],"date-time":"2025-03-29T04:15:33Z","timestamp":1743221733811,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642304750"},{"type":"electronic","value":"9783642304767"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30476-7_10","type":"book-chapter","created":{"date-parts":[[2012,5,25]],"date-time":"2012-05-25T15:29:43Z","timestamp":1337959783000},"page":"152-159","source":"Crossref","is-referenced-by-count":10,"title":["Traceability Visualization in Model Transformations with TraceVis"],"prefix":"10.1007","author":[{"given":"Marcel F.","family":"van Amstel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark G. J.","family":"van den Brand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Serebrenik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"van Amstel, M.F., van den Brand, M.G.J., Engelen, L.J.P.: An Exercise in Iterative Domain-Specific Language Design. In: IWPSE-EVOL, pp. 48\u201357. ACM (2010)","DOI":"10.1145\/1862372.1862386"},{"key":"10_CR2","unstructured":"van Amstel, M.F., Serebrenik, A., van den Brand, M.G.J.: Visualizing Traceability in Model Transformation Compositions. In: Pre-proceedings of the First Workshop on Composition and Evolution of Model Transformations (2011)"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Arnold, R.S., Bohner, S.A.: Impact Analysis \u2013 Towards A Framework for Comparison. In: Card, D.N. (ed.) ICSM, pp. 292\u2013301. IEEE CS (September 1993)","DOI":"10.1109\/ICSM.1993.366933"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Barros, S., Bodhuin, T., Escudie, A., Queille, J.P., Voidrot, J.F.: Supporting Impact Analysis: A Semi-Automated Technique and Associated Tool. In: ICSM, pp. 42\u201351. IEEE CS (1995)","DOI":"10.1109\/ICSM.1995.526526"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Bohner, S.A.: Extending Software Change Impact Analysis into COTS Components. In: Proceedings of the 27th Annual NASA Goddard\/IEEE Software Engineering Workshop (SEW-27 2002), pp. 175\u2013182. IEEE CS (2002)","DOI":"10.1109\/SEW.2002.1199468"},{"key":"10_CR6","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1145\/1868281","volume-title":"LDTA","author":"M.G.J. Brand van den","year":"2010","unstructured":"van den Brand, M.G.J., van der Meer, A.P., Serebrenik, A., Hofkamp, A.T.: Formally specified type checkers for domain specific languages: experience report. In: LDTA, pp. 12:1\u201312:7. ACM, New York (2010)"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Brandic, I., Dustdar, S., Anstett, T., Schumm, D., Leymann, F., Konrad, R.: Compliant Cloud Computing (C3): Architecture and Language Support for User-Driven Compliance Management in Clouds. In: CLOUD, pp. 244\u2013251. IEEE CS (2010)","DOI":"10.1109\/CLOUD.2010.42"},{"issue":"5-6","key":"10_CR8","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1016\/S0747-7171(06)80004-0","volume":"15","author":"A. Deursen van","year":"1993","unstructured":"van Deursen, A., Klint, P., Tip, F.: Origin Tracking. Journal of Symbolic Computation\u00a015(5-6), 523\u2013545 (1993)","journal-title":"Journal of Symbolic Computation"},{"issue":"6","key":"10_CR9","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":"10_CR10","unstructured":"Eclipse Foundation: ATL Transformations, http:\/\/www.eclipse.org\/m2m\/atl\/atlTransformations\/"},{"key":"10_CR11","unstructured":"Falleri, J.R., Huchard, M., Nebut, C.: Towards a traceability framework for model transformations in kermeta. In: ECMDA-TW Workshop, pp. 31\u201340 (2006)"},{"issue":"5","key":"10_CR12","doi-asserted-by":"publisher","first-page":"741","DOI":"10.1109\/TVCG.2006.147","volume":"12","author":"D. Holten","year":"2006","unstructured":"Holten, D.: Hierarchical edge bundles: Visualization of adjacency relations in hierarchical data. IEEE Trans. Vis. Comput. Graph.\u00a012(5), 741\u2013748 (2006)","journal-title":"IEEE Trans. Vis. Comput. Graph."},{"key":"10_CR13","unstructured":"Jouault, F.: Loosely Coupled Traceability for ATL. In: ECMDA (2005)"},{"key":"10_CR14","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1007\/978-3-642-19440-5_17","volume-title":"Software Language Engineering","author":"R. Mannadiar","year":"2011","unstructured":"Mannadiar, R., Vangheluwe, H.: Debugging in Domain-Specific Modelling. In: Malloy, B., Staab, S., van den Brand, M. (eds.) SLE 2010. LNCS, vol.\u00a06563, pp. 276\u2013285. Springer, Heidelberg (2011)"},{"key":"10_CR15","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1145\/1118890.1118892","volume":"37","author":"M. Mernik","year":"2005","unstructured":"Mernik, M., Heering, J., Sloane, A.M.: When and how to develop domain-specific languages. ACM Computing Surveys\u00a037, 316\u2013344 (2005)","journal-title":"ACM Computing Surveys"},{"key":"10_CR16","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-540-69100-6_2","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"J. Pilgrim von","year":"2008","unstructured":"von Pilgrim, J., Vanhooff, B., Schulz-Gerlach, I., Berbers, Y.: Constructing and Visualizing Transformation Chains. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol.\u00a05095, pp. 17\u201332. Springer, Heidelberg (2008)"},{"key":"10_CR17","unstructured":"van Ravensteijn, W.J.P.: Visual Traceability across Dynamic Ordered Hierarchies. Master\u2019s thesis, Eindhoven Univ. of Technology, The Netherlands (2011)"},{"issue":"5","key":"10_CR18","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/MS.2003.1231150","volume":"20","author":"S. Sendall","year":"2003","unstructured":"Sendall, S., Kozaczynski, W.: Model Transformation: The Heart and Soul of Model-Driven Software Development. IEEE Software\u00a020(5), 42\u201345 (2003)","journal-title":"IEEE Software"},{"key":"10_CR19","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/3-540-58179-0_67","volume-title":"Computer Aided Verification","author":"O. Sokolsky","year":"1994","unstructured":"Sokolsky, O., Smolka, S.: Incremental Model Checking in the Modal \u03bc-Calculus. In: Dill, D. (ed.) CAV 1994. LNCS, vol.\u00a0818, pp. 351\u2013363. Springer, Heidelberg (1994)"}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Model Transformations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30476-7_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T21:24:21Z","timestamp":1743197061000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30476-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642304750","9783642304767"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30476-7_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}