BUAAOO 第三单元总结
摘要：
BUAAOO 第三单元总结 前言 逻辑实现前的规格设计，是逼迫程序员带着镣铐跳舞的桎梏吗？在此之前从未有过规格设计、契约式编程的概念与经验的我，初识JML指导下的工程设计，心情是复杂的。 一方面，写代码的过程因为有了规格的指引，剥离了需求逻辑整体设计的不可名状的云雾，代码的编写仿佛成了单调直接的翻译 阅读全文
posted @ 2021-06-01 21:46 KumaXX 阅读(92) 评论(2) 推荐(0)
浙公网安备 33010602011771号