Kate Finney

According to our database¹, Kate Finney authored at least 4 papers between 1996 and 1999.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1999

Effects of structure on the comprehensivility of formal specifications.

[BibT_eX]

[DOI]

IEE Proc. Softw., 1999

1998

Measuring the comprehensibility of Z specifications.

[BibT_eX]

[DOI]

J. Syst. Softw., 1998

1996

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

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1996

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

[BibT_eX]

[DOI]

J. Syst. Softw., 1996