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...

Full description

Bibliographic Details
Main Author: Miller, Robert
Other Authors: Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Format: Learning Object
Language:en-US
Published: 2011
Subjects:
Online Access:http://hdl.handle.net/1721.1/106923