Imperial College of Science, Technology and Medicine University of London Department of Computing Incremental Elaboration of Scenario- Based Specifications and Behaviour Models Using Implied Scenarios Sebastian Uchitel A thesis submitted in fulfilment of the requirements for the degree of Doctor of Philosophy in the Faculty of Engineering of the University of London, and for the Diploma of the Imperial College of Science, Technology and Medicine. February 2003