loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Anna Zamansky 1 ; Maria Spichkova 2 ; Guillermo Rodriguez-Navas 3 ; Peter Herrmann 4 and Jan Olaf Blech 5

Affiliations: 1 University of Haifa, Israel ; 2 RMIT University, Australia ; 3 Mälardalen University, Sweden ; 4 Norwegian University of Science and Technology, Norway ; 5 BHTC GmbH, Germany

Keyword(s): Software Engineering, Lightweight Formal Methods, Verification, Validation, Software Quality.

Related Ontology Subjects/Areas/Topics: Formal Methods ; Simulation and Modeling ; Software Engineering ; Software Engineering Methods and Techniques

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 44.213.80.174

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 - ENASE; ISBN 978-989-758-300-1; ISSN 2184-4895, SciTePress, pages 305-313. DOI: 10.5220/0006770803050313

@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 - ENASE},
year={2018},
pages={305-313},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006770803050313},
isbn={978-989-758-300-1},
issn={2184-4895},
}

TY - CONF

JO - Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE
TI - Towards Classification of Lightweight Formal Methods
SN - 978-989-758-300-1
IS - 2184-4895
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
PB - SciTePress