Article

Mann, Tony and Fedorec, Alex (2004) Computer Museum, School of Computing and Mathematical Sciences, University of Greenwich. IEEE Annals of the History of Computing, 26 (1). pp. 69-70. ISSN 1058-6180 (doi:10.1109/MAHC.2004.1278853)

Finney, K., Fenton, N. and Fedorec, A. (1999) Effects of structure on the comprehensibility of formal specifications. IEE Proceedings Software, 146 (4). pp. 193-202. ISSN 1462-5970 (doi:10.1049/ip-sen:19990600)

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:10.1016/S0164-1212(98)00003-X)

Book Section

Finney, Kate M. and Fedorec, Alex M. (1996) An empirical study of specification readability. In: Dean, C. Neville and Hinchey, Michael G., (eds.) Teaching and Learning Formal Methods. Academic Press International Series in Formal Methods . Academic Press, pp. 117-130. ISBN 9780123490407

Conference Proceedings

Rennolls, Keith, Richards, Tim, Fedorec, Alex, Ibrahim, Moh, McManus, Kevin and Butler, Alun (2004) Models and tools for an integrated European environmental management and decision support system, (IEEMDSS). In: Proceedings: 15th International Workshop on Database and Expert Systems Applications. IEEE Computer Society, Los Alamitos, California, USA, pp. 615-619. ISBN 0769521959 ISSN 1529-4188 (doi:10.1109/DEXA.2004.1333543)

Rennolls, Keith, Richards, Tim, Fedorec, Alex, Ibrahim, Moh, McManus, Kevin and Butler, Alun (2004) Requirements and design of an integrated European environmental information communication system, (IEEICS). In: Proceedings: 15th International Workshop on Database and Expert Systems Applications. IEEE Computer Society, Los Alamitos, California, USA, pp. 610-614. ISBN 0769521959 ISSN 1529-4188 (doi:10.1109/DEXA.2004.1333542)

Monograph

Rennolls, Keith, Lee, Frances, Ibrahim, Mohammed and Fedorec, Alexander (2003) NEFIS Technology Review: “Web Services” and NEFIS: Part 1. Technical Report. n/a. (Unpublished)