Institutional Repository
| UML的形式化及其应用 | |
| Alternative Title | a formal framework of uml and its application |
| 周瑾; 马应龙; 李巍; 吴志林 | |
| 2005 | |
| Source | 计算机科学
 |
| ISSN | 1002-137X |
| Volume | 32Issue:3Pages:136-140 |
| English Abstract | 本文介绍一个面向度量的UML的代数表达框架.这个框架可以作为设计模型检测的基础,并为设计人员提供一个在软件设计进化过程中检测一些设计错误和提出可能的优化方案的理论基础.本文给出了UML类图、序列图和状态图的代数表达并用例子说明了这个UML的代数表达框架的应用及它是如何检测设计错误和提供可能的优化建议的. |
| Indexed Type | wanfang ; cnki |
| Keyword | Uml 形式化 形式化 设计错误 数表 框架 检测 优化建议 优化方案 设计模型 软件设计 进化过程 基础 状态图 序列图 应用 人员 理论 度量 |
| Department | 中国科学院软件研究所软件工程中心,北京,100080;中国科学院软件研究所软件工程中心,北京,100080;中国科学院软件研究所软件工程中心,北京,100080;中国科学院软件研究所计算机科学重点实验室,北京,100080 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/12348 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| UML的形式化及其应用.pdf（485KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment