This course is a continuation of CPS 731. Topics include: Formal specification, algebraic specification, model oriented Specification, Software reliability, fault-tolerance, Software tools, programming environments, Toolkits, Method based Environments. Software development work benches, Software reliability, Software metrics, software standards, complexity measures, Software quality assurance, automated programming, CASE Tools. (2 hr. Lab every other week).