2014年10月8日
形式化规格技术和验证技术小结
摘要： 形式化规格技术：1、定义： 对系统或者对象及其期望的特性或者行为进行的描述。规格所要描述的内容包括：功能特性（做什么）、行为特性（具体行为演化-如何做）、结构特性（系统的组成，子系统间的联系和复合）、时间特性（时间相关的系统特性）。形式化规格就是通过具有明确数学定义的文法和语义的语言实现以上描述。2... 阅读全文
posted @ 2014-10-08 22:55 BelieveA 阅读(508) 评论(0) 推荐(0)