{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T09:49:26Z","timestamp":1725702566409},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642340253"},{"type":"electronic","value":"9783642340260"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34026-0_18","type":"book-chapter","created":{"date-parts":[[2012,9,25]],"date-time":"2012-09-25T21:07:20Z","timestamp":1348607240000},"page":"238-252","source":"Crossref","is-referenced-by-count":1,"title":["SmartTies \u2013 Management of Safety-Critical Developments"],"prefix":"10.1007","author":[{"given":"Serge","family":"Autexier","sequence":"first","affiliation":[]},{"given":"Dominik","family":"Dietrich","sequence":"additional","affiliation":[]},{"given":"Dieter","family":"Hutter","sequence":"additional","affiliation":[]},{"given":"Christoph","family":"L\u00fcth","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Maeder","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Autexier, S., David, C., Dietrich, D., Kohlhase, M., Zholudev, V.: Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics. In: Conferences on Intelligent Computer Mathematics, CICM 2011 (2011)","DOI":"10.1007\/978-3-642-22673-1_12"},{"key":"18_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/978-3-540-32254-2_24","volume-title":"Mechanizing Mathematical Reasoning","author":"D. Hutter","year":"2005","unstructured":"Hutter, D., Autexier, S.: Formal Software Development in MAYA. In: Hutter, D., Stephan, W. (eds.) Mechanizing Mathematical Reasoning. LNCS (LNAI), vol.\u00a02605, pp. 407\u2013432. Springer, Heidelberg (2005)"},{"key":"18_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-642-16265-7_6","volume-title":"Integrated Formal Methods","author":"S. Autexier","year":"2010","unstructured":"Autexier, S., L\u00fcth, C.: Adding Change Impact Analysis to the Formal Verification of C Programs. In: M\u00e9ry, D., Merz, S. (eds.) IFM 2010. LNCS, vol.\u00a06396, pp. 59\u201373. Springer, Heidelberg (2010)"},{"key":"18_CR4","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.) Proc. 10th ACM Symposium on Document Engineering, DocEng 2010 (2010)","DOI":"10.1145\/1860559.1860580"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Beck, K.: Embracing change with extreme programming. IEEE Computer\u00a032(10) (1999)","DOI":"10.1109\/2.796139"},{"issue":"3","key":"18_CR6","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1016\/j.jss.2005.05.001","volume":"79","author":"L.C. Briand","year":"2006","unstructured":"Briand, L.C., Labiche, Y., O\u2019Sullivan, L., S\u00f3wka, M.M.: Automated impact analysis of UML models. Journal of Systems and Software\u00a079(3), 339\u2013352 (2006)","journal-title":"Journal of Systems and Software"},{"key":"18_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/11841883_27","volume-title":"Graph Transformations","author":"R. Gei\u00df","year":"2006","unstructured":"Gei\u00df, R., Batz, G.V., Grund, D., Hack, S., Szalkowski, A.M.: GrGen: A Fast SPO-Based Graph Rewriting Tool. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol.\u00a04178, pp. 383\u2013397. Springer, Heidelberg (2006)"},{"key":"18_CR8","series-title":"LNAI","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. In: Aguirre, A.H., Borja, R.M., Garci\u00e1, C.A.R. (eds.) MICAI 2009. LNCS (LNAI), vol.\u00a05845, pp. 1\u201314. Springer, Heidelberg (2009)"},{"key":"18_CR9","unstructured":"IBM. Rational DOORS, \n                    \n                      http:\/\/www-01.ibm.com\/software\/awdtools\/doors\/"},{"key":"18_CR10","unstructured":"IEC: IEC\u00a061508 \u2013 Functional safety of electrical\/electronic\/programmable electronic safety-related systems. IEC, Geneva, Switzerland (2000)"},{"issue":"1-2","key":"18_CR11","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1016\/j.jlap.2005.09.005","volume":"67","author":"T. Mossakowski","year":"2006","unstructured":"Mossakowski, T., Autexier, S., Hutter, D.: Development graphs \u2013 proof management for structured specifications. Journal of Logic and Algebraic Programming\u00a067(1-2), 114\u2013145 (2006)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"18_CR12","first-page":"1","volume":"1","author":"C. Reichmann","year":"2011","unstructured":"Reichmann, C.: PREEVision - bridging the gap between electrical\/electronic and mechanical areas. Automobile Konstruktion\u00a01, 1\u20134 (2011)","journal-title":"Automobile Konstruktion"},{"key":"18_CR13","unstructured":"Royce, W.W.: Managing the development of large software systems: Concepts and techniques. In: ICSE, pp. 328\u2013339 (1987)"},{"key":"18_CR14","unstructured":"RTCA\/DO-178B: Software Considerations in Airborne Systems and Equipment Certification. RTCA, Inc., Washington, D.C. 20036 (1992)"},{"issue":"3","key":"18_CR15","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/s10514-011-9271-y","volume":"32","author":"H. T\u00e4ubig","year":"2012","unstructured":"T\u00e4ubig, H., Frese, U., Hertzberg, C., L\u00fcth, C., Mohr, S., Vorobev, E., Walter, D.: Guaranteeing functional safety: design for provability and computer-aided verification. Autonomous Robots\u00a032(3), 303\u2013331 (2012)","journal-title":"Autonomous Robots"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34026-0_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T08:41:16Z","timestamp":1620117676000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34026-0_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642340253","9783642340260"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34026-0_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}