Where academic tradition
meets the exciting future

Experimenting with Event-B and Scrum on Student Project Course

Marta Olszewska, Mikołaj Olszewski, Sergey Ostroumov, Gohar Shah, Haider Rizvi, Bilal Altaf, Experimenting with Event-B and Scrum on Student Project Course. TUCS Technical Reports 1176, TUCS, 2017.


Agile methodologies and frameworks are present in IT field for over 15 years now. Coming from industry, they reached research and teaching at the academia, to finally be utilised in the student projects. Formal methods, on the other hand, exist for over 40 years and constantly iterate between the needs of industry and the resources provided by university research. Nonetheless, they seem to remain difficult to be taught and learnt. Thus, usually, they are placed as a separate learning module, not re-used between courses.

Student projects can be thought of as small ecosystems combining the learning methods required by the given project with the application of knowledge and skills gathered so far. This paper presents a student project, which was executed within a Project Course throughout 7 months. The project was combining the Vaadin framework (UI), Event-B formal method (proving system properties) and Scrum (development process) in order to create a web-application. The course was mimicking the real-world environment, where a Team of developers is having an industrial customer to whom a functional system needs to be delivered.

Our contribution is two-fold and encompasses observations and recommendations regarding (i) the use of Scrum in student projects and (ii) the application of formal methods in "traditional" software development in the student context.


Full publication in PDF-format

BibTeX entry:

  title = {Experimenting with Event-B and Scrum on Student Project Course},
  author = {Olszewska, Marta and Olszewski, Mikołaj and Ostroumov, Sergey and Shah, Gohar and Rizvi, Haider and Altaf, Bilal},
  number = {1176},
  series = {TUCS Technical Reports},
  publisher = {TUCS},
  year = {2017},
  keywords = {Event-B, Scrum, Student Project Course, Experimentation},

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

Edit publication