|
| This Article | ||
| | ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
February 1985 (vol. 11 no. 2)
pp. 169-178
| ASCII Text | x | ||
| I.J. Hayes, "Applying Formal Specification to Software Development in Industry," IEEE Transactions on Software Engineering, vol. 11, no. 2, pp. 169-178, February, 1985. | |||
| BibTex | x | ||
| @article{ 10.1109/TSE.1985.232191, author = {I.J. Hayes}, title = {Applying Formal Specification to Software Development in Industry}, journal ={IEEE Transactions on Software Engineering}, volume = {11}, number = {2}, issn = {0098-5589}, year = {1985}, pages = {169-178}, doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.1985.232191}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - JOUR JO - IEEE Transactions on Software Engineering TI - Applying Formal Specification to Software Development in Industry IS - 2 SN - 0098-5589 SP169 EP178 EPD - 169-178 A1 - I.J. Hayes, PY - 1985 KW - large scale software KW - CICS KW - formal specification VL - 11 JA - IEEE Transactions on Software Engineering ER - | |||
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.
Index Terms:
large scale software, CICS, formal specification
Citation:
I.J. Hayes, "Applying Formal Specification to Software Development in Industry," IEEE Transactions on Software Engineering, vol. 11, no. 2, pp. 169-178, Feb. 1985, doi:10.1109/TSE.1985.232191
Usage of this product signifies your acceptance of the Terms of Use.