论文部分内容阅读
用例和契约是面向对象方法论中的重要概念,本文从数学上推导出用例和契约在描述软件系统上的等价性,揭示了用例和契约的内在联系.然后分析了它们在认识问题角度上的差别,从软件开发的阶段、所描述系统的部位、面向的人员等方面分析了它们作为软件方法论的区别和意义.
契约和用例的等价性与差别
【摘 要】
：
用例和契约是面向对象方法论中的重要概念,本文从数学上推导出用例和契约在描述软件系统上的等价性,揭示了用例和契约的内在联系.然后分析了它们在认识问题角度上的差别,从软件开发的阶段、所描述系统的部位、面向的人员等方面分析了它们作为软件方法论的区别和意义.
【机 构】
：
北京理工大学,北京,100081 二炮装备研究院,北京,100085
【出 处】
：
中国计算机用户协会信息系统分会2004年信息技术交流大会
【发表日期】
：
2004年11期
其他文献
虚拟技术是利用计算机仿真,建立一个人机一体化的智能开发系统,它通过动态仿真和拟实环境,使参与者直感、交互地进行虚拟样机的设计、加工、优化,对提高产品开发质量和缩短开发周期起着重要的作用,文中论述了产品虚拟开发的特征及其主要技术内容.
文章介绍了lonworks技术在智能小区的三表监控网络系统中以及通过RS_232串行接口在VB界面下进行DDE(动态数据交换),该系统实现了自动抄表和计费等功能,使用方便,对分散目标的集中管理和控制方面的应用有实际参考价值.
该文讨论的试验平台,用以提供一种软件试验环境,可在其中进行图像算法研究、性能分析和效果演示.文中除介绍了平台的12个模块的整体功能外,还重点阐述了静态图像编码模块框架、算法和结果.
该文从数据挖掘和知识发现的概念出发,就数据挖掘技术在电子商务中的应用进行了讨论,并结合Web数据挖掘、Web数据仓库的技术和理论提出了一个较完整的Web数据挖掘系统的框架模型和设计思路.
遗传算法(GA)是基于进化论的原理发展起来的一种广为应用的、高效的随机搜索与优化的方法.这种仿生学算法能够很好地解决非线性约束优化问题、离散变量优化以及用传统优化方法不能解决的一系列优化问题.文章基于遗传算法,对工程资源、工期成本和工期质量进行优化,达到在工程项目优化中的应用.
文章研究了基于PC和100Mbps快速以太网的机群系统的MPI并行计算环境的通信性能,分析了影响通信性能的因素,提供了改进通信性能的优化策略,以作为工程计算和扩展性应用的参考.
远程教育不同于传统教育的突出特点是开放性和跨时空性,即学习者来源的多样性和学习资源的共享性;学习者不受时空限制,自主地选择学习时间和课程.这就要求远程教育要以学习者为中心,把构建远程教育的学习环境作为头等重要的事情来做.
DSS是一个融计算机技术、信息技术、人工智能、决策科学、心理学、行为科学和组织理论等学科与技术于一体的技术集成系统,应用DSS是实现我国信息化和现代化的一个必然趋势,但建设一个成功的DSS涉及很多方面的因素,因此对其评价非常重要.由于影响DSS的许多因素具有模糊性,于是该文以模糊数学为基础,用模糊综合评判的方法对DSS进行评价.
本文在阐述企业应用系统集成的基础上,引入电子商务和ERP的集成研究.分析了电子商务和ERP集成的必要性,利用Web Services平台的优点,构建一个基于Web Services的电子商务和ERP集成的框架模式.