图 书 馆
软件构建要素6.005 Elements of Software Construction |
|
| 课程网址: | http://ocw.mit.edu/courses/electrical-engineering-and-computer-sc... |
| 主讲教师: | Prof. Daniel Jackson; Prof. Robert Miller |
| 开课单位: | 麻省理工学院 |
| 开课时间: | 2008-01-01 |
| 课程语种: | 英语 |
| 中文简介: |  |
| 课程简介: | This course provides an introduction to the fundamental principles and techniques of software development that have greatest impact on practice. Topics include capturing the essence of a problem by recognizing and inventing suitable abstractions; key paradigms, including state machines, functional programming, and object-oriented programming; use of design patterns to bridge gap between models and code; the role of interfaces and specification in achieving modularity and decoupling; reasoning about code using invariants; testing, test-case generation and coverage; and essentials of programming with objects, functions, and abstract types. The course includes exercises in modeling, design, implementation and reasoning. |
| 关 键 词: | 软件开发; 功能编程; 代码; 建模 |
| 课程来源: | 麻省理工学院公开课 |
| 最后编审: | 2024-02-01：chenjy |
| 阅读次数: | 36 |