Title: | UML的形式化及其应用 |
Alternative Title: | a formal framework of uml and its application
|
Author: | 周瑾
; 马应龙
; 李巍
; 吴志林
|
Keyword: | UML
; 形式化
; 形式化
; 设计错误
; 数表
; 框架
; 检测
; 优化建议
; 优化方案
; 设计模型
; 软件设计
; 进化过程
; 基础
; 状态图
; 序列图
; 应用
; 人员
; 理论
; 度量
|
Source: | 计算机科学
|
Issued Date: | 2005
|
Volume: | 32, Issue:3, Pages:136-140 | Indexed Type: | wanfang
; cnki
|
Department: | 中国科学院软件研究所软件工程中心,北京,100080;中国科学院软件研究所软件工程中心,北京,100080;中国科学院软件研究所软件工程中心,北京,100080;中国科学院软件研究所计算机科学重点实验室,北京,100080
|
Abstract: | 本文介绍一个面向度量的UML的代数表达框架.这个框架可以作为设计模型检测的基础,并为设计人员提供一个在软件设计进化过程中检测一些设计错误和提出可能的优化方案的理论基础.本文给出了UML类图、序列图和状态图的代数表达并用例子说明了这个UML的代数表达框架的应用及它是如何检测设计错误和提供可能的优化建议的. |
Language: | 中文
|
Content Type: | 期刊论文
|
URI: | http://ir.iscas.ac.cn/handle/311060/12348
|
Appears in Collections: | 软件所图书馆_期刊论文
|
File Name/ File Size |
Content Type |
Version |
Access |
License |
|
UML的形式化及其应用.pdf(485KB) | -- | -- | 限制开放 | -- | 联系获取全文 |
|
Recommended Citation: |
周瑾,马应龙,李巍,等. UML的形式化及其应用[J]. 计算机科学,2005-01-01,32(3):136-140.
|
|
|