{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T04:19:51Z","timestamp":1771647591631,"version":"3.50.1"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/formsera.2012.6229784","type":"proceedings-article","created":{"date-parts":[[2012,7,10]],"date-time":"2012-07-10T21:36:02Z","timestamp":1341956162000},"page":"23-29","source":"Crossref","is-referenced-by-count":20,"title":["Scrum goes formal: Agile methods for safety-critical systems"],"prefix":"10.1109","author":[{"given":"Sune","family":"Wolff","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"19","article-title":"SCRUM and Productivity in Software Projects: A Systematic Literature Review","author":"cardozo","year":"0","journal-title":"Proceedings of the 14th International Conference on Evaluation and Assessment in Software Engineering (EASE) Keele University UK 2010"},{"key":"22","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1127878.1127884","article-title":"Preliminary design of jml: A behavioral interface specification language for java","volume":"31","author":"leavens","year":"2006","journal-title":"SIGSOFT Softw Eng Notes"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/1953122.1953145"},{"key":"18","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/s10009-010-0145-y","article-title":"Rodin: An open toolset for modelling and reasoning in Event-B","volume":"12","author":"abrial","year":"2010","journal-title":"STTT"},{"key":"15","author":"fuchs","year":"1991","journal-title":"Specifications Are (Preferably) Executable"},{"key":"16","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-08766-4","article-title":"The Vienna Development Method: The Meta-Language","volume":"61","author":"bj\ufffdrner","year":"1978","journal-title":"Lecture Notes in Computer Science"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-009-0114-3"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1989.0045"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1109118.1109120"},{"key":"12","first-page":"137","article-title":"Structured Methodology + Object- Oriented Methodology + Formal Methods: Methodology of SOFL","author":"liu","year":"1995","journal-title":"Proceedings of First IEEE International Conference on Engineering of Complex Computer Systems"},{"key":"21","author":"wolff","year":"2012","journal-title":"Using Executable VDM++ Models in An Industrial Application - Self-defence System for Fighter Aircraft"},{"key":"3","author":"schwaber","year":"2004","journal-title":"Agile Project Management with Scrum"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/1232743.1232745"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592436"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxl078"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24853-8_12"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/52.57891"},{"key":"6","first-page":"13","article-title":"Are formal methods ready for agility? A reality check","author":"larsen","year":"2010","journal-title":"Lecture Notes in Informatics"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.284"},{"key":"4","first-page":"43","article-title":"Limitations of Agile Software Processes","author":"turk","year":"0","journal-title":"Proceedings of the 3rd International Conference on Extreme Programming and Flexible Processes in Software Engineering (XP2002) May 2002"},{"key":"9","first-page":"36","article-title":"An agile formal development methodology","author":"eleftherakis","year":"2003","journal-title":"Proceedings of the 1st South-East European Workshop on Formal Methods SEEFM"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48257-1_2"}],"event":{"name":"2012 Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA)","location":"Zurich, Switzerland","start":{"date-parts":[[2012,6,2]]},"end":{"date-parts":[[2012,6,2]]}},"container-title":["2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6220306\/6229778\/06229784.pdf?arnumber=6229784","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T21:11:12Z","timestamp":1497993072000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6229784\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/formsera.2012.6229784","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}