MW 11-12:30, 36-839
Prof. Daniel Jackson, NE43-511, x8-8471
Prerequisite: 6.033, 6.170
3-0-9
This is an experimental course whose focus is a hands-on investigation of design problems in complex software systems. We will study a number of advanced techniques motivated by these problems, some already adopted by industry and others recently proposed, and evaluate them by designing and prototyping a complex piece of software (currently planned to be a critical component of the new air-traffic control system being developed by NASA). Topics to be covered may include: notations for specification and modelling of complex software systems; new technology for automatic analysis of models and its use; elements of commercial object-oriented methods; design patterns and hot spots; module systems; reverse engineering. Seminar format, with significant independent work expected. Enrollment may be limited.
|
Created: May 15, 1997
|
Modified: Jul 20, 1998|
Your comments
and inquiries are welcome.