机械定理相关硕士博士期刊学术论文

针对UML类图和序列图的一致性问题，在充分考虑了类继承关系、关联关系、类方法的可见性以及类方法的前、后置条件等因素对一致性影......