使用Z的正式规范和文档:一种案例研究方法Formal Specification and Documentation using Z: A Case Study
提出了使用形式化方法的务实观点,在许多情况下,与尝试证明相比,它仍然是有益的(并且总体上更具成本效益)。
下载地址
用户评论
