pdfreaders.org

Practical Issues with Formal Specifications: Lessons Learned from an Industrial Case Study

by Michael Altenhofen and Achim D. Brucker

Many software companies still seem to be reluctant to use formal specifications in their development processes. Nevertheless, the trend towards implementing critical business applications in distributed environments makes such applications an attractive target for formal methods. Additionally, the rising complexity also increases the willingness of the development teams to apply formal techniques.

In this paper, we report on our experiences in formally specifying several core components of one of our commercially available products. While writing the formal specification, we experienced several issues that had a noticeable consequences on our work. While most of these issues can be attributed to the specific method and tools we have used, we do consider some of the problems as more general, impeding the practical application of formal methods, especially by non-experts, in large scale industrial development.

Keywords:
Categories:
Documents:

QR Code for talk:altenhofen.ea:issues:2010.Please cite this article as follows:
Michael Altenhofen and Achim D. Brucker. Practical Issues with Formal Specifications: Lessons Learned from an Industrial Case Study. FMICS 2010, Antwerp, Belgium, 21. sep. 2010.
(slides) (handout) (BibTeX) (Share article on LinkedIn. Share article on CiteULike. )

BibTeX
@Talk{ talk:altenhofen.ea:issues:2010,
abstract = {Many software companies still seem to be reluctant to use formal specifications in their development processes. Nevertheless, the trend towards implementing critical business applications in distributed environments makes such applications an attractive target for formal methods. Additionally, the rising complexity also increases the willingness of the development teams to apply formal techniques.\\\\In this paper, we report on our experiences in formally specifying several core components of one of our commercially available products. While writing the formal specification, we experienced several issues that had a noticeable consequences on our work. While most of these issues can be attributed to the specific method and tools we have used, we do consider some of the problems as more general, impeding the practical application of formal methods, especially by non-experts, in large scale industrial development.},
address = {Antwerp, Belgium},
author = {Michael Altenhofen and Achim D. Brucker},
day = {21},
event = {FMICS 2010},
handout = {https://www.brucker.ch/bibliography/download/2010/talk-altenhofen.ea-issues-2010-2x2.pdf},
isodate = {2010-09-21},
language = {USenglish},
lecturer = {Achim D. Brucker},
month = {sep},
slides = {https://www.brucker.ch/bibliography/download/2010/talk-altenhofen.ea-issues-2010.pdf},
title = {Practical Issues with Formal Specifications: Lessons Learned from an Industrial Case Study},
url = {https://www.brucker.ch/bibliography/abstract/talk-altenhofen.ea-issues-2010},
year = {2010},
}