搜索筛选:
搜索耗时2.5559秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[期刊论文] 作者：何建伟,姚淑珍,,
来源：系统仿真学报 年份：2007
UML状态机图用来描述一个特定对象生命周期经历各种状态,尽管其表达简单明了,易于理解,但它缺乏准确语义,难以对其进行语义分析和验证的问题。变迁作为状态机图的重要组成部分,同样存在这样的问题,而Petri网有严格的形式化语义,而且有许多成熟的分析方法。为了......
[会议论文] 作者：何建伟;姚淑珍;,
来源：2007全国软件及其应用学术会议 年份：2007
作为一种面向对象分析和设计建模语言,统一建模语言(UML)已经越来越多地被用在大型系统中,尽管其表达简单明了,易于理解,但缺乏准确语义,难以对其进行语义分析和验证的问题。...
相关搜索：
