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

J. Yamamoto; A. Ohsuga; Shinichi Honiden

doi:10.1109/APSEC.1994.465241

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

J. Yamamoto, A. Ohsuga, Shinichi Honiden

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	Proceedings of 1st Asia-Pacific Software Engineering Conference, APSEC 1994
Publisher	IEEE Computer Society
Pages	388-397
Number of pages	10
ISBN (Electronic)	0818669608
DOIs	https://doi.org/10.1109/APSEC.1994.465241
Publication status	Published - 1994 Jan 1
Externally published	Yes
Event	1st Asia-Pacific Software Engineering Conference, APSEC 1994 - Tokyo, Japan Duration: 1994 Dec 7 → 1994 Dec 9

Publication series

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

Conference

Conference	1st Asia-Pacific Software Engineering Conference, APSEC 1994
Country/Territory	Japan
City	Tokyo
Period	94/12/7 → 94/12/9

ASJC Scopus subject areas

Software

Access to Document

10.1109/APSEC.1994.465241

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

Object-oriented analysis and design support system using algebraic specification techniques. / Yamamoto, J.; Ohsuga, A.; Honiden, Shinichi.
Proceedings of 1st Asia-Pacific Software Engineering Conference, APSEC 1994. IEEE Computer Society, 1994. p. 388-397 465241 (Proceedings - Asia-Pacific Software Engineering Conference, APSEC).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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., 465241, Proceedings - Asia-Pacific Software Engineering Conference, APSEC, IEEE Computer Society, pp. 388-397, 1st Asia-Pacific Software Engineering Conference, APSEC 1994, Tokyo, Japan, 94/12/7. https://doi.org/10.1109/APSEC.1994.465241

@inproceedings{655015fb295a415aa958332562c3610c,

title = "Object-oriented analysis and design support system using algebraic specification techniques",

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.",

author = "J. Yamamoto and A. Ohsuga and Shinichi Honiden",

year = "1994",

month = jan,

day = "1",

doi = "10.1109/APSEC.1994.465241",

language = "English",

series = "Proceedings - Asia-Pacific Software Engineering Conference, APSEC",

publisher = "IEEE Computer Society",

pages = "388--397",

booktitle = "Proceedings of 1st Asia-Pacific Software Engineering Conference, APSEC 1994",

note = "1st Asia-Pacific Software Engineering Conference, APSEC 1994 ; Conference date: 07-12-1994 Through 09-12-1994",

}

TY - GEN

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

AU - Yamamoto, J.

AU - Ohsuga, A.

AU - Honiden, Shinichi

PY - 1994/1/1

Y1 - 1994/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85063226115&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85063226115&partnerID=8YFLogxK

U2 - 10.1109/APSEC.1994.465241

DO - 10.1109/APSEC.1994.465241

M3 - Conference contribution

AN - SCOPUS:85063226115

T3 - Proceedings - Asia-Pacific Software Engineering Conference, APSEC

SP - 388

EP - 397

BT - Proceedings of 1st Asia-Pacific Software Engineering Conference, APSEC 1994

PB - IEEE Computer Society

T2 - 1st Asia-Pacific Software Engineering Conference, APSEC 1994

Y2 - 7 December 1994 through 9 December 1994

ER -

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

Abstract

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this