%0 Journal Article
%T 基于TCOZ的UML用例图的形式化模型
%A 许维新
%A 虞慧群
%J 华东理工大学学报
%P 82-87
%D 2004
%X 基于TCOZ，本文建立了UML视图的一种形式化模型，不仅为UML提供了一种精确的数学描述，也为其正确性分析和验证奠定了基础。
%K UML
%K 用例图
%K 形式化模型
%K TCOZ
%K 软件建模语言
%K 视图
%U http://journal.ecust.edu.cn/ch/reader/view_abstract.aspx?file_no=20040119&flag=1