Object-Z规格说明相关论文
该文以Object-Z规格说明作为推导测试用例的依据,探讨了一种基于规格说明的类测试的方法和技术.基中包括:从被测类(Class Under Te......
形式化方法是一种建立在严格数学基础上的软件开发方法。在软件开发过程中使用形式化方法，既可以提高目标软件系统的正确性和可靠性......
如何提高软件的可靠性是目前软件研究领域的一个热点。将形式化方法和主流的软件开发方法相结合是一个可行的方法。本文研究UML语......
