Projects per year
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 fulfills 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 utilized in the Event-B environment. Finally, we identify the challenges and opportunities for this kind of fusion.
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 utilized in the Event-B environment. Finally, we identify the challenges and opportunities for this kind of fusion.
Original language | English |
---|---|
Publisher | Turku Centre for Computer Science (TUCS) |
ISBN (Print) | 978-952-12-3124-7 |
Publication status | Published - 2014 |
MoE publication type | D4 Published development or research report or study |
Publication series
Name | TUCS Technical Report |
---|---|
Volume | 1124 |
Fingerprint
Dive into the research topics of 'FormAgi – A Concept for More Flexible Formal Developments'. Together they form a unique fingerprint.Projects
- 1 Finished
-
ADVICeS: Adaptive Integrated Formal Design of Safety-Critical Systems (Academy of Finland)
Walden, M. (Principal Investigator), Olszewska, M. (Co-Investigator), Edmunds, A. (Co-Investigator), Ostroumov, S. (Co-Investigator), Petre, L. (Co-Investigator), Boström, P. (Co-Investigator) & Neovius, M. (Co-Investigator)
01/09/13 → 31/08/17
Project: Research Council of Finland/Other Research Councils