ECE 321 - Software Requirements Engineering

3 units (fi 8)(EITHER, 2-0-3)

Software quality attributes. Software requirements. Requirements elicitation via interviewing, workshops, prototyping, and use case analysis. Vision document and Software Requirement Specification document standards. Formal software specification methods including operational and descriptive models. Design by contract. Verification and validation of requirements. Prerequisite: CMPUT 275. Credit may be obtained in only one of CMPE 310 or ECE 321.

ECE 720 - Advanced Topics in Software Engineering and Intelligent Systems

3 units (fi 6)(EITHER, 3-0-0)

ECE 422 - Reliable and Secure Systems Design

3 units (fi 8)(EITHER, 3-0-0)

Causes and consequences of computer system failure. Structure of fault-tolerant computer systems. Methods for protecting software and data against computer failure. Quantification of system reliability. Introduction to formal methods for safety-critical systems. Computer and computer network security. Prerequisite: CMPUT 301. Corequisite: ECE 487. Credit may be obtained in only one of CMPE 420 or ECE 422.