%0 Journal Article
%T 面向对象软件规格语言的设计
%A 全炳哲
%A 金淳兆
%J -
%D 1995
%X 本文提出一种面向对象软件的形式描述语言JOOSL，用它可描述面向对象软件需求规格、概要设计和详细设计。从描述方法角度看，需求规格和概要设计的描述在很大程度上相同，这就反映了OO开发模型中需求和设计之间的重叠。在这些描述中用抽象方法描述数据和操作；详细设计中确定算法细节和数据的表示。JOOSL 认为对象是一种抽象的状态机，继承是行为特性的共享
%K 面向对象开发模型
%K 面向对象设计
%K 形式规格语言
%K 自动程序设计
%K 软件重用。
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19951201&flag=1