Use of software engineering, including the Z notation, in the development of CICS

Abstract

The paper addresses the question of whether software engineering provides value and hence has a place in a commercial environment. This paper describes the application of software engineering techniques, including Z, to the development of a large system program (CICS), within a formal quality-controlled development process. Comparison of the results with previous, more traditional methods indicate that there is a potential for significantly reducing the volume of software quality defects for ultimately little additional development cost.