| UML的形式化及其应用 |
| 其他题名 | a formal framework of uml and its application
|
| 周瑾; 马应龙; 李巍; 吴志林
|
| 2005
|
| 发表期刊 | 计算机科学
 |
| ISSN | 1002-137X
|
| 卷号 | 32期号:3页码:136-140 |
| 摘要 | 本文介绍一个面向度量的UML的代数表达框架.这个框架可以作为设计模型检测的基础,并为设计人员提供一个在软件设计进化过程中检测一些设计错误和提出可能的优化方案的理论基础.本文给出了UML类图、序列图和状态图的代数表达并用例子说明了这个UML的代数表达框架的应用及它是如何检测设计错误和提供可能的优化建议的. |
| 收录类别 | wanfang
; cnki
|
| 关键词 | Uml
形式化
形式化
设计错误
数表
框架
检测
优化建议
优化方案
设计模型
软件设计
进化过程
基础
状态图
序列图
应用
人员
理论
度量
|
| 部门归属 | 中国科学院软件研究所软件工程中心,北京,100080;中国科学院软件研究所软件工程中心,北京,100080;中国科学院软件研究所软件工程中心,北京,100080;中国科学院软件研究所计算机科学重点实验室,北京,100080
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/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.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论