Construction of large computerized systems proceeds through the stages of requirements analysis and specification, in particular, methodologies for improving the reliability of specifications (executable specifications and system prototypes). Emphasis is on a group project in which 4-5 students specify an information control system.

  • Credits: 3
  • Frequency: At least once a year


Requirements and Grading

Written assignments, a group project, one or two progress exams and a final exam.