CS 554 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 undergraduate-level credit as CS 454 and may be taken only once for credit.