J4 ›› 1998, Vol. 20 ›› Issue (3): 67-76.
• 论文 • 上一篇 下一篇
袁晓东[1] 李宣东[2]
出版日期:
发布日期:
Online:
Published:
摘要:
本文介绍了一种基于形式化规格说明语言COOZ的面向对象设计方法并给出实例。
关键词: 面向对象 形式化设计 COOZ 软件工程
袁晓东[1] 李宣东[2]. 一种面向对象的形式化设计:从COOZ需求规格说明到设计[J]. J4, 1998, 20(3): 67-76.
0 / / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://joces.nudt.edu.cn/CN/
http://joces.nudt.edu.cn/CN/Y1998/V20/I3/67