Towards Classification of Lightweight Formal Methods

Anna Zamansky, Maria Spichkova, Guillermo Rodriguez-Navas, Peter Herrmann, Jan Olaf Blech

2018

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.

Paper Citation

in Harvard Style

Zamansky A., Spichkova M., Rodriguez-Navas G., Herrmann P. and Blech J. (2018). Towards Classification of Lightweight Formal Methods.In Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-300-1, pages 305-313. DOI: 10.5220/0006770803050313

in Bibtex Style

@conference{enase18,
author={Anna Zamansky and Maria Spichkova and Guillermo Rodriguez-Navas and Peter Herrmann and Jan Olaf Blech},
title={Towards Classification of Lightweight Formal Methods},
booktitle={Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2018},
pages={305-313},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006770803050313},
isbn={978-989-758-300-1},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - Towards Classification of Lightweight Formal Methods
SN - 978-989-758-300-1
AU - Zamansky A.
AU - Spichkova M.
AU - Rodriguez-Navas G.
AU - Herrmann P.
AU - Blech J.
PY - 2018
SP - 305
EP - 313
DO - 10.5220/0006770803050313