2004

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)

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)

2003

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

1999

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)

1998

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)

1996

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