CSE 403: Lecture Notes

MS Office versions of these files are now available here as a zip file

Previous Exams

• CSE 403 Spring 1997 Midterm

Lecture Outlines

• Lecture 1
• Lecture 2
• Lecture 2-3
• Lecture 4
• Lecture 5-6
• Lecture 7
• Lecture 9-11
• BlackBox Testing
• Design
• Hoare Logic
• Logic Intro
• Algebraic Specs: Set Example
• Algebraic Specs: Stack Example
• Testing: Part 1
• Testing: Part 2

Supplemental Lecture Notes

• State Machines

Quiz Section Notes/Examples

• Java Intro 1
• Java Thread Code Examples (from Concurrent Programming in Java by Doug Lea)
• More Thread Examples from Concurrent Programming in Java
• PowerPoint: Design Patterns