In this chapter, we provide sufficient background of a specification case study needed for better understanding the next chapter, which uses the specification to illustrate the various uses of redundant information in specifications. In addition, we describe some parts of the specification case study in detail to illustrate specification issues and techniques; some of the techniques are codified in the design of LCL.
KeywordsSpecification Technique Capital Gain Error Message Interest Payment Transaction Date
Unable to display preview. Download preview PDF.