Publisher's Synopsis
This text demonstrates how to specify and design complex software systems. It addresses three stages of system development, specification (what the system is to do), the transition from requirements to design, and design (how the system is to accomplish its function). Although all three steps are covered, special emphasis is placed on the most difficult stage, transition. Using a large case study to illustrate key aspects of project development, the book also covers a variety of analysis and design methods for both sequential and concurrent systems.
