李莉

作品数：2被引量：4H指数：1
导出分析报告
供职机构：上海大学计算机工程与科学学院更多>>
发文主题：INTERNETB方法WEB形式化方法基于WEB技术更多>>
发文领域：自动化与计算机技术经济管理更多>>
发文期刊：《计算机应用与软件》《计算机工程》更多>>
所获基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
用UML描述组件规格说明
《计算机应用与软件》2002年第6期10-12,59,共4页李莉 缪淮扣 
国家自然科学基金(编号:69773038)
在基于组件的软件开发方式(CBD)下,软件系统是一些相互联系的可重用组件的集合,因此需要对系统的每一个组件以及组件之间的相互关系有很好的理解。 UML作为一种标准建模语言,不仅可以支持面向对象的分析与设计,而且能够有力地支持从需...
关键词：UML 组件规格说明 Object-Z语言 软件开发 
一个基于Web技术的网络银行系统的B方法设计与实现被引量：4
《计算机工程》2001年第10期65-66,121,共3页李莉 缪淮扣 
国家自然科学基金资助项目(69773038)
方法作为少数几种具有较强商业化工具支持的形式化方法之一支持规格说明到代码生成的全部开发周期。文章将方法应用于网B,B络银行系统模型开发。此方法提供了系统的需求和可执行代码之间的中间过程。整个开发过程中的规格说明书写以及...
关键词：形式化方法 B方法 网络银行系统 WEB INTERNET 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部