Z规格相关论文
随着软件的在关键领域如电子商务、银行、航空等的广泛应用,其可信性已经越来越多的获得人们的关注,据报道,2000年到2006年基于WEB......
<正>实现软件开发过程各阶段的自动化是软件工程的重要目标之一。软件自动化的前提是形式,包括软件需求规格、软件设计规格和算法......
软件测试作为保证软件质量的重要手段,是软件开发过程中的重要环节。软件测试过程中产生的大量测试用例对保证软件的质量起到了关......
在编译器的构造中，常由于语义的二义性等问题导致不正确的目标程序。为解决此问题，提出了一种新型的语法及语义正确性验证方案，即建立......
统一建模语言（UML）所建立的模型的正确性无法通过其本身进行形式化验证，为解决这个问题，根据UML模型的静态性质和动态模块行为两个方面......
