Title :
Requirements for industrial-strength formal method tools
Author :
Blackburn, Mark R. ; Busser, Robert D.
Author_Institution :
Software Productivity Consortium, Herndon, VA, USA
Abstract :
Addresses issues concerning requirements for formal method tools. The question asked was: “What requirements should a formal methods-based software tool environment satisfy in order to meet both the criteria of formal methods, yet still be useful (usable) in industry?”. The stated requirements for formal method tools were quite similar to what might be expected for any tool that is to be used in an industrial software engineering environment. However, there is a general consensus that formal methods tools must be “invisible and automatic” if they are to be used in an industrial setting
Keywords :
formal specification; software tools; automatic tools; industrial software engineering environment; industrial-strength formal method tools; industry; invisible tools; requirements; software tool environment; usability; usefulness; Application software; Computer industry; Formal specifications; Industrial control; Power system reliability; Product development; Productivity; Software engineering; Software tools; User interfaces;
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.766308
