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 -