CSE 403: Software Engineering

Meeting Times

Professor: Nancy Leveson

TA: Adam Carlson

Course Description

This course will study the concepts, methods and tools for the specifications, design, construction, testing (analysis) and documentation of large software systems. Included also will be "non-technical" topics essential to creating complex software systems successfully, including project management.


Ghezzi, Jazayeri, and Mandrioli, Fundamentals of Software Engineering, Prentice Hall, 1991.


  • Notes on requirements
  • Some sample requirements interview questions
  • Producer-Consumer Petri Net and Axiomatic Specification notes
  • Z notes
  • Coupling and Cohesion notes

  • Assignments:

  • Assignment 1
  • Assignment 2
  • Assignment 3
  • Assignment 4
  • Assignment 5

  • Some links that may be of your interest:

  • Course syllabus (Updated 4/2)
  • Send mail to the class mailing list
  • news:comp.risks
  • Military Standard Defense System Software Development

  • Other information

    is available about
    Suggestions/Feedback to: cse403-request@cs.washington.edu