COOZ相关论文
为面向对象的模型建立坚实的形式化基础是近年形式化研究的热点.一旦提供了对面向对象模型概念的精确描述后,就可以对OO模型的行为......
为UML建模元素提供坚实的形式化语义基础是目前的研究热点之一，在这方面也有了不少探索。文章在过去的研究的基础上，给出了UML模型到......
