节点文献
面向对象软件的形式规格说明技术
【摘要】 本文介绍四种面向对象形式规格语言。Object-Z是Z语言的一种扩充,可用于面向对象软件需求规格的形式说明。为研究软件维护和逆向工程,提出了Z++,是Z的另一种扩充,其中引入了过程式描述机制。COLD-K是基于代数规格说明技术的面向对象软件设计语言,是一种核心语言,可设计面向用户的形式规格语言,JOOSL是基于COLD-K和Z语言的一种面向对象设计语言,可用于软件自动化的研究。
【基金】 国家自然科学基金;“863”计划项目
- 【文献出处】 计算机科学 ,Computer Science , 编辑部邮箱 ,1995年01期
- 【分类号】TP311.52
- 【被引频次】3
- 【下载频次】29