• DocumentCode
    1237471
  • Title

    Applying Formal Specification to Software Development in Industry

  • Author

    Hayes, Ian J.

  • Author_Institution
    Programming Research Group, Computing Laboratory, Oxford University
  • Issue
    2
  • fYear
    1985
  • Firstpage
    169
  • Lastpage
    178
  • 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;
  • fLanguage
    English
  • Journal_Title
    Software Engineering, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0098-5589
  • Type

    jour

  • DOI
    10.1109/TSE.1985.232191
  • Filename
    1701984
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1237471