What does industry need from formal specification techniques?
2002pp. 2–7
Citations Over Time
Abstract
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 the important questions that need to be asked. I illustrate these with some practical experience on industrial projects and conclude with some lessons learned about formal specification techniques and the tools which support them.
Related Papers
- → What does industry need from formal specification techniques?(2002)17 cited
- → FORMAL TECHNIQUES IN THE DEVELOPMENT OF BLACKBOARD SYSTEMS(1993)7 cited
- → On combining semi-formal and formal object specification techniques(1998)9 cited
- → Using formal methods for requirements specification of a proposed POSIX standard(2002)6 cited
- SOFL - A Better Approach for Formal Specification: A Case Study Based Comparison(2014)