Z notation
Videos
The Z notation is a formal specification language used for describing and modelling computing systems. It is targeted at the clear specification of computer programs and computer-based systems in gene
Jean-Raymond Abrial, the main originator of the Z notation
CICS
Videos
IBM CICS is a family of mixed-language application servers that provide online transaction management and connectivity for applications on IBM mainframe systems under z/OS and z/VSE.
Z notation
…from its inception in 1982 (later renamed the "CICS Project",), in collaboration with IBM Hursley. The project formally specified parts of IBM's CICS transaction processing software using Z notation. This won a Queen's Award for Technological Achievement in 1992. As part of the CICS project, Sørensen…
IBM Hursley, near Winchester in the UK, where much of CICS development is done.
Beginning of a CICSGEN stage one module, 1982
Chart showing a particular task invocation of CICS, 2010
A diagram showing one site's relationship between z/OS and CICS, 2010