# 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 |

Office Hours:

Room |
Time |

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

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.