Thumbnail
Access Restriction
Subscribed

Author Cheng, B.H.C. ♦ Wang, E.Y. ♦ Bourdeau, R.H.
Source IEEE Xplore Digital Library
Content type Text
Publisher Institute of Electrical and Electronics Engineers, Inc. (IEEE)
File Format PDF
Copyright Year ©1994
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Special computer methods
Subject Keyword Formal specifications ♦ Object oriented modeling ♦ Programming ♦ Software design ♦ Software prototyping ♦ Prototypes ♦ Performance analysis ♦ Software safety ♦ Software tools ♦ Computer science
Abstract This paper describes a graphics-based software development environment that takes advantage of the visual nature of the Object Modeling Technique (OMT) notation and the benefits of formal methods. We have developed a prototype environment, VISUALSPECS, which enables a user to perform object-oriented analysis graphically using the OMT notation. VISUALSPECS generates a formal specification of the object-model, which can be systematically analyzed for completeness and consistency prior to implementation. The formal specifications can be used to guide the formal software. This graphical environment facilitates the development of reliable software using formal methods, enables automated of requirements and design information, and promotes software design reuse based on graphical notations.
Description Author affiliation: Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA (Cheng, B.H.C.; Wang, E.Y.; Bourdeau, R.H.)
ISBN 0818667850
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research ♦ Reading
Education Level UG and PG
Learning Resource Type Article
Publisher Date 1994-11-06
Publisher Place USA
Rights Holder Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Size (in Bytes) 642.65 kB
Page Count 7
Starting Page 26
Ending Page 32


Source: IEEE Xplore Digital Library