Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > FormAgi – A Concept for More...

FormAgi – A Concept for More Flexible Formal Developments

Marta Olszewska, Marina Waldén, FormAgi – A Concept for More Flexible Formal Developments. TUCS Technical Reports 1124, Åbo Akademi University, 2014.

Abstract:

It is increasingly important that the software system that is developed is not only of good quality, but also delivered within the anticipated cost and deadlines. Formal methods ensure that the system is correct and created according to specification, and thus fulfils the requirements and preserves certain quality attributes. Since the methods are based on establishing a heavy design upfront, the development schedule can be quite well estimated. However in reality, when the customer is changing the requirements during the development, neither the schedule nor the cost can remain constant. Therefore, a more flexible development process is needed in order to facilitate a well-established development method and, thus, enable efficient tackling of the volatility of requirements.

In this report we propose an adaptable development framework called FormAgi, which merges the strengths of formal methods and agile development methods. We base our study on concepts that are vital in formal development and combine them with ideas from well-known agile methods. Furthermore, we indicate how the framework can be utilised in the Event-B environment. Finally, we identify the challenges and opportunities for this kind of fusion.

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tOlWa14a,
  title = {FormAgi – A Concept for More Flexible Formal Developments},
  author = {Olszewska, Marta and Waldén, Marina},
  number = {1124},
  series = {TUCS Technical Reports},
  publisher = {Åbo Akademi University},
  year = {2014},
  keywords = {Formal methods, agile development process, flexibility, adaptable development framework, Event-B },
  ISBN = {978-952-12-3124-7},
}

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

Edit publication