• 基于指称语义和rCOS的UML模型语义研究

    基于指称语义和rCOS的UML模型语义研究

    论文摘要统一建模语言UML是一种功能强大并且普遍适用的建模语言,目前已广泛应用于软件密集型系统的建模过程中。然而,UML是半形式化的---它的语法结构采用了形式化的规约,但是它...
  • 可视化建模工具中模型一致性问题研究

    可视化建模工具中模型一致性问题研究

    论文摘要伴随着软件技术的发展,可视化建模技术受到越来越多的关注。可视化建模技术带来的好处是:有利于开发人员把握理解整个系统,提高系统设计的可重用性和灵活性。但是这也带来了不可避...