您的位置： 专家智库 > >

李巍

作品数：3 被引量：22H指数：1
供职机构：中国科学院软件研究所更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇会议论文
  • 1篇科技成果

领域

  • 3篇自动化与计算...

主题

  • 2篇形式化
  • 2篇UML
  • 1篇序列图
  • 1篇应用服务系统
  • 1篇软件工程
  • 1篇软件设计
  • 1篇状态图
  • 1篇类图
  • 1篇基础软件
  • 1篇国产基础软件
  • 1篇UML类图

机构

  • 3篇中国科学院软...

作者

  • 3篇李巍
  • 2篇马应龙
  • 2篇周瑾
  • 2篇吴志林
  • 1篇淮晓永
  • 1篇张东帆
  • 1篇赵琛
  • 1篇蒋建春
  • 1篇梁洪亮

传媒

  • 1篇计算机科学
  • 1篇中国科学院计...

年份

  • 1篇2007
  • 1篇2005
  • 1篇2004
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
UML的形式化及其应用
本文介绍一个面向度量的UML的代数表达框架.这个框架可以作为设计模型检测的基础,并为设计人员提供一个在软件设计进化过程中检测一些设计错误和提出可能的优化方案的理论基础.本文给出了UML类图、序列图和状态图的代数表达并用例...
周瑾马应龙李巍吴志林
关键词：UML软件设计形式化
文献传递
国产基础软件应用服务系统
赵琛淮晓永梁洪亮蒋建春张东帆李巍
国产基础软件应用服务环境的目标是实现一个基于国产软件技术的应用服务支持层，以支持上层的农业等行业信息化领域应用软件的运行。在基础软件平台中，应用服务层所实现的功能包括：为上层应用软件提供基于构件技术的服务支持；对基础平台...
关键词：
关键词：基础软件
UML的形式化及其应用被引量：22
2005年
本文介绍一个面向度量的UML的代数表达框架。这个框架可以作为设计模型检测的基础,并为设计人员提供一个在软件设计进化过程中检测一些设计错误和提出可能的优化方案的理论基础。本文绘出了UML类图、序列图和状态图的代数表达并用例子说明了这个UML的代数表达框架的应用及它是如何检测设计错误和提供可能的优化建议的。
周瑾马应龙李巍吴志林
关键词：形式化软件工程UML类图序列图状态图
全选 清除 导出
共1页<1>
聚类工具0