Concepts, methods, and tools for the specification, design, construction,
verification (testing and analysis), and documentation of large software
systems, particularly real-time embedded software. Also includes project
management fundamentals essential to creating complex software systems
successfully. Students work together on a large team project following the
process required for FAA certification of airborne systems.
[December 5, 2002] - Class project question and answer section moved to Question and Answer page.
[October 24, 2002] - Midterm is on Monday. If you have questions, email malia@mit.edu. Roger Racine and Professor Lundqvist are out of town...
[October 24, 2002] - ((Have a sense of humor. Ada is fun.))
[October 22, 2002] - Project question and answer section updated. Problem set solutions posted yesterday.
[September 24, 2002] - Email problem sets with the title "LastName_FirstName_PS1a.adb" to malia@mit.edu
[September 24, 2002] - Question and Answer Section Started on Class Project page.
[September 16, 2002] - Class Project page updated.
[September 11, 2002] - Lecture Notes 3 posted.
[September 9, 2002] - Office Hours: Friday, 12:30-1:30, 33-202
[September 8, 2002] - Lecture Notes 2 posted.
[September 5, 2002] - Lecture Notes 1 posted. First reading assignment posted. See schedule page.
[September 2, 2002] - Course schedule posted.
[August 16, 2002] - Web page updated for Fall 2002 Semester.
Course Description:
Course News:
Massachusetts Institute of Technology
Last updated: December 5, 2002.