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

J. Yamamoto, A. Ohsuga, Shinichi Honiden

研究成果: Conference contribution

抜粋

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.

元の言語English
ホスト出版物のタイトルProceedings of 1st Asia-Pacific Software Engineering Conference, APSEC 1994
出版者IEEE Computer Society
ページ388-397
ページ数10
ISBN(電子版)0818669608
DOI
出版物ステータスPublished - 1994 1 1
外部発表Yes
イベント1st Asia-Pacific Software Engineering Conference, APSEC 1994 - Tokyo, Japan
継続期間: 1994 12 71994 12 9

出版物シリーズ

名前Proceedings - Asia-Pacific Software Engineering Conference, APSEC
ISSN(印刷物)1530-1362

Conference

Conference1st Asia-Pacific Software Engineering Conference, APSEC 1994
Japan
Tokyo
期間94/12/794/12/9

ASJC Scopus subject areas

  • Software

フィンガープリント Object-oriented analysis and design support system using algebraic specification techniques' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

  • これを引用

    Yamamoto, J., Ohsuga, A., & Honiden, S. (1994). Object-oriented analysis and design support system using algebraic specification techniques. : 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