This is a research-oriented, seminar type course which will focus on the state-of-the-art in various areas of Software Engineering--
Software project management, Metrics and measurement, Softwareconfiguration management, Software risk management, Requirements engineering, Software quality assurance, Software reliability models, Object oriented design, Object oriented programming (with C++), Formal specifications, Formal verification of programs, Jackson method for design, CASE tools and technology, Cleanroom method for software development, Information system design, Real- time software specification and design.
To be announced by the instructor.