国内在UML形式化方面也有一定研究。燕昊[22]借助面向对象的形式化规格说明语言OOZS,对UML的模型图进行形式化描述。李景峰,陈平[23]给出了基于Z规范的统一建模语言UML序列图的语义分析方法等。
UML技术国内外研究现状和发展趋势(2):http://www.youerw.com/yanjiu/lunwen_66105.html国内在UML形式化方面也有一定研究。燕昊[22]借助面向对象的形式化规格说明语言OOZS,对UML的模型图进行形式化描述。李景峰,陈平[23]给出了基于Z规范的统一建模语言UML序列图的语义分析方法等。
UML技术国内外研究现状和发展趋势(2):http://www.youerw.com/yanjiu/lunwen_66105.htmlPPP项目国内外研究现状综述。英国是最早推行PPP项目的国家,...
会计假设研究现状。西方会计理论界关于会计假设的研究肇始于...
北斗导航系统的监控系统研究现状。无论是在技术支持还是市场...
有源电力滤波器思想的出现始于1969年,直到上世纪70年代,日本...
会议管理系统是一种企业管理软件。它能够简化企业工作流程去...
美国是世界篮球运动的发源地,被人们称之为篮球之国。大量的...