Alexander M. Fedorec

Publication Activity (10 Years)

Years Active: 1996-2004
Publications (10 Years): 0

Publications

Keith Rennolls, Tim Richards, Alexander M. Fedorec, Mohamed T. Ibrahim, Kevin McManus, Alun Butler
Requirements and Design of an Integrated European Environmental Information Communication System (IEEICS). DEXA Workshops (2004)
Mary Croarken, Dorian James Rutter, Tony Mann, Alexander M. Fedorec, Brian A. Wichmann
Events & Sightings. IEEE Ann. Hist. Comput. 26 (1) (2004)
Keith Rennolls, Tim Richards, Alexander M. Fedorec, Mohamed T. Ibrahim, Kevin McManus, Alun Butler
Models and Tools for an Integrated European Environmental Management and Decision Support System, (IEEMDSS). DEXA Workshops (2004)
Mohamed T. Ibrahim, Alexander M. Fedorec, Keith Rennolls
TREAT: A Reverse Engineering Method and Tool for Environmental Databases. DEXA (2001)
Kate Finney, Norman E. Fenton, Alexander M. Fedorec
Effects of structure on the comprehensivility of formal specifications. IEE Proc. Softw. 146 (4) (1999)
Kate Finney, Keith Rennolls, Alexander M. Fedorec
Measuring the comprehensibility of Z specifications. J. Syst. Softw. 42 (1) (1998)
Paul Hennessey, Mohamed T. Ibrahim, Alexander M. Fedorec
Formal Specification, Object-Oriented Design, and Implementation of an Ephemeral Logger for Database Systems. DEXA (1996)