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

Marta Olszewska, Sergey Ostroumov, Mikołaj Olszewski

    Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

    1 Citeringar (Scopus)

    Sammanfattning

    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.

    OriginalspråkOdefinierat/okänt
    Titel på gästpublikationSoftware Engineering and Advanced Applications (SEAA), 2017 43rd Euromicro Conference on
    RedaktörerM Felderer, H Holmström-Olsson
    FörlagIEEE
    Sidor83–87
    ISBN (elektroniskt)978-1-5386-2141-7
    ISBN (tryckt)978-1-5386-2142-4
    DOI
    StatusPublicerad - 2017
    MoE-publikationstypA4 Artikel i en konferenspublikation
    EvenemangEuromicro Conference on Software Engineering and Advanced Applications (SEAA) - 43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2017
    Varaktighet: 30 aug 20171 sep 2017

    Konferens

    KonferensEuromicro Conference on Software Engineering and Advanced Applications (SEAA)
    Period30/08/1701/09/17

    Nyckelord

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

    Citera det här