SAZ: SSADM version 4 and Z
|
Abstract:
method takes a diagram-and-text specification and develops a formal description of (Z) state and operations. SAZ was originally developed [4] for use with SSADM version 4, and has been shown to raise issues which are not traditionally apparent in systems analysis and design [5]. SAZ and SSADM SSADM version 4 [6, 7] and its subsequent variants form the UK de facto standard for information systems development. The method is best suited to complex, multi-analyst projects. However, the philosophy of SSADM version 4 is adaptation, and it is thus possible to apply selected parts of the method to much smaller information systems, such as these case studies. SSADM version 4 provides a development structure, and suggested diagramand-text techniques. SAZ uses SSADM Requirements Specification (RS). This is derived from a Requirements Analysis (RA) which extracts and clarifies requirements using high-level data and functional models. RS specifies an abstract system to meet the requirements using data, dynamic and functional models. SSADM includes minimal cross-checking among its models; constraints (dynamic and static) are
Citations
| 50 | Using Z: Specification – Woodcock, Davies - 1996 |
| 17 | Rigorous specification using structured systems analysis and Z – Mander, Polack - 1995 |
| 6 | The SAZ method version 1.1 – Polack, Whiston, et al. - 1994 |
| 1 | Software Quality Assurance Using the SAZ – Polack, Mander - 1994 |
| 1 | The SAZ Project : Integrating – Polack, Whiston, et al. - 1993 |
| 1 | The Industrial Trial of – Parker, Polack, et al. - 1995 |
| 1 | Z Notation second committee draft – Toyn - 1999 |
