象形对象相关论文
本文在“基于代数－时态逻辑的象形对象研究”一文的基础上，进一步讨论了“基于代数－时态逻辑的象形对象语义模型“问题，主要是将基于代......
本文首先讨论了国内外有关面向对象方法学、代数规范、时态逻辑的研究现状，分析了对象形式化语义研究的不足，其次，分析了几种主要的系......
