{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,7]],"date-time":"2025-08-07T20:39:14Z","timestamp":1754599154424,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,5,14]],"date-time":"2016-05-14T00:00:00Z","timestamp":1463184000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,5,14]]},"DOI":"10.1145\/2896941.2896948","type":"proceedings-article","created":{"date-parts":[[2016,7,21]],"date-time":"2016-07-21T15:20:09Z","timestamp":1469114409000},"page":"5-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Towards applying a safety analysis and verification method based on STPA to agile software development"],"prefix":"10.1145","author":[{"given":"Yang","family":"Wang","sequence":"first","affiliation":[{"name":"University of Stuttgart, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Wagner","sequence":"additional","affiliation":[{"name":"University of Stuttgart, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,5,14]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"STAMP Conference at MIT","author":"Abdulkhaleq A.","year":"2013","unstructured":"A. Abdulkhaleq and S. Wagner . Experiences with applying STPA to software-intensive systems in the automotive domain . STAMP Conference at MIT , Boston, USA , 2013 . A. Abdulkhaleq and S. Wagner. Experiences with applying STPA to software-intensive systems in the automotive domain. STAMP Conference at MIT, Boston, USA, 2013."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/978-3-319-10557-4_44","volume-title":"Computer Safety, Reliability, and Security","author":"Abdulkhaleq A.","year":"2014","unstructured":"A. Abdulkhaleq and S. Wagner . A software safety verification method based on system-theoretic process analysis . In Computer Safety, Reliability, and Security , pages 401 -- 412 . Springer , 2014 . A. Abdulkhaleq and S. Wagner. A software safety verification method based on system-theoretic process analysis. In Computer Safety, Reliability, and Security, pages 401--412. Springer, 2014."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2745802.2745817"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24255-2_10"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.proeng.2015.11.498"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/942789.942828"},{"key":"e_1_3_2_1_8_1","volume-title":"Pearson Education","author":"Cohn M.","year":"2010","unstructured":"M. Cohn . Succeeding with agile: software development using Scrum . Pearson Education , 2010 . M. Cohn. Succeeding with agile: software development using Scrum. Pearson Education, 2010."},{"key":"e_1_3_2_1_9_1","first-page":"61508","article-title":"Functional safety of electrical\/electronic\/programmable electronic safety related systems","author":"I. E. Commission et al.","year":"2000","unstructured":"I. E. Commission et al. Functional safety of electrical\/electronic\/programmable electronic safety related systems . IEC 61508 , 2000 . I. E. Commission et al. Functional safety of electrical\/electronic\/programmable electronic safety related systems. IEC 61508, 2000.","journal-title":"IEC"},{"key":"e_1_3_2_1_10_1","first-page":"36","volume-title":"Proc. 1st South-East European Workshop on Formal Methods","author":"Eleftherakis G.","year":"2003","unstructured":"G. Eleftherakis and A. J. Cowling . An agile formal development methodology . In Proc. 1st South-East European Workshop on Formal Methods , pages 36 -- 47 , 2003 . G. Eleftherakis and A. J. Cowling. An agile formal development methodology. In Proc. 1st South-East European Workshop on Formal Methods, pages 36--47, 2003."},{"key":"e_1_3_2_1_11_1","volume-title":"Eleventh USA\/Europe Air Traffic Management Research and Development Seminar (ATM)","author":"Fleming C. H.","year":"2015","unstructured":"C. H. Fleming and N. G. Leveson . Including safety during early development phases of future air traffic management concepts . Eleventh USA\/Europe Air Traffic Management Research and Development Seminar (ATM) , 2015 . C. H. Fleming and N. G. Leveson. Including safety during early development phases of future air traffic management concepts. Eleventh USA\/Europe Air Traffic Management Research and Development Seminar (ATM), 2015."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.1075"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/AGILE.2010.10"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2013.6636706"},{"key":"e_1_3_2_1_15_1","volume-title":"A Guide for Safety Decision Makers","author":"Hardy T. L.","year":"2010","unstructured":"T. L. Hardy . Essential Questions in System Safety : A Guide for Safety Decision Makers . AuthorHouse , 2010 . T. L. Hardy. Essential Questions in System Safety: A Guide for Safety Decision Makers. AuthorHouse, 2010."},{"key":"e_1_3_2_1_16_1","volume-title":"The SPIN model checker: Primer and reference manual","author":"Holzmann G. J.","year":"2004","unstructured":"G. J. Holzmann . The SPIN model checker: Primer and reference manual , volume 1003 . Addison-Wesley Reading , 2004 . G. J. Holzmann. The SPIN model checker: Primer and reference manual, volume 1003. Addison-Wesley Reading, 2004."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/11586012_10"},{"key":"e_1_3_2_1_18_1","volume-title":"Engineering a safer world: Systems thinking applied to safety","author":"Leveson N.","year":"2011","unstructured":"N. Leveson . Engineering a safer world: Systems thinking applied to safety . Mit Press , 2011 . N. Leveson. Engineering a safer world: Systems thinking applied to safety. Mit Press, 2011."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2010.35"},{"key":"e_1_3_2_1_20_1","volume-title":"A practical guide to the most popular Agile process","author":"Rubin K. S.","year":"2012","unstructured":"K. S. Rubin . Essential Scrum : A practical guide to the most popular Agile process . Addison-Wesley , 2012 . K. S. Rubin. Essential Scrum: A practical guide to the most popular Agile process. Addison-Wesley, 2012."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2014.74029"},{"key":"e_1_3_2_1_22_1","volume-title":"The 16th International Conference on Agile Software Development (XP)","author":"St\u00e5alhane T.","year":"2015","unstructured":"T. St\u00e5alhane and T. Myklebust . Agile safety analysis-FMEA applied to user stories . The 16th International Conference on Agile Software Development (XP) , Helsinki , 2015 . T. St\u00e5alhane and T. Myklebust. Agile safety analysis-FMEA applied to user stories. The 16th International Conference on Agile Software Development (XP), Helsinki, 2015."},{"key":"e_1_3_2_1_23_1","first-page":"2014","article-title":"The application of Safe Scrum to IEC 61508 certifiable software","volume":"1","author":"St\u00e5alhane T.","year":"2012","unstructured":"T. St\u00e5alhane , T. Myklebust , and G. Hanssen . The application of Safe Scrum to IEC 61508 certifiable software . Haettu , 1 : 2014 , 2012 . T. St\u00e5alhane, T. Myklebust, and G. Hanssen. The application of Safe Scrum to IEC 61508 certifiable software. Haettu, 1:2014, 2012.","journal-title":"Haettu"},{"key":"e_1_3_2_1_24_1","volume-title":"ISO26262: Road vehicles-Functional safety","author":"Standard I.","year":"2011","unstructured":"I. Standard . ISO26262: Road vehicles-Functional safety . 2011 . I. Standard. ISO26262: Road vehicles-Functional safety. 2011."},{"key":"e_1_3_2_1_25_1","volume-title":"Limitations of agile software processes","author":"Turk D.","year":"2002","unstructured":"D. Turk , R. France , and B. Rumpe . Limitations of agile software processes . 2002 . D. Turk, R. France, and B. Rumpe. Limitations of agile software processes. 2002."},{"key":"e_1_3_2_1_26_1","volume-title":"Tampere University of Technology. Department of Software Systems","author":"Vuori M.","year":"2011","unstructured":"M. Vuori . Agile development of safety-critical software. Tampere University of Technology. Department of Software Systems ; 14, 2011 . M. Vuori. Agile development of safety-critical software. Tampere University of Technology. Department of Software Systems; 14, 2011."},{"key":"e_1_3_2_1_27_1","unstructured":"H. M. Works U. T. Logic and S. U. a Test-Harness. Modex 2.1 user guide.  H. M. Works U. T. Logic and S. U. a Test-Harness. Modex 2.1 user guide."}],"event":{"name":"ICSE '16: 38th International Conference on Software Engineering","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS\\DATC IEEE Computer Society","TCSE IEEE Computer Society's Tech. Council on Software Engin."],"location":"Austin Texas","acronym":"ICSE '16"},"container-title":["Proceedings of the International Workshop on Continuous Software Evolution and Delivery"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2896941.2896948","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2896941.2896948","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:39:05Z","timestamp":1750221545000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2896941.2896948"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5,14]]},"references-count":26,"alternative-id":["10.1145\/2896941.2896948","10.1145\/2896941"],"URL":"https:\/\/doi.org\/10.1145\/2896941.2896948","relation":{},"subject":[],"published":{"date-parts":[[2016,5,14]]},"assertion":[{"value":"2016-05-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}