计算机科学 ›› 2005, Vol. 32 ›› Issue (3): 136-140.
• 软件工程与数据库技术 • 上一篇 下一篇
周瑾 马应龙 李巍 吴志林
出版日期:
发布日期:
Online:
Published:
摘要: 本文介绍一个面向度量的UML的代数表达框架。这个框架可以作为设计模型检测的基础,并为设计人员提供一个在软件设计进化过程中检测一些设计错误和提出可能的优化方案的理论基础。本文给出了UML类图、序列图和状态图的代数表达并用例子说明了这个UML的代数表达框架的应用及它是如何检测设计错误和提供可能的优化建议的。
关键词: 形式化 软件工程 UML类图 序列图 状态图
周瑾 马应龙 李巍 吴志林. UML的形式化及其应用[J]. 计算机科学, 2005, 32(3): 136-140. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2005/V32/I3/136
Cited