IEE Colloquium on Applications of Model-Based Reasoning (Digest No: 1997/338)