Course Description

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


Prerequisite: CCPS 731

Thank you for your interest in this course. It is not scheduled for the current academic year.

Use our Course Search to find courses that are offered this year.