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

Marta Olszewska, Sergii Ostroumov, Marina Walden

Forskningsoutput: Bok/tidskrift/rapportBeställd rapportProfessionell


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.
FörlagTurku Centre for Computer Science (TUCS)
ISBN (tryckt)978-952-12-3342-5
StatusPublicerad - 2016
MoE-publikationstypD4 Publicerad utvecklings- eller forskningsrapport eller studie


NamnTUCS Technical Report


Fördjupa i forskningsämnen för ”Synergising Event-B and Scrum - Experimentation on a Formal Development in an Agile Setting”. Tillsammans bildar de ett unikt fingeravtryck.

Citera det här