To Agile or not to Agile Students (With a Twist): Experience Report from a Student Project Course

A4 Konferenspublikationer

Interna författare/redaktörer

Publikationens författare: Marta Olszewska, Sergey Ostroumov, Mikołaj Olszewski
Redaktörer: Felderer M, Holmström-Olsson H
Förläggare: IEEE
Publiceringsår: 2017
Förläggare: IEEE
Moderpublikationens namn: Software Engineering and Advanced Applications (SEAA), 2017 43rd Euromicro Conference on
Artikelns första sida, sidnummer: 83
Artikelns sista sida, sidnummer: 87
ISBN: 978-1-5386-2142-4
eISBN: 978-1-5386-2141-7


Agile software development and formal methods, are seemingly on the opposite ends of the rigorousness scale. If carefully used, the can efficiently function in synergy to provide an evolutionary, iterative and tailorable process for a correct-by-construction system. In this work, we present the use of agile and formal methods in the academic context at the project course. We describe the development of the meeting scheduler – a web application, which utilised the Event-B formal method and the Vaadin framework within the Scrum development process. Our contribution includes remarks and advice for student projects regarding (i) the use of Scrum and (ii) the application of formal methods in "traditional" software development. We believe that results can be to some extent transferred to an industrial setting, where learning new technologies is involved within agile development processes.


agile research, agile software development, Event-B, Scrum, Students

Senast uppdaterad 2020-10-08 vid 06:39