Requirements for industrial-strength formal method tools

Author

Blackburn, Mark R. ; Busser, Robert D.

Author_Institution

Software Productivity Consortium, Herndon, VA, USA

fYear

1998

fDate

1998

Firstpage

137

Lastpage

138

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;

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.766308

Filename

766308