CS 454 Software Engineering
Current methodologies for the development of large, industrial strength software systems. Topics include requirements, specification, design, implementation, testing, project management and cost estimation, formal methods, and software process improvement. Also offered for graduate-level credit as CS 554 and may be taken only once for credit.