Publisher's Synopsis
This book analyzes the nature of programme specification, proposing a mathematical background for addressing the specification problem and elucidating on how this background can be used to good effect.;In its technical tone, methodology, objectives and orientation, the book resembles earlier books on structured programming, and does for structured specifying what other books did for structured programming. It uses mathematics, and shows how the structuring power of these mathematics can be put to bear on the problem of tackling complexity in the specification process.