CE5354 - Software Engineering

CE 5354 (CS 5354, SE 5354) Software Engineering (3 semester hours) Formal specification and program verification. Software life-cycle models and their stages. System and software requirements engineering; user-interface design. Software architecture, design, and analysis. Software testing, validation and quality assurance. Corequisite: CS 5343 (CS 5343 can be taken before or at the same time as CS 5354) (3-0) S