SE5354 - Software Engineering

SE 5354 (CE 5354, CS 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 CE/CS/SE 5354) (3-0) S