Evaluating the effectiveness of Z: The claims made about CICS and where we go from here

Journal of Systems and Software

Volumn 35, Issue 3, 1996, Pages 209-216

  Finney, Kate ^a   Fenton, Norman ^b  

^a UNIVERSITY OF GREENWICH   (United Kingdom)

^b CITY UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COST EFFECTIVENESS; FORMAL LANGUAGES; RELIABILITY; SOFTWARE ENGINEERING;

SOFTWARE PACKAGE Z;

COMPUTER SOFTWARE;

EID: 0030421012     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0164-1212(96)00122-7     Document Type: Article

References (16)

1. Bowen, J. P., and Stavridou, V., Safety Critical Systems, Formal Methods and Standards, Software Eng J. 8(4), 189-209 (1993).
2. Bowen, J. P., and Hinchey, M. G., Seven More Myths of Formal Methods, IEEE Software. 12(3), 34-41 (July, 1995).
3. Collins, B. P., Nicholls, J. E., and Sorensen, I. H., Introducing formal methods: the CICS experience with Z, Mathematical Structures for Software Engineering, Clarendon Press, Oxford, 1991, pp. 153-164.
4. Craigen, D., Gerhart, S., Ralston, T., Formal Methods Reality Check: Industrial Usage, IEEE Transactions on Software Eng. 21(2), 90-98 (1995).
5. Dijkstra, E. W., Guarded Commands, Nondeterminancy and Formal Derivation of Programs, Communications of the ACM. 18(8), 453-457 (August 1975).
6. Fenton, N. E., and Hill, G., Systems Construction and Analysis: A Mathematical and Logical Approach, McGraw Hill, 1992.
7. Fenton, N. E., and Mole, D., A Note on the Use of Z for Flowgraph Decomposition, J. Information & Software Tech. 30(7), 432-437 (1988).
8. Fenton, N. E., Pfleeger, S. L., and Glass, R., Science and Substance: A Challenge to Software Engineers, IEEE Software. 11(4), 86-95 (July, 1994).
9. Finney, K., Mathematical Notation in Formal Specification: Too Difficult for the Masses?, IEEE Transactions on Software Engineering. 22(2), 158-159 (1996).
10. Gerhart, S., Craigen, D., and Ralston, T., Observation on industrial practice using formal methods. Proc. 15th Int. Conf. Software Eng., 24-33, IEEE Computer Soc., 1993.
11. Houstan, I., and King, S., CICS Project Report: Experiences and results from the use of Z in IBM. In: Proceedings of the 4th International Symposium of VDM Europe Springer-Verlag Vol 1: Conference Contribution pp. 588-596, 1991.
12. Kitchenham, B., Pickhard, L., and Pfleeger, S. L., Case Studies for Method and Tool Evaluation, IEEE Software. 52-62 (July, 1995).
13. Montgomery, D. C. Design and Analysis of Experiments, Wiley, 1984.
14. Pfleeger, S. L. and Hatton, L., How do Formal Methods Affect Code Quality?, IEEE Computer. (May, 1996).
15. Pfleeger, S. L., Page, S., Fenton, N. E., and Hatton, L., Case study results for the SMARTIE project, Deliverable 2.2.4 (Additional Study), CSR, City University, March, 1995.
16. Phillips, M. H., CICS/ESA 3.1 Experiences, In: Proceedings of the 4th Annual Z User Meeting. Springer-Verlag Workshops in Computing, pp. 179-185, 1989.