6.005 Elements of Software Construction, Fall 2011
This course introduces fundamental principles and techniques of software development. Students learn 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; state machines; abst...
Main Author: | |
---|---|
Other Authors: | |
Format: | Learning Object |
Language: | en-US |
Published: |
2011
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/106923 |