基于自动机理论的UML活动图模型检验方法

【文件属性】：

文件名称：基于自动机理论的UML活动图模型检验方法

文件大小：848KB

文件格式：PDF

更新时间：2012-10-09 08:05:02

软件工程

UML 活动图被认为是最合适的软件过程描述语言，研究UML 活动图的模型检验方法是很 有必要的