国内在UML形式化方面也有一定研究。燕昊[22]借助面向对象的形式化规格说明语言OOZS,对UML的模型图进行形式化描述。李景峰,陈平[23]给出了基于Z规范的统一建模语言UML序列图的语义分析方法等。
751论文网手机版...
主页:http://www.751com.cn
关闭返回