Sciweavers

WIFT
1998
IEEE

What Does Industry Need From Formal Specification Techniques?

14 years 4 months ago
What Does Industry Need From Formal Specification Techniques?
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.
Anthony Hall
Added 05 Aug 2010
Updated 05 Aug 2010
Type Conference
Year 1998
Where WIFT
Authors Anthony Hall
Comments (0)