Title :
Applying Formal Specification to Software Development in Industry
Author_Institution :
Programming Research Group, Computing Laboratory, Oxford University
Abstract :
This paper reports experience gained in applying formal specification techniques to an existing transaction processing system. The system is the IBM Customer Information Control System (CICS) and the work has concentrated on specifying a number of modules of the CICS application programmer´s interface.
Keywords :
CICS; formal specification; large scale software; Application software; Communication system control; Computer industry; Control systems; Electrical equipment industry; Formal specifications; Large-scale systems; Operating systems; Programming profession; Transaction databases; CICS; formal specification; large scale software;
Journal_Title :
Software Engineering, IEEE Transactions on
DOI :
10.1109/TSE.1985.232191
