CSE870: Advanced Software Engineering (Cheng, Sp2003) An Introduction ...