CSE503 Lecture Notes (Spring 2000)

	Formal Technical Reviews
	Reverse engineering
	LCLint and Purify
	Lackwit and LCLint
	Slicing and PDGs
	Tools and environments
	Z and model checking
	State machine specifications
	State machine motivation
	weakest preconditions and abstract data types
	Formal specifications
	Specifications
	More patterns
	Patterns and frameworks
	Open Implementation
	Layering
	Design
	Lifecycle and KWIC
	Overview
	Introduction