• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

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

Marta Olszewska, Sergey Ostroumov, Mikołaj Olszewski, To Agile or not to Agile Students (With a Twist) - Experience Report from a Student Project Course. In: Michael Felderer, Helena Holmström-Olsson (Eds.), The Proceedings of the 43rd Euromicro Conference on Software Engineering and Advanced Applications, 83–87, IEEE, 2017.

http://dx.doi.org/10.1109/SEAA.2017.54

Abstract:

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.

BibTeX entry:

@INPROCEEDINGS{inpOlOsOl17a,
  title = {To Agile or not to Agile Students (With a Twist) - Experience Report from a Student Project Course},
  booktitle = {The Proceedings of the 43rd Euromicro Conference on Software Engineering and Advanced Applications},
  author = {Olszewska, Marta and Ostroumov, Sergey and Olszewski, Mikołaj},
  editor = {Felderer, Michael and Holmström-Olsson, Helena},
  publisher = {IEEE},
  pages = {83–87},
  year = {2017},
  keywords = {Scrum, formal modelling, students, project course},
}

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

Publication Forum rating of this publication: level 1

Edit publication