{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T05:26:17Z","timestamp":1743139577317,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642226724"},{"type":"electronic","value":"9783642226731"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-22673-1_12","type":"book-chapter","created":{"date-parts":[[2011,7,13]],"date-time":"2011-07-13T11:49:15Z","timestamp":1310557755000},"page":"164-179","source":"Crossref","is-referenced-by-count":4,"title":["Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics"],"prefix":"10.1007","author":[{"given":"Serge","family":"Autexier","sequence":"first","affiliation":[]},{"given":"Catalin","family":"David","sequence":"additional","affiliation":[]},{"given":"Dominik","family":"Dietrich","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Kohlhase","sequence":"additional","affiliation":[]},{"given":"Vyacheslav","family":"Zholudev","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Autexier, S., M\u00fcller, N.: Semantics-Based Change Impact Analysis for Heterogeneous Collections of Documents. In: Gormish, M., Ingold, R. (eds.) Proceedings of 10th ACM Symposium on Document Engineering (DocEng 2010), Manchester, UK (2010)","DOI":"10.1145\/1860559.1860580"},{"key":"12_CR2","unstructured":"Bohner, S.A.: A graph traceability approach for software change impact analysis. PhD thesis. George Mason University, Fairfax, VA, USA (1995)"},{"key":"12_CR3","unstructured":"David, C., et al.: eMath 3.0: Building Blocks for a social and semantic Web for online mathematics & ELearning. In: Mierlus-Mazilu, I. (ed.) 1st International Workshop on Mathematics and ICT: Education, Research and Applications, Bucharest, Romania (November 3, 2010)"},{"key":"12_CR4","unstructured":"Deolalikar P vs NP paper, http:\/\/michaelnielsen.org\/polymath1\/index.php?title=Deolalikar_P_vs_NP_paper&oldid=3654 (visited on 11\/03\/2010)"},{"key":"12_CR5","unstructured":"DocTIP: Document and Tool Integration Platform, http:\/\/www.informatik.uni-bremen.de\/agbkb\/forschung\/formal_methods\/DocTIP\/ (visited on 11\/30\/2010)"},{"key":"12_CR6","unstructured":"General Computer Science: GenCS I\/II Lecture Notes. Semantic Course Notes in Panta Rhei (2011), http:\/\/gencs.kwarc.info\/book\/1"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Ginev, D., Stamerjohanns, H., Kohlhase, M.: The LaTeXML Daemon: Editable Math on the Collaborative Web. Intelli- gent Computer Mathematics (accepted, 2011)","DOI":"10.1007\/978-3-642-22673-1_25"},{"key":"12_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-05258-3_1","volume-title":"MICAI 2009: Advances in Artificial Intelligence","author":"D. Hutter","year":"2009","unstructured":"Hutter, D.: Semantic Management of Heterogeneous Documents (Invited Talk). In: Aguirre, A.H., Borja, R.M., Garci\u00e1, C.A.R. (eds.) MICAI 2009. LNCS, vol.\u00a05845, pp. 1\u201314. Springer, Heidelberg (2009)"},{"key":"12_CR9","unstructured":"Hwang, Y.-F.: Detecting faults in chained-inference rules in information distribution systems. PhD thesis. George Mason University, Fairfax, VA, USA (1998)"},{"issue":"3","key":"12_CR10","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/s10009-010-0148-8","volume":"12","author":"E. Jakumeit","year":"2010","unstructured":"Jakumeit, E., Buchwald, S., Kroll, M.: GrGen.NET. International Journal on Software Tools for Technology Transfer (STTT)\u00a012(3), 263\u2013271 (2010)","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Jarke, M.: Requirements Tracing. Communication of the ACM\u00a041(12) (1998)","DOI":"10.1145\/290133.290145"},{"key":"12_CR12","first-page":"335","volume-title":"Proceedings of the Conference on Software Maintenance","author":"J. Keables","year":"1988","unstructured":"Keables, J., Roberson, K., von Mayrhauser, A.: Data Flow Analysis and its Application to Software Maintenance. In: Proceedings of the Conference on Software Maintenance, pp. 335\u2013347. IEEE CS Press, Los Alamitos (1988)"},{"key":"12_CR13","unstructured":"Kohlhase, A., Kohlhase, M.: Maintaining Islands of Consistency via Versioned Links"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Kohlhase, M., et al.: The Planetary System: Web 3.0 & Active Documents for STEM. Accepted for publication at ICCS 2011 (Finalist at the Executable Papers Challenge) (2011)","DOI":"10.1016\/j.procs.2011.04.063"},{"issue":"3","key":"12_CR15","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1016\/0164-1212(90)90094-3","volume":"13","author":"B. Korel","year":"1990","unstructured":"Korel, B., Laski, J.: Dynamic slicing of computer programs. The Journal of Systems and Software\u00a013(3), 164\u20131212 (1990), http:\/\/dx.doi.org\/ , doi:10.1016\/0164-1212, ISSN: 0164-1212","journal-title":"The Journal of Systems and Software"},{"key":"12_CR16","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1109\/ICSM.1993.366934","volume-title":"ICSM 1993: Proceedings of the Conference on Software Maintenance","author":"J.P. Loyall","year":"1993","unstructured":"Loyall, J.P., Mathisen, S.A.: Using Dependence Analysis to Support the Software Maintenance Process. In: ICSM 1993: Proceedings of the Conference on Software Maintenance, pp. 282\u2013291. IEEE Computer Society, Washington, DC, USA (1993) ISBN: 0-8186-4600-4"},{"key":"12_CR17","unstructured":"rcm2 Ltd. DOORS - Dynamic Object-Oriented Requirements System, http:\/\/www.rcm2.co.uk"},{"key":"12_CR18","unstructured":"M\u00fcller, N.: Change Management on Semi-Structured Documents. PhD thesis. Jacobs University Bremen (2010)"},{"key":"12_CR19","unstructured":"Planetary Developer Forum, http:\/\/trac.mathweb.org\/planetary\/ (visited on 01\/20\/2011)"},{"key":"12_CR20","unstructured":"PlanetMath.org Math for the people, by the people, http:\/\/planetmath.org (visited on 01\/06\/2011)"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"Autexier, S., M\u00fcller, N.: Semantics-Based Change Impact Analysis for Heterogeneous Collections of Documents. In: Gormish, M., Ingold, R. (eds.) Proceedings of 10th ACM Symposium on Document Engineering (DocEng 2010), Manchester, UK (2010)","DOI":"10.1145\/1860559.1860580"},{"key":"12_CR22","unstructured":"The ActiveMath System, http:\/\/www.activemath.org\/ (visited on 03\/11\/2011)"},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"White, L.J.: A Firewall Concept for both Control- Flow and Data- Flow in Regression Integration Testing. IEEE Trans. on Software Engineering, 171\u2013262 (1992)","DOI":"10.1109\/ICSM.1992.242535"},{"key":"12_CR24","unstructured":"Zholudev, V., Kohlhase, M.: TNTBase: a Versioned Storage for XML. In: Proceedings of Balisage: The Markup Conference 2009. Balisage Series on Markup Technologies. Mulberry Technologies, Inc., (2009), http:\/\/kwarc.info\/ vzholudev\/pubs\/balisage.pdf"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22673-1_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,7]],"date-time":"2025-03-07T02:29:38Z","timestamp":1741314578000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22673-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642226724","9783642226731"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22673-1_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}