|
|||||
|
|
| 基于TCOZ的UML用例图的形式化模型 | |
| 引用本文： | 许维新,虞慧群.基于TCOZ的UML用例图的形式化模型[J].医学教育探索,2004(1):82-87. |
| 作者姓名： | 许维新 虞慧群 |
| 作者单位： | 华东理工大学计算机科学与工程系，华东理工大学计算机科学与工程系 上海200237，上海200237 |
| 摘 要： | 基于TCOZ，本文建立了UML视图的一种形式化模型，不仅为UML提供了一种精确的数学描述，也为其正确性分析和验证奠定了基础。 |
| 关 键 词： | UML 用例图 形式化模型 TCOZ 软件建模语言 视图 |
A TCOZ-based Formal Model of UML Use Case Diagrams |
|
| XU Wei-xin,YU Hui-qun.A TCOZ-based Formal Model of UML Use Case Diagrams[J].Researches in Medical Education,2004(1):82-87. | |
| Authors: | XU Wei-xin YU Hui-qun |
| Institution: | XU Wei-xin,YU Hui-qun~ |
| Abstract: | |
| Keywords: | UML Use Case diagrams formal method TCOZ model |
| 点击此处可从《医学教育探索》浏览原始摘要信息 | |
| 点击此处可从《医学教育探索》下载免费的PDF全文 | |