6.005 - Elements of Software Construction - MIT Lecture Notes

Instructor(s) : Prof. Robert Miller
MIT Course Number : 6.005
Level: Undergraduate

These lecture notes have been collaboratively authored, with contributions from Saman Amarasinghe, Srini Devadas, Michael Ernst, John Guttag, Daniel Jackson, Rob Miller, Martin Rinard, and Armando Solar-Lezama. Used with permission.

Lecture notes files.

LECTURE NOTES	SUPPORTING FILES
Lecture 1: Static checking (PDF) Addendum: Snapshot diagrams (PDF)	(ZIP) (This ZIP file contains: 1 .java file.)
Lecture 2: Test-first programming (PDF)	(ZIP) (This ZIP file contains: 2 .java files.)
Lecture 3: Specifications (PDF - 1.0MB)	(ZIP) (This ZIP file contains: 2 .java files.)
Lecture 4: State machines (PDF - 1.1MB)	(ZIP) (This ZIP file contains: 5 .java files.)
Lecture 5: Regular expressions and grammars (PDF)	(ZIP) (This ZIP file contains: 10 .java files.)
Lecture 6: Abstract data types (PDF - 1.2MB)	(ZIP) (This ZIP file contains: 8 .java files.)
Lecture 7: Recursive data types (PDF)	(ZIP) (This ZIP file contains: 4 .java files.)
Lecture 8: Interpreters and visitors (PDF - 1.1MB)	(ZIP) (This ZIP file contains: 8 .java files.)
Lecture 9: Review
Lecture 10: Concurrency (PDF)	(ZIP) (This ZIP file contains: 3 .java files.)
Lecture 11: Processes and sockets (PDF)	(ZIP) (This ZIP file contains: 2 .java files.)
Lecture 12: Thread safety (PDF)	(ZIP) (This ZIP file contains: 4 .java files.)
Lecture 13: Synchronization (PDF)	(ZIP) (This ZIP file contains: 19 .java files.)
Lecture 14: Graphical user interfaces (PDF - 1.2MB)	(ZIP) (This ZIP file contains: 4 .java files.) In the beforeclass\hogwarts\gui\images folder, three images (harry.jpg, hermione.jpg, and no-photo.jpg) have been removed due to copyright restrictions.
Lecture 15: Map, filter, reduce (PDF)	(ZIP - 8.9MB) (This ZIP file contains: 12 .class files, 5 .java files, 4 .py files, and 1 .jar file) Jython 2.5.2 © Python Software Foundation. All rights reserved. This content is excluded from our Creative Commons license. For more information, see http://ocw.mit.edu/fairuse.
Lecture 16: Little languages (PDF)	(ZIP - 8.9MB) (This ZIP file contains: 17 .java files, 1 .py file, and 1 .jar file.) Jython 2.5.2 © Python Software Foundation. All rights reserved. This content is excluded from our Creative Commons license. For more information, see http://ocw.mit.edu/fairuse.

Prof. Robert Miller, 6.005, Elements of Software Construction. 

(Massachusetts Institute of Technology: MIT OpenCouseWare), http://ocw.mit.edu (Accessed August 24, 2013). 

License: Creative Commons BY-NC-SA

Our website abides by the Creative Commons BY-NC-SA as set by MIT.