Registrar Home | Registrar Search:
Home | Subject Search | Help | Symbols Help | Pre-Reg Help | Final Exam Schedule | My Selections

MIT Subject Listing & Schedule
Fall 2020 Search Results

Searched for:

1 subject found.

6.031 Elements of Software Construction
______

Undergrad (Fall, Spring)
Prereq: 6.009
Units: 5-0-10
https://eecs.scripts.mit.edu/eduportal/__How_Courses_Will_Be_Taught_Online_or_Oncampus__/F/2020/#6.031
Lecture: MWF11-12.30 (VIRTUAL) +final
______
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
No textbook information available