契约和用例的等价性与差别

摘要：

用例和契约是面向对象方法论中的重要概念,本文从数学上推导出用例和契约在描述软件系统上的等价性,揭示了用例和契约的内在联系.然后分析了它们在认识问题角度上的差别,从软件开发的阶段、所描述系统的部位、面向的人员等方面分析了它们作为软件方法论的区别和意义.

关键词： 用例 契约 软件开发 面向对象

作者: 白玉琪 冯煜芳 战守义 李凤霞

作者单位: 北京理工大学,北京,100081 二炮装备研究院,北京,100085

会议类型: 国内会议

会议名称: 中国计算机用户协会信息系统分会2004年信息技术交流大会

会议地点: 大连

会议语种:中文

页码: 210-212

在线出版日期: 2004-08-01（万方平台首次上网日期，不代表论文的发表时间）