View Full Document

TOOL SUPPORT FOR PRODUCTION USE OF FORMAL TECHNIQUES



View the full content.
View Full Document
View Full Document

5 views

Unformatted text preview:

TOOL SUPPORT FOR PRODUCTION USE OF FORMAL TECHNIQUES John C Knight Kimberly S Hanks and Sean R Travis Department of Computer Science University of Virginia 151 Engineer s Way PO Box 400740 Charlottesville VA 22904 4740 USA knight ksh4q srt3k cs virginia edu 1 804 982 2216 Voice 1 804 982 2214 FAX 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 Keywords Formal specification natural language tool support TOOL SUPPORT FOR PRODUCTION USE OF FORMAL TECHNIQUES 1 Introduction The application of formal techniques offers many benefits and there are certainly examples of the use of formal techniques in production development 2 9 11 15 21 Yet despite their popularity in academia and the claimed benefits formal techniques are still not as widely used as they might be in commercial software development Industrial authors have expressed frustration when trying to incorporate formal technologies into practical software development for many reasons including the perceptions that formal techniques increase development time that they require



Access the best Study Guides, Lecture Notes and Practice Exams

Loading Unlocking...
Login

Join to view TOOL SUPPORT FOR PRODUCTION USE OF FORMAL TECHNIQUES and access 3M+ class-specific study document.

or
We will never post anything without your permission.
Don't have an account?
Sign Up

Join to view TOOL SUPPORT FOR PRODUCTION USE OF FORMAL TECHNIQUES and access 3M+ class-specific study document.

or

By creating an account you agree to our Privacy Policy and Terms Of Use

Already a member?