Towards Classification of Lightweight Formal Methods

Zamansky, A, Spichkova, M, Rodriguez-Navas, G, Herrmann, P and Blech, J 2018, 'Towards Classification of Lightweight Formal Methods', in Ernesto Damiani, George Spanoudakis and Leszek Maciaszek (ed.) Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2018), Madeira, Portugal, 23-24 March 2018, pp. 305-313.


Document type: Conference Paper
Collection: Conference Papers

Title Towards Classification of Lightweight Formal Methods
Author(s) Zamansky, A
Spichkova, M
Rodriguez-Navas, G
Herrmann, P
Blech, J
Year 2018
Conference name ENASE 2018: Volume 1
Conference location Madeira, Portugal
Conference dates 23-24 March 2018
Proceedings title Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2018)
Editor(s) Ernesto Damiani, George Spanoudakis and Leszek Maciaszek
Publisher SciTePress
Place of publication Setubal, Portugal
Start page 305
End page 313
Total pages 9
Abstract 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.
Subjects Software Engineering
Keyword(s) Software Engineering
Lightweight Formal Methods
Verification
Validation
Software Quality
DOI - identifier 10.5220/0006770803050313
Copyright notice Copyright © 2018 by SCITEPRESS Science and Technology Publications, Lda. All rights reserved
ISBN 9789897583001
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 1 times in Thomson Reuters Web of Science Article | Citations
Altmetric details:
Access Statistics: 11 Abstract Views  -  Detailed Statistics
Created: Tue, 23 Oct 2018, 16:00:00 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us