TCOZ相关论文
UML是一种得到广泛应用的系统建模语言,但是由于它缺乏形式化语义和严格的推理机制,从而影响了系统建模的准确性和开发效率.TCOZ是......
基于TCOZ，本文建立了UML视图的一种形式化模型，不仅为UML提供了一种精确的数学描述，也为其正确性分析和验证奠定了基础。......
