Towards classification of lightweight formal methods

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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.

Original languageEnglish
Title of host publicationENASE 2018 - Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering
EditorsErnesto Damiani, George Spanoudakis, Leszek Maciaszek, Leszek Maciaszek
PublisherSciTePress
Pages305-313
Number of pages9
ISBN (Electronic)9789897583001
DOIs
StatePublished - 2018
Event13th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2018 - Funchal, Madeira, Portugal
Duration: 23 Mar 201824 Mar 2018

Publication series

NameENASE 2018 - Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering
Volume2018-March

Conference

Conference13th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2018
Country/TerritoryPortugal
CityFunchal, Madeira
Period23/03/1824/03/18

Bibliographical note

Publisher Copyright:
© Copyright 2018 by SCITEPRESS - Science and Technology Publications, Lda. All rights reserved.

Keywords

  • Lightweight Formal Methods
  • Software Engineering
  • Software Quality
  • Validation
  • Verification

ASJC Scopus subject areas

  • Computer Science Applications
  • Software

Fingerprint

Dive into the research topics of 'Towards classification of lightweight formal methods'. Together they form a unique fingerprint.

Cite this