IEE Proceedings - Software (The Institution of the Electrical Engineers, 2000)