This chapter is split into two parts, A and B. Part A defines the functions that will be written for the user; how they appear to authors, and what they do. Apart from minor changes such as numbering, spelling corrections, and re-formatting of text, it is the same as the document presented to the company for approval.
The second part of the chapter contains modifications to the Requirements Document. These modifications were made for a variety of reasons, such as incomplete or inconsistent requirements, and implementation limitations.
The functions which are described in this chapter are formally specified (chapter 5, Specification) using Abstract Data Types (ADTs).
Chapter 4, part A. REQUIREMENTS DOCUMENT
Chapter 4, part B. REFINEMENTS
Preface | Contents | 1 Introduction | 2 Review | 3 Req. analysis | 4 Req. documents | 5 Specification | 6 Design | 7 Verification | 8 Discussion | 9 PAL manual | Appendix A | Appendix B | Appendix C | Glossary | References | Index