对象精化演算系统论文

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