The CICS Application Programming Interface Definition

@inproceedings{Wordsworth1990TheCA,
  title={The CICS Application Programming Interface Definition},
  author={John Wordsworth},
  booktitle={Z User Workshop},
  year={1990}
}
IBM has been using Z in the development of CICS at Hursley Park for over five years. This paper reports recent work in the construction of a specification of a complex programming interface—the CICS application programming interface. It covers the nature of the interface being specified, reasons for specifying it, how the work has been organised, and technical problems encountered. 

Similar Papers

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-5 OF 5 CITATIONS

Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository

  • 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007)
  • 2007
VIEW 10 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Architecture-based design of computer based systems

  • 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings.
  • 2003
VIEW 1 EXCERPT
CITES METHODS