Applying Formal Specification to Software Development in Industry

1 February 1985

journal article
Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering

Vol. SE-11 (2), 169-178
https://doi.org/10.1109/tse.1985.232191

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

FORMAL SPECIFICATIONS
COMPUTER INDUSTRY
CONTROL SYSTEMS
APPLICATION SOFTWARE
ELECTRICAL EQUIPMENT INDUSTRY
PROGRAMMING PROFESSION
LARGE-SCALE SYSTEMS
COMMUNICATION SYSTEM CONTROL
TRANSACTION DATABASES
OPERATING SYSTEMS

This publication has 3 references indexed in Scilit:

Specification of the UNIX Filing System
IEEE Transactions on Software Engineering, 1984
A specification language
Lecture Notes in Computer Science, 1982
Program Specification
Lecture Notes in Computer Science, 1982

Cited by 37 articles