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
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;
Conference_Titel :
Industrial Strength Formal Specification Techniques, 1998. Proceedings. 2nd IEEE Workshop on
Conference_Location :
Boca Raton, FL
Print_ISBN :
0-7695-0081-1
DOI :
10.1109/WIFT.1998.766285
