Fork me on GitHub
摘要: 一.规格化设计的发展历史 在微软的官网上,我找到了一篇描述规格的文章Specification and Verification of Object Oriented Software,其中说到: A system for specifying, writing, and verifying pro 阅读全文
posted @ 2018-05-27 23:42 Giggle221b 阅读(276) 评论(0) 推荐(8) 编辑