2021年5月27日
面向对象设计与构造第三单元总结
摘要： 一、实现规格所采取的设计策略 经常阅读规格，结合方法名其实基本上已经能猜出来规格想要做什么了。对于部分\forall和exists，其约束条件稍微看下即可，不同寻常的约束条件可以一眼看出来，其余时刻抓住规格中的内涵，可以很快地完成理解。 对于整体的实现，笔者代码按照自底向上来完成。 先通过复制粘贴解 阅读全文
posted @ 2021-05-27 17:33 NoNameExists 阅读(68) 评论(0) 推荐(0)