{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T09:53:42Z","timestamp":1743155622891,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319490939"},{"type":"electronic","value":"9783319490946"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-49094-6_48","type":"book-chapter","created":{"date-parts":[[2016,11,4]],"date-time":"2016-11-04T22:09:49Z","timestamp":1478297389000},"page":"621-626","source":"Crossref","is-referenced-by-count":1,"title":["Using Scrum to Develop a Formal Model \u2013 An Experience Report"],"prefix":"10.1007","author":[{"given":"Marta","family":"Olszewska","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergey","family":"Ostroumov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marina","family":"Wald\u00e9n","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,11,6]]},"reference":[{"key":"48_CR1","unstructured":"Manifesto for Agile Software Development. http:\/\/agilemanifesto.org\/ . Accessed 11\u201313 Feb 2001"},{"key":"48_CR2","unstructured":"Agile Alliance: What is Agile? In: Agile Alliance. https:\/\/www.agilealliance.org\/agile101\/what-is-agile\/"},{"key":"48_CR3","doi-asserted-by":"crossref","unstructured":"Butler, R.: What is formal methods? In: NASA LaRC Formal Methods Program (2001)","DOI":"10.1007\/3-540-45685-6_1"},{"key":"48_CR4","doi-asserted-by":"crossref","unstructured":"Holloway, M.: Why engineers should consider formal methods. In: AIAA\/IEEE16th Digital Avionics Systems Conference (1997)","DOI":"10.1109\/DASC.1997.635021"},{"key":"48_CR5","unstructured":"Olszewska, M., Wald\u00e9n, M.: FormAgi \u2013 A Concept for More Flexible Formal Developments. TUCS TR, \u00c5bo Akademi University, Turku (2014)"},{"key":"48_CR6","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B: System and Software Engineering","author":"J-R Abrial","year":"2010","unstructured":"Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, New York (2010)"},{"key":"48_CR7","unstructured":"Abrial, J.-R.: Extending B without changing it (for developing distributed systems). In: Proceedings of 1st Conference on the B Method, Nantes (1996)"},{"key":"48_CR8","unstructured":"Schwaber, K., Sutherland, J.: Scrum. The Official Guide (2010). http:\/\/www.Scrum.org"},{"key":"48_CR9","unstructured":"Event-B: Home of Event-B and the Rodin Platform (2008). http:\/\/www.event-b.org\/index.html"},{"key":"48_CR10","unstructured":"Abrial, J.-R.: Event Model Decomposition. http:\/\/wiki.event-b.org\/images\/Event_Model_Decomposition-1.3.pdf"},{"key":"48_CR11","unstructured":"Ostroumov, S., Wald\u00e9n, M.: Facilitating Formal Event-B Development by Visual Component-based Design. TUCS Technical report 1148, Turku Centre for Computer Science, Turku (2015)"},{"key":"48_CR12","doi-asserted-by":"crossref","unstructured":"Olszewska, M., Wald\u00e9n, M.: DevOps meets formal modelling in high-criticality complex systems. In: 1st International Workshop on Quality-Aware DevOps (QUDOS 2015), Collocated with 10th Joint Meeting of the ESEC and ACM SIFSOFT FSE (2015)","DOI":"10.1145\/2804371.2804373"},{"key":"48_CR13","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-07512-9","volume-title":"ABZ The Landing Gear Case Study","year":"2014","unstructured":"Boniol, F., Wiels, V., Ait Ameur, Y., Schewe, K.-D. (eds.): ABZ The Landing Gear Case Study. CCIS, vol. 433. Springer, Heidelberg (2014). doi: 10.1007\/978-3-319-07512-9"},{"key":"48_CR14","unstructured":"Rodin Platform (2006). http:\/\/www.event-b.org\/platform.html"},{"key":"48_CR15","unstructured":"Olszewska, M., Ostroumov, S., Wald\u00e9n, M.: Synergising Event-B and Scrum - Experimentation on a Formal Development in an Agile Setting. TR 1152, TUCS, Turku (2016)"},{"key":"48_CR16","unstructured":"Olszewska (Pl\u0105ska), M., Sere, K.: Specification Metrics for Event-B Developments. In: 13th International Conference on Quality Engineering in Software Technology (CONQUEST 2010), Dresden (2010)"}],"container-title":["Lecture Notes in Computer Science","Product-Focused Software Process Improvement"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-49094-6_48","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,15]],"date-time":"2019-09-15T05:13:31Z","timestamp":1568524411000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-49094-6_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319490939","9783319490946"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-49094-6_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}