Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Using Scrum to Develop a Forma...

Using Scrum to Develop a Formal Model – An Experience Report

Marta Olszewska, Sergey Ostroumov, Marina Waldén, Using Scrum to Develop a Formal Model – An Experience Report. In: Pekka Abrahamsson, Andreas Jedlitschka, Anh Nguyen Duc, Michael Felderer, Sousuke Amasaki, Tommi Mikkonen (Eds.), Product-Focused Software Process Improvement: 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, LNCS 10027, 621–626, Springer International Publishing, 2016.

http://dx.doi.org/10.1007/978-3-319-49094-6_48

Abstract:

The benefits of merging agile and formal methodologies have been discussed on the conceptual level for several years now, also in our previous work. This paper presents a hands-on investigation on the synergy of the Event-B formal method within the Scrum development process. A case study of the landing gear critical system is used to investigate the feasibility of such a merge. We provide the quantitative and qualitative analysis of the case study by measuring developer’s effort, size and complexity of the created model, as well as observing the development process. Our results show that the merge increases quality, in terms of sustaining the creation of correct and reliable systems (Event-B) and at the same time smoothens the modelling process, enhances comprehension of the system domain and requirements (Scrum).

BibTeX entry:

@INPROCEEDINGS{inpOlOsWa16a,
  title = {Using Scrum to Develop a Formal Model – An Experience Report},
  booktitle = {Product-Focused Software Process Improvement: 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016},
  author = {Olszewska, Marta and Ostroumov, Sergey and Waldén, Marina},
  volume = {10027},
  series = {LNCS},
  editor = {Abrahamsson, Pekka and Jedlitschka, Andreas and Nguyen Duc, Anh and Felderer, Michael and Amasaki, Sousuke and Mikkonen, Tommi},
  publisher = {Springer International Publishing},
  pages = {621–626},
  year = {2016},
  keywords = {Scrum, Event-B, Agile development process, Formal method},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Publication Forum rating of this publication: level 1

Edit publication