机译:COOAD: A CASE TOOL FOR OBJECT-ORIENTED ANALYSIS AND DESIGN
Systems and Software Engineering Laboratory, Research and Development Center, Toshiba Corporation, 70, Yanagi-cho, Saiwai-ku, Kawasaki, Kanagawa 210, Japan;
Object orientation; CASE; formal method; algebraic specification; verifica-tion; program transformation; COOAD;