论文部分内容阅读
本文提出一种面向对象软件的形式描述语言ＪＯＯＳＬ，用它可描述面向对象软件需规格、概要设计和详细设计，从描述方法角度看，需求规格和概要设计的描棕在很大程度相同，这就反映了ＯＯ开发模型中需求和设计之间的重叠，在这些描述中用抽象方法描述数据和操作；详细设计中确定算法细节和数据的表示。ＪＯＯＳＬ认为对象是一种抽象的状态机，继承是行为特性的共享。