规格语言相关论文
该论文的主要内容,即是在针对这一专用领域的CASE工具开发的九五军事预研项目的基础上完成的.论文主要围绕军预研项目中采用的嵌入......
嵌入式断言是软件测试中一个潜在的有效工具,并有许多优秀的规格语言被开发出来。但目前的规格语言并不完善,严重制约了应用推广。......
