Kate Finney

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1998

3 Kate Finney, Keith Rennolls, Alexander M. Fedorec: Measuring the comprehensibility of Z specifications. Journal of Systems and Software 42(1): 3-15 (1998)

1996

2 Kate Finney: Mathematical Notation in Formal Specification: Too Difficult for the Masses? IEEE Trans. Software Eng. 22(2): 158-159 (1996)

1 Kate Finney, Norman E. Fenton: Evaluating the Effectiveness of Z: The Claims Made About CICS and Where We Go From Here. Journal of Systems and Software 35(3): 209-216 (1996)

	1998
3		Kate Finney, Keith Rennolls, Alexander M. Fedorec: Measuring the comprehensibility of Z specifications. Journal of Systems and Software 42(1): 3-15 (1998)
	1996
2		Kate Finney: Mathematical Notation in Formal Specification: Too Difficult for the Masses? IEEE Trans. Software Eng. 22(2): 158-159 (1996)
1		Kate Finney, Norman E. Fenton: Evaluating the Effectiveness of Z: The Claims Made About CICS and Where We Go From Here. Journal of Systems and Software 35(3): 209-216 (1996)

Coauthor Index