Elements of Software Construction | Electrical Engineering and Computer Science | MIT OpenCourseWare

Course Info

Instructors

Departments

Electrical Engineering and Computer Science

As Taught In

Fall 2008

Level

Undergraduate

Topics

Engineering
- Computer Science
  - Programming Languages
  - Software Design and Engineering

Learning Resource Types

Lecture Notes

Problem Sets

Programming Assignments with Examples

Projects

Download Course

Lecture Notes

Basics of Mutable Types

Classes

Coding the Photo Organizer

Conclusion

Concurrency

Debugging

Decoupling and Interfaces

Designing State Machines

Designing Stream Processors

Event-Based Programming

Graphical Object Model Notation

How to Design a Photo Catalog

Implementing State Machines

Introduction

Little Languages

Relational Databases

Rep Invariants, Equality, Visitors

State Machine Invariants

State Machine Syntax and Semantics

Subclassing and Interfaces

Testing and Coverage

Designing a SAT Solver, Part 1

Designing a SAT Solver, Part 2

Designing a SAT Solver, Part 3

Course Info

Instructors

Departments

Electrical Engineering and Computer Science

As Taught In

Fall 2008

Level

Undergraduate

Topics

Engineering
- Computer Science
  - Programming Languages
  - Software Design and Engineering

Learning Resource Types

Lecture Notes

Problem Sets

Programming Assignments with Examples

Projects

Download Course

MIT Open Learning

Over 2,500 courses & materials

Freely sharing knowledge with learners and educators around the world. Learn more

© 2001–2026 Massachusetts Institute of Technology

Accessibility

Creative Commons License

Terms and Conditions

Proud member of:

© 2001–2026 Massachusetts Institute of Technology