Skip navigation

Items where Author is "Finney, Kate"

Items where Author is "Finney, Kate"

Up a level
Export as [feed] RSS
Group by: Item Type | Uncontrolled Keywords | No Grouping
Number of items: 4.

Article

Finney, Kate, Rennolls, Keith and Fedorec, Alex (1998) Measuring the comprehensibility of Z specifications. Journal of Systems and Software, 42 (1). pp. 3-15. ISSN 0164-1212 (doi:https://doi.org/10.1016/S0164-1212(98)00003-X)

Finney, Kate and Fenton, Norman (1996) Evaluating the effectiveness of Z: The claims made about CICS and where we go from here. Journal of Systems Software, 35 (3). pp. 209-216. ISSN 0164-1212 (doi:https://doi.org/10.1016/S0164-1212(96)00122-7)

Finney, Kate (1996) Mathematical notation in formal specification: Too difficult for the masses? [Correspondence]. IEEE Transactions on Software Engineering, 22 (2). pp. 158-159. ISSN 0098-5589 (doi:https://doi.org/10.1109/32.485225)

Conference Proceedings

Galea, Edwin Richard ORCID: 0000-0002-0001-6665, Blackshields, Darren, Lawrence, Peter J. ORCID: 0000-0002-0269-0231, Finney, Kate and Cooney, David ORCID: 0000-0002-2341-0315 (2013) The development and validation of a rail car evacuation. In: Conference Proceedings: Interflam 2013: 13th International Fire Science and Engineering Conference. Interscience Communications, Greenwich, London, UK, pp. 1023-1034. ISBN 9780955654893

This list was generated on Wed Oct 16 07:25:35 2019 UTC.