Experimenting with Event-B and Scrum on Student Project Course

D4 Publicerad utvecklings- eller forskningsrapport eller studie


Interna författare/redaktörer


Publikationens författare: Marta Olszewska, Mikołaj Olszewski, Sergey Ostroumov, Gohar Shah, Haider Rizvi, Bilal Altaf
Förläggare: Turku Centre for Computer Science (TUCS)
Förlagsort: Turku
Publiceringsår: 2017
Artikelns första sida, sidnummer: 1
Artikelns sista sida, sidnummer: 35
eISBN: 978-952-12-3520-7


Abstrakt

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.


Nyckelord

Event-B, Experimentation, Scrum, Students

Senast uppdaterad 2019-06-12 vid 04:04