An Ran Chen

Area of Study / Keywords

Software Engineering and Intelligent Systems

For more information about my research, please visit my website.

ECE 321 - Software Requirements Engineering

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 422 - Reliable and Secure Systems Design

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.

ECE 720 - Advanced Topics in Software Engineering and Intelligent Systems

Browse more courses taught by An Ran Chen