Software Reqiuirements and Specifications is the latest book from Michael Jackson, one of the foremost contributors to software development method and practice. The book brings together some 75 short pieces about principles and techniques for requirements analysis, specification and design.

The ideas discussed are deep, but at the same time lightly and wittily expressed. The book is fun to read, rewarding the reader with many valuble and novel insights. Some sacred cows, including top-down development, dataflow diagrams and the distinction between What and How, are led to the slaughter. Readers will be provoked--perhaps to fury, perhaps to enthusiasm, but surely to think more deeply about topics and issues of central importance in the field of software development.

There are new ideas about problem structuring, based on the concept of a problem frame, leading to a clearer notion of complexity and how to deal with it. And other important topics include:

• Principles for evaluating development methods
• New approaches to capturing and describing requirements and specifications, based on the relationship between the software system and the problem context
• The technology of desciption in software, including new ideas such as designations, the separation of descriptive moods and the scope and span of description
• Incisive information about the proper role of mathematics and formalism.

This book is intended to give practising software developers and engineers a series of practical and enlightening insights into the real world of software development and system design. Arranged as an alphabetically ordered set of short pieces forming a lexicon, readers will be challenged, entertained and provoked by the ideas and opinions offered on topics that are of great importance to the field of software development.