Synergising Event-B and Scrum - Experimentation on a Formal Development in an Agile Setting

Marta Olszewska, Sergii Ostroumov, Marina Walden

Tutkimustuotos: Kirja/lehti/raporttiTutkimusraporttiAmmatillinen


This paper explores the opportunities and challenges of the synergy between formal and agile methods, in particular Event-B and Scrum. We fine tune Scrum process in order to fit the specificity of formal development. We then perform formal modelling of a part of the landing gear system within scrum development process. The development serves as hands-on investigation for the quantitative and qualitative analysis of the applicability of such merge.

Our findings show that there is a great potential in this synergy, especially in terms of improving comprehension of requirements and understandability of the system domain, and thus positively impacting the quality and correctness of the system being built. Furthermore, the communication within the team is enhanced, which leads to fine-tuning the development approach and smoothening the modelling process. Finally, the rules and ideas behind formal modelling can be closely associated with agile philosophy, as the latter is flexible enough to handle the rigour necessary to create a correct system.
KustantajaTurku Centre for Computer Science (TUCS)
ISBN (painettu)978-952-12-3342-5
TilaJulkaistu - 2016
OKM-julkaisutyyppiD4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset


NimiTUCS Technical Report


Sukella tutkimusaiheisiin 'Synergising Event-B and Scrum - Experimentation on a Formal Development in an Agile Setting'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.