DocumentCode
2822514
Title
What does industry need from formal specification techniques?
Author
Hall, Anthony
fYear
1998
fDate
1998
Firstpage
2
Lastpage
7
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
Keywords
formal specification; safety-critical software; software development management; Praxis Critical Systems; aerospace; air traffic control; avionics; finance; formal specification techniques; formal techniques; high integrity; industrial projects; medicine; quality management system; railways; risk management; software engineering company; Aerospace control; Aerospace electronics; Aerospace engineering; Air traffic control; Animation; Costs; Electrical capacitance tomography; Formal specifications; Rail transportation; Software engineering;
fLanguage
English
Publisher
ieee
Conference_Titel
Industrial Strength Formal Specification Techniques, 1998. Proceedings. 2nd IEEE Workshop on
Conference_Location
Boca Raton, FL
Print_ISBN
0-7695-0081-1
Type
conf
DOI
10.1109/WIFT.1998.766285
Filename
766285
Link To Document