The University of Sheffield
Department of Computer Science

PhD Theses 1998-1999

Sep 1999 Chih Nam Yap PhD M Holcombe Visual-Z: A Methodology and Environment for Developing Visual Formal Z Specifications
Sep 1999 Stephen Weatherley PhD G Manson A Meta-Modelling Environment for a Metacase Tool
Aug 1999 Badr Al-Johar PhD J McGregor A Portable Natural Language Interface from Arabic to SQL
Jul 1999 Simon Brown PhD S North The Semantics of Database Query Languages
Jun 1999 Hamid Khosravi PhD Y Wilks Extracting Pragmatic Content From Email
Jun 1999 Paul Woods PhD M Hepple Cognitive Schemas for Chinese Noun Classifiers: A Corpus-Based Investigation
May 1999 Gethin Williams PhD S Renals Knowing What You Don't Know: Roles for Confidence Measures in Automatics Speech Recognition
Mar 1999 Kitty Hung PhD A Simons A Dynamic Business Object Architecture for Supporting Strategic Management Planning
Feb 1999 Ho-Chuan Huang PhD J Kerridge Interoperable Query Processing For Heterogeneous Applications In A Mixed Object And Relational Database Environment
Jan 1999 Ilias Stergiou PhD S Cvetkovic Novel Computer-Network Traffic Modelling Techniques for Analysis and Simulation
Dec 1998 Stephen Maddock PhD A Watt An Investigation Of The Modelling-Animation Relationship In Computer Graphics
Dec 1998 Ali Mansour PhD J McGregor A Framework For The Design Of A Medical Tutoring System For The Instruction Of Undergraduates In General Practice
Nov 1998 Matt Walton PhD M Fairtlough First-Order Lax Logic: A Framework For Abstraction Constraints And Refinement
Nov 1998 Alexander Bell PhD M Holcombe Formal Computational Models Of Biological Systems