|
Home
| Subject Search
| Help
| Symbols Help
| Pre-Reg Help
| Final Exam Schedule
| My Selections
|
Searched for: "6.031" Subjects offered any term 1 subject found.
6.031 Elements of Software Construction
(
,
)
Prereq: 6.009
Units: 5-0-10
Lecture: MWF11-12.30 (34-101)
Introduces fundamental principles and techniques of software development: how to write software that is safe from bugs, easy to understand, and ready for change. Topics include specifications and invariants; testing, test-case generation, and coverage; abstract data types and representation independence; design patterns for object-oriented programming; concurrent programming, including message passing and shared memory concurrency, and defending against races and deadlock; and functional programming with immutable data and higher-order functions. Includes weekly programming exercises and larger group programming projects.
M. Goldman
Spring: M. Goldman
No textbook information available
| ||||||||
