行为子类型相关论文
运用行为子类型及扩充行为子类型的概念,通过对一个Java实例地剖析,讨论了在面向 对象的契约式程序设计中如何撰写契约,以保持面......
Object—Z是形式规格说明语言Z的面向对象扩充，具有面向对象特点，适合描述大型面向对象软件规格说明．行为子类型继承是一种子类型继承......
