UML类图静态模型的形式化

UML类图静态模型的形式化UML类图静态模型的形式化,信息技术教学与研究, 朱 凯 约2863字 摘 要: B方法主要是用抽象机来描述软件系统的规范说明，且有大量工具支持。UML作为新一代面向对象建模