摘要：第三单元学习总结博客 ——14061095 毛钰 一、规格化设计 1.发展历史 在应用程序中，Eiffel语言首先提供了《按契约设计》的概念（也就是规格化设计的原型），它关注的是用程序规定软件模块的权利和责任，以确保程序正确性。用文档记载权利和义务的说明，用程序来校验，这就是“规格化设计”的核心。D 阅读全文
OO作业第二次总结
2018-05-02 18:31 by 毛钰, 372 阅读, 0 推荐, 收藏, 编辑
摘要：三次作业来的设计策略及其变化 这三次作业的重点就在于多线程，出租车、IFTTT、电梯，在不同方面去理解多线程的使用。其中主要是同步异步、线程间信息的交互和共享、锁和时间关系。此外还有依然重要的类的封装，也是面向对象的主要内容了。依旧以程序架构设计本身为主，思考多线程的实行，去思考和执行设计策略。再然 阅读全文