CSE 403 - Software Engineering

Class Meeting:

Days	Time	Room
Mondays, Wednesday, Friday	11:30 - 12:20	Comm 120

Quiz Sections:

Day	Time	Room	Section
Tuesdays	12:30 - 1:20	Low 101	AA
Thursday	12:30 - 1:20	EEB 108	BA

Instructor: Alan Shaw <shaw@cs.washington.edu>

Office Hours:

Room	Time
Sieg 419	Mondays and Wednesdays 4:30 - 5:30, or by appt.

...and teaching assistant: Sean Sandys <sds@cs.washington.edu>

Office Hours:

Room	Time
Sieg 226	Tuesdays 3:30 - 4:30, Friday 10:30 - 11:30, or by appt.

Handouts (And other points of interest)

Course Outline

Introduction to CSE 403

Data Flow Diagrams

Finite State Machines

Petri Nets

Chapter 4 (Logics)

Logics

Design

Examples of Algebraic Specifications include the Unboundes Stack, and the Set specifcations

Hoare Logic

Testing

More on testing (White Box)

Scheduling

Midterm

A copy of last years midterm.

Homework

Homework #1 [solution (.ps)]

Homework #2 [solution (.ps)]

Homework #3 [solution (.ps)]

Homework #4[solution (.ps)]

A sample specification in both word format and (very bad) html.

Announcements

Mailing List Archive