Title: What does industry need from formal specification techniques?
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.
Publication Year: 2002
Publication Date: 2002-11-27
Language: en
Type: article
Indexed In: ['crossref']
Access and Citation
Cited By Count: 13
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot