Kate Finney

Measuring the comprehensibility of Z specifications

Alexander M. Fedorec, Keith Rennolls, Kate Finney, 1998, J. Syst. Softw..

Mathematical Notation in Formal Specification: Too Difficult for the Masses?

Kate Finney, K. Finney, 1996, IEEE Trans. Software Eng..

Effects of structure on the comprehensivility of formal specifications

Norman E. Fenton, Alexander M. Fedorec, Kate Finney, 1999, IEE Proc. Softw..

Evaluating the Effectiveness of Z: The Claims Made About CICS and Where We Go From Here

Norman E. Fenton, Kate Finney, N. Fenton, 1996, J. Syst. Softw..