Location of Repository

Tool Support for Production Use of Formal Techniques

By John C. Knight, Kimberly S. Hanks and Sean R. Travis

Abstract

The relatively scant use of formal techniques in software development is the result, in part, of a lack of suitable support tools. Many tools have been developed that provide novel analysis capabilities but lack basic yet commonplace facilities which are essential in production software development. More importantly, many existing tools for the development of formal specifications fail to provide mechanisms for the manipulation of natural language despite the fact that natural language is essential to give meaning to the terms in the formal specification. In this paper, we describe a toolset that has been developed with the specific intent of providing comprehensive facilities for creating formal specifications in production software development. The toolset supports a powerful formal notation, Z, but also provides comprehensive and fully integrated support for natural language. As well as describing the toolset we present a preliminary evaluation of its use on a commercial specification

Topics: Formal specification, natural language, tool support. TOOL SUPPORT FOR PRODUCTION USE OF FORMAL TECHNIQUES
Publisher: Society Press
Year: 2001
OAI identifier: oai:CiteSeerX.psu:10.1.1.18.5615
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.cs.virginia.edu/~jc... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.