公共文化服务平台

共 2 条记录，以下是 1-2

全选清除导出

排序方式：

用UML描述组件规格说明: 2002年; 在基于组件的软件开发方式(CBD)下,软件系统是一些相互联系的可重用组件的集合,因此需要对系统的每一个组件以及组件之间的相互关系有很好的理解。 UML作为一种标准建模语言,不仅可以支持面向对象的分析与设计,而且能够有力地支持从需求分析开始的软件开发全过程。但是UML对组件建模的支持并不理想,这就需要开发一种能很好支持组件建模的方法。本文提出一种用UML描述组件规格说明的方法。将组件规格说明分解成组件接口规格说明。通过对组件的每个接口和组件接口之间的相互关系加以形式描述,从而达到组件规格说明的清晰性和精确性。; 李莉缪淮扣; 关键词：UML 软件开发

一个基于Web技术的网络银行系统的B方法设计与实现被引量：7: 2001年; 方法作为少数几种具有较强商业化工具支持的形式化方法之一支持规格说明到代码生成的全部开发周期。文章将方法应用于网B,B络银行系统模型开发。此方法提供了系统的需求和可执行代码之间的中间过程。整个开发过程中的规格说明书写以及细化都使用。; 李莉缪淮扣; 关键词：形式化方法 B方法网络银行系统 WEB INTERNET

全选清除导出

共1页<1>

李莉