TABLE OF CONTENTS A software specification method offers a collection of notations, coherence rules for the notations, and a preferred order of using the notations.
Chapter 20. Postmodern Structured Analysis (PSA) is a revitalized version of Yourdon-style structured analysis in which two environment descriptions are made: an ERD of the subject domain and an extended context diagram that shows where events come from and where responses go to.
Chapter 21. Statemate is a collection of techniques and a software tool for building and executing structured analysis specifications of the SuD. It is included here because it contains an execution algorithm for statecharts.
Chapter 22. The Unified Modeling Language (UML) is a collection of diagram techniques proposed by the Object Management Group as industry standard for object-oriented design. Whereas PSA and Statemate use techniques already described in the book, the UML adds several more. This chapter shows the relationship between these added notations and the ones treated earlier in the book.
Chapter 23. After so many notations and methods, we take a step back and survey what we have done. This chapter puts the notations treated in the book in a simple framework and shows how to use these with varying degrees of weightiness, ranging from flyweight to heavyweight. The result is Not Yet Another Method (NYAM).
