What Does Industry Need From Formal Specification Techniques?

@inproceedings{Hall1998WhatDI,
  title={What Does Industry Need From Formal Specification Techniques?},
  author={Anthony Hall},
  booktitle={WIFT},
  year={1998}
}
In this paper I examine what industry really needs from formal specification techniques. I first describe the background to our use of formal techniques. I then look at the role of formal specifications in development and consider what are the important questions that need to be asked. I illustrate these with some practical experience on industrial projects and conclude with some lessons we have learned about for formal specification techniques and about the tools which support them. 

From This Paper

Figures, tables, and topics from this paper.

Similar Papers

Loading similar papers…