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

J. Yamamoto, A. Ohsuga, Shinichi Honiden

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish
Title of host publicationProceedings of 1st Asia-Pacific Software Engineering Conference, APSEC 1994
PublisherIEEE Computer Society
Pages388-397
Number of pages10
ISBN (Electronic)0818669608
DOIs
Publication statusPublished - 1994 Jan 1
Externally publishedYes
Event1st Asia-Pacific Software Engineering Conference, APSEC 1994 - Tokyo, Japan
Duration: 1994 Dec 71994 Dec 9

Publication series

NameProceedings - Asia-Pacific Software Engineering Conference, APSEC
ISSN (Print)1530-1362

Conference

Conference1st Asia-Pacific Software Engineering Conference, APSEC 1994
CountryJapan
CityTokyo
Period94/12/794/12/9

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'Object-oriented analysis and design support system using algebraic specification techniques'. Together they form a unique fingerprint.

  • Cite this

    Yamamoto, J., Ohsuga, A., & Honiden, S. (1994). Object-oriented analysis and design support system using algebraic specification techniques. In Proceedings of 1st Asia-Pacific Software Engineering Conference, APSEC 1994 (pp. 388-397). [465241] (Proceedings - Asia-Pacific Software Engineering Conference, APSEC). IEEE Computer Society. https://doi.org/10.1109/APSEC.1994.465241