OBJECT-Z规格说明相关论文
形式化方法是一种建立在严格数学基础上的软件开发方法。在软件开发过程中使用形式化方法，既可以提高目标软件系统的正确性和可靠性......
如何提高软件的可靠性是目前软件研究领域的一个热点。将形式化方法和主流的软件开发方法相结合是一个可行的方法。本文研究UML语......
