COOZ语言相关论文
该文着重研究由COOZ设计规约到可执行代码的转换技术,目标是集各家所长,在分析COOZ规约的基础上提出合适的技术,并开发出现COOZ规......
为面向对象的模型建立坚实的形式化基础是近形式化研究的热点，一旦提供了对面向对象模型概念的精确描述后，就可以对ＯＯ模型的行为和结构......
