Software Specification Methods

【文件属性】：

文件名称：Software Specification Methods

文件大小：2.24MB

文件格式：PDF

更新时间：2012-06-29 02:37:07

软件 规格说明 形式化方法

描述了基于状态的方法、基于事件的方法对软件的规格说明进行表达。这些方法的比较。