SQL, data mining, decision support systems, ecology, environmental management, environmental science computing, forestry, geographic information systems, natural resources, query processing, statistical analysis, timber

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:https://doi.org/10.1109/DEXA.2004.1333543)

comprehensibility, Z specifications, measurement

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)

computing, museums, University of Greenwich, Old Royal Naval College, Greenwich, computing hardware, computing equipment

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:https://doi.org/10.1109/MAHC.2004.1278853)

empirical study, specification readability

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

formal specification, software quality, specification languages

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:https://doi.org/10.1049/ip-sen:19990600)

internet, agriculture, distributed databases, geographic information systems, monitoring, natural resources

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:https://doi.org/10.1109/DEXA.2004.1333542)