UML的形式化及其应用
文献类型：期刊论文
| 作者 | 周瑾 ; 马应龙 ; 李巍 ; 吴志林 |
| 刊名 | 计算机科学
 |
| 出版日期 | 2005 |
| 卷号 | 32期号:3页码:136-140 |
| 关键词 | UML 形式化 形式化 设计错误 数表 框架 检测 优化建议 优化方案 设计模型 软件设计 进化过程 基础 状态图 序列图 应用 人员 理论 度量 |
| ISSN号 | 1002-137X |
| 其他题名 | a formal framework of uml and its application |
| 中文摘要 | 本文介绍一个面向度量的UML的代数表达框架.这个框架可以作为设计模型检测的基础,并为设计人员提供一个在软件设计进化过程中检测一些设计错误和提出可能的优化方案的理论基础.本文给出了UML类图、序列图和状态图的代数表达并用例子说明了这个UML的代数表达框架的应用及它是如何检测设计错误和提供可能的优化建议的. |
| 收录类别 | wanfang ; cnki |
| 语种 | 中文 |
| 公开日期 | 2011-07-28 |
| 源URL | [http://124.16.136.157/handle/311060/12348]  |
| 专题 | 软件研究所_软件所图书馆_期刊论文 |
| 推荐引用方式 GB/T 7714 | 周瑾,马应龙,李巍,等. UML的形式化及其应用[J]. 计算机科学,2005,32(3):136-140. |
| APA | 周瑾,马应龙,李巍,&吴志林.(2005).UML的形式化及其应用.计算机科学,32(3),136-140. |
| MLA | 周瑾,et al."UML的形式化及其应用".计算机科学 32.3(2005):136-140. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。