The use of lightweight formal methods (LFM) for the development of industrial applications has become a major trend. Although the term “lightweight formal methods” has been used for over ten years now, there seems to be no common agreement on what “lightweight” actually means, and different communities apply the term in all kinds of ways. In this paper, we explore the recent trends in the use of LFM, and establish our opinion that cost-effectiveness is the driving force to deploy LFM. Further, we propose a simple framework that should help to classify different LFM approaches and to estimate which of them are most cost-effective for a certain software engineering project. We demonstrate our framework using some examples.
|Title of host publication||ENASE 2018 - Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering|
|Editors||Ernesto Damiani, George Spanoudakis, Leszek Maciaszek, Leszek Maciaszek|
|Number of pages||9|
|State||Published - 2018|
|Event||13th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2018 - Funchal, Madeira, Portugal|
Duration: 23 Mar 2018 → 24 Mar 2018
|Name||ENASE 2018 - Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering|
|Conference||13th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2018|
|Period||23/03/18 → 24/03/18|
Bibliographical noteFunding Information:
This work has been funded by the Swedish Governmental Agency for Innovation Systems (VINNOVA) under the VeriSpec project 2013-01299.
© Copyright 2018 by SCITEPRESS - Science and Technology Publications, Lda. All rights reserved.
- Lightweight Formal Methods
- Software Engineering
- Software Quality
ASJC Scopus subject areas
- Computer Science Applications