CS 755: Topics in Software Engineering

Course Contents:

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,      Software

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

Books and References:

To be announced by the instructor.