Publisher's Synopsis
Describes to practitioners and students of software engineering how to use formal techniques to further automate their jobs. Presents the mathematics and formalisms underlying the structure of software engineering, reviews the existing waterfall model, and presents a systems view of the process. Annotation copyright Book News, Inc. Portland, Or.