Object-oriented analysis and design support system using algebraic specification techniques

Author

Yamamoto, Junichi ; Ohsuga, Akihiko ; Honiden, Shinichi

Author_Institution

Res. & Dev. Center, Toshiba Corp., Kawasaki, Japan

fYear

1994

fDate

7-9 Dec 1994

Firstpage

388

Lastpage

397

Abstract

Although many CASE tools for object-oriented methods (OO-CASE tools) have been proposed, few, if any, can verify that the constructed analysis and design models actually match the requirements of the system being developed. In order to realize this kind of verification, we propose a software development method amalgamating OO-CASE tools and algebraic specification techniques. We are developing an experimental system named COOAD (CASE tool for Object-Oriented Analysis and Design) in order to examine the effectiveness of our proposition. COOAD supports object-oriented analysis and design, verification of the analysis and design, and generation of code. In this paper, we propose the software development method, introduce COOAD, and illustrate the facilities of COOAD with several examples

Keywords

algebraic specification; computer aided software engineering; formal verification; object-oriented methods; software tools; CASE tool for Object-Oriented Analysis and Design; COOAD; algebraic specification techniques; code generation; software development method; system requirements; verification; Computer aided software engineering; Computer languages; Error analysis; Laboratories; Object oriented modeling; Programming; Research and development; Software engineering; Software testing; System testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering Conference, 1994. Proceedings., 1994 First Asia-Pacific

Conference_Location

Tokyo

Print_ISBN

0-8186-6960-8

Type

conf

DOI

10.1109/APSEC.1994.465241

Filename

465241