Search | Directories | Reference Tools
UW Home > Discover UW > Student Guide > Course Catalog 

Instructor Class Description

Time Schedule:

Benjamin Livshits
CSE 504
Seattle Campus

Advanced Topics in Software Engineering

Topics vary but may include software design and evolution, formal methods, requirements specifications, software and system safety, reverse engineering, real-time software, metrics and measurement, programming environments, and verification and validation. Prerequisite: CSE major or permission of instructor.

Class description

Program Analysis for Software and Web Security

Student learning goals

General method of instruction

Recommended preparation

At least one course in security and PL or compilers

Class assignments and grading


The information above is intended to be helpful in choosing courses. Because the instructor may further develop his/her plans for this course, its characteristics are subject to change without notice. In most cases, the official course syllabus will be distributed on the first day of class.
Additional Information
Last Update by Benjamin Livshits
Date: 03/22/2010