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

fYear

1994

fDate

6-9 Nov 1994

Firstpage

26

Lastpage

32

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Tools with Artificial Intelligence, 1994. Proceedings., Sixth International Conference on

Conference_Location

New Orleans, LA

Print_ISBN

0-8186-6785-0

Type

conf

DOI

10.1109/TAI.1994.346517

Filename

346517