Title :
A graphical environment for formally developing object-oriented software
Author :
Cheng, Betty H C ; Wang, Enoch Y. ; Bourdeau, Robert H.
Author_Institution :
Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
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
Keywords :
formal specification; object-oriented programming; programming environments; visual programming; Object Modeling Technique; VISUALSPECS; formal methods; formal specifications; graphical environment; graphical notations; object-oriented software; prototype environment; reliable software; software design reuse; software development environment; Computer science; Formal specifications; Object oriented modeling; Performance analysis; Programming; Prototypes; Software design; Software prototyping; Software safety; Software tools;
Conference_Titel :
Tools with Artificial Intelligence, 1994. Proceedings., Sixth International Conference on
Conference_Location :
New Orleans, LA
Print_ISBN :
0-8186-6785-0
DOI :
10.1109/TAI.1994.346517
