Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Synergising Event-B and Scrum ...

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

Marta Olszewska, Sergey Ostroumov, Marina Waldén, Synergising Event-B and Scrum – Experimentation on a Formal Development in an Agile Setting. TUCS Technical Reports 1152, TUCS, 2016.

Abstract:

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.

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tOlOsWa16a,
  title = {Synergising Event-B and Scrum – Experimentation on a Formal Development in an Agile Setting},
  author = {Olszewska, Marta and Ostroumov, Sergey and Waldén, Marina},
  number = {1152},
  series = {TUCS Technical Reports},
  publisher = {TUCS},
  year = {2016},
  keywords = {Event-B, Scrum, Formal Methods, Agile Development Process, adaptable development framework, FormAgi },
  ISBN = {978-952-12-3342-5},
}

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

Edit publication