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

Marta Olszewska; Sergey Ostroumov; Mikołaj Olszewski

doi:10.1109/SEAA.2017.54

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

Marta Olszewska, Sergey Ostroumov, Mikołaj Olszewski

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

2 Citations (Scopus)

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.

Original language	Undefined/Unknown
Title of host publication	Software Engineering and Advanced Applications (SEAA), 2017 43rd Euromicro Conference on
Editors	M Felderer, H Holmström-Olsson
Publisher	IEEE
Pages	83–87
ISBN (Electronic)	978-1-5386-2141-7
ISBN (Print)	978-1-5386-2142-4
DOIs	https://doi.org/10.1109/SEAA.2017.54
Publication status	Published - 2017
MoE publication type	A4 Article in a conference publication
Event	Euromicro Conference on Software Engineering and Advanced Applications (SEAA) - 43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2017 Duration: 30 Aug 2017 → 1 Sept 2017

Conference

Conference	Euromicro Conference on Software Engineering and Advanced Applications (SEAA)
Period	30/08/17 → 01/09/17

Keywords

Event-B
Scrum
Students
agile research
agile software development

Access to Document

10.1109/SEAA.2017.54

ADVICeS: Adaptive Integrated Formal Design of Safety-Critical Systems (Academy of Finland)
Walden, M., Olszewska, M., Edmunds, A., Ostroumov, S., Petre, L., Boström, P. & Neovius, M.
01/09/13 → 31/08/17
Project: Research Council of Finland/Other Research Councils

Cite this

@inproceedings{2390067b310544dc86f80691d1c9da48,

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

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.",

keywords = "Event-B, Scrum, Students, agile research, agile software development, Event-B, Scrum, Students, agile research, agile software development, Event-B, Scrum, Students, agile research, agile software development",

author = "Marta Olszewska and Sergey Ostroumov and Miko{\l}aj Olszewski",

year = "2017",

doi = "10.1109/SEAA.2017.54",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-1-5386-2142-4",

pages = "83–87",

editor = "M Felderer and H Holmstr{\"o}m-Olsson",

booktitle = "Software Engineering and Advanced Applications (SEAA), 2017 43rd Euromicro Conference on",

publisher = "IEEE",

note = "Euromicro Conference on Software Engineering and Advanced Applications (SEAA) ; Conference date: 30-08-2017 Through 01-09-2017",

}

Olszewska, M, Ostroumov, S & Olszewski, M 2017, To Agile or not to Agile Students (With a Twist): Experience Report from a Student Project Course. in M Felderer & H Holmström-Olsson (eds), Software Engineering and Advanced Applications (SEAA), 2017 43rd Euromicro Conference on. IEEE, pp. 83–87, Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 30/08/17. https://doi.org/10.1109/SEAA.2017.54

To Agile or not to Agile Students (With a Twist): Experience Report from a Student Project Course. / Olszewska, Marta; Ostroumov, Sergey; Olszewski, Mikołaj.
Software Engineering and Advanced Applications (SEAA), 2017 43rd Euromicro Conference on. ed. / M Felderer; H Holmström-Olsson. IEEE, 2017. p. 83–87.

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - To Agile or not to Agile Students (With a Twist)

T2 - Euromicro Conference on Software Engineering and Advanced Applications (SEAA)

AU - Olszewska, Marta

AU - Ostroumov, Sergey

AU - Olszewski, Mikołaj

PY - 2017

Y1 - 2017

N2 - 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.

AB - 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.

KW - Event-B

KW - Scrum

KW - Students

KW - agile research

KW - agile software development

KW - Event-B

KW - Scrum

KW - Students

KW - agile research

KW - agile software development

KW - Event-B

KW - Scrum

KW - Students

KW - agile research

KW - agile software development

U2 - 10.1109/SEAA.2017.54

DO - 10.1109/SEAA.2017.54

M3 - Konferensbidrag

SN - 978-1-5386-2142-4

SP - 83

EP - 87

BT - Software Engineering and Advanced Applications (SEAA), 2017 43rd Euromicro Conference on

A2 - Felderer, M

A2 - Holmström-Olsson, H

PB - IEEE

Y2 - 30 August 2017 through 1 September 2017

ER -

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

Abstract

Conference

Keywords

Access to Document

Projects

ADVICeS: Adaptive Integrated Formal Design of Safety-Critical Systems (Academy of Finland)

Cite this