Kate Finney

Publication Activity (10 Years)

Years Active: 1996-1999
Publications (10 Years): 0

Publications

Kate Finney, Norman E. Fenton, Alexander M. Fedorec
Effects of structure on the comprehensivility of formal specifications. IEE Proc. Softw. 146 (4) (1999)
Kate Finney, Keith Rennolls, Alexander M. Fedorec
Measuring the comprehensibility of Z specifications. J. Syst. Softw. 42 (1) (1998)
Kate Finney, Norman E. Fenton
Evaluating the Effectiveness of Z: The Claims Made About CICS and Where We Go From Here. J. Syst. Softw. 35 (3) (1996)
Kate Finney
Mathematical Notation in Formal Specification: Too Difficult for the Masses? IEEE Trans. Software Eng. 22 (2) (1996)