| 2004 |
|---|
| 7 | EE | 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: 610-614 |
| 6 | EE | 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: 615-619 |
| 5 | | Mary Croarken,
Dorian Rutter,
Tony Mann,
Alexander M. Fedorec,
Brian A. Wichmann:
Events & Sightings.
IEEE Annals of the History of Computing 26(1): 68-70 (2004) |
| 2001 |
|---|
| 4 | EE | Mohamed T. Ibrahim,
Alexander M. Fedorec,
Keith Rennolls:
TREAT: A Reverse Engineering Method and Tool for Environmental Databases.
DEXA 2001: 175-185 |
| 1999 |
|---|
| 3 | | Y. G. Kim,
Norman E. Fenton,
Alexander M. Fedorec:
Effects of structure on the comprehensivility of formal specifications.
IEE Proceedings - Software 146(4): 193-202 (1999) |
| 1998 |
|---|
| 2 | EE | Kate Finney,
Keith Rennolls,
Alexander M. Fedorec:
Measuring the comprehensibility of Z specifications.
Journal of Systems and Software 42(1): 3-15 (1998) |
| 1996 |
|---|
| 1 | | Paul Hennessey,
Mohamed T. Ibrahim,
Alexander M. Fedorec:
Formal Specification, Object-Oriented Design, and Implementation of an Ephemeral Logger for Database Systems.
DEXA 1996: 333-355 |
