机译:重新设计UML类图:一种正式方法
Department of Computer Science, University of Leicester, Leicester, LE1 7RH, UK;
UML; OCL; formal methods; refactoring; requirements tracing;
机译:UML序列图与形式化规范方法的集成—基于Z的形式化解决方案
机译:类图评论家:UML类图的设计批评工具
机译:用例和类图在需求分析中是否互补? UML中的用例和类图的实验研究
机译:UCVSC:基于情境演算的UML类图在线验证的正式方法
机译:用于传达UML状态图的形式化执行语义和严格的分析方法。
机译:消除UMLS同义词库中的循环的方法:天真与正式
机译:重新设计UmL类图:一种正式的方法