文件名称：MIT-6.005:MIT6.005，作业
文件大小：206KB
文件格式：ZIP
更新时间：2024-06-09 05:16:31
Java
软件构造要素 该存储库包含MIT课程6.005（2011年秋季）的注释代码。 课程说明： 本课程介绍软件开发的基本原理和技术。 学生将学习如何编写可避免错误，易于理解且随时可以更改的软件。 主题包括规范和不变式。 测试，测试用例的生成和覆盖； 状态机抽象数据类型和表示独立性； 面向对象编程的设计模式； 并发编程，包括消息传递和共享并发，以及防止竞争和死锁； 以及具有不变数据和高阶函数的函数式编程。