Software Construction (6.005)
MIT's 6.005 covers how to write software that is safe from bugs, easy to understand, and ready for change. Topics include specifications and invariants, testing strategies, abstract data types, design patterns for object-oriented programming, concurrent programming, and functional programming. Materials come from the Spring 2016 course website hosted on MIT OpenCourseWare and include problem sets and a final project, letting learners practice the techniques rather than just read about them. The course sits within MIT's Electrical Engineering and Computer Science curriculum and assumes some prior programming background. There is no instructor interaction or certificate, but the full set of assignments, lecture notes, and project specifications is openly available for self-study.