国内在UML形式化方面也有一定研究。燕昊[22]借助面向对象的形式化规格说明语言OOZS，对UML的模型图进行形式化描述。李景峰，陈平[23]给出了基于Z规范的统一建模语言UML序列图的语义分析方法等。
UML技术国内外研究现状和发展趋势(2):http://www.751com.cn/yanjiu/lunwen_66105.html
国内在UML形式化方面也有一定研究。燕昊[22]借助面向对象的形式化规格说明语言OOZS，对UML的模型图进行形式化描述。李景峰，陈平[23]给出了基于Z规范的统一建模语言UML序列图的语义分析方法等。
UML技术国内外研究现状和发展趋势(2):http://www.751com.cn/yanjiu/lunwen_66105.html相对于土壤有机碳库的研究，虽然当前国内外对土壤氮库储量的...
国外研究现状上个世纪七十年代，金融自由化运动逐渐在发达国...
国外研究现状随着社会的快速发展，各地意识到信息技术课程的...
微服务具有很长的历史，并不像许多人所认为的那么短。在90年...
国内外研究历史和现状1 中国2003年初，某军工集团应当时国内需...
微博研究现状在过去的 20 年里，互联网先后经历了门户网站、...