The following Theses (awarded since 1990) are available as compressed postscript files or paper copies (at a cost of 20 pounds sterling per thesis). Cheques should be made payable to "Lancaster University" and posted to Paula Robinson (paula@comp.lancs.ac.uk) at:

CSEG Technical Reports are also available.

Ph.Ds Awarded Since 1990

• The Use of Explicit Intermediate Representations in Intelligent Tutoring Systems, (Ref: ThesisMT) 1990

M.B. Twidale
• Supporting Cooperation in Software Engineering Environments, (Ref: ThesisTR) 1990

T. Rodden
• A User Interface Framework for Object-Oriented Database Systems, (Ref: ThesisPS) 1990

P. Sawyer
• Graphical Support for User Interface Specification, (Ref: ThesisDE) 1991

D. England
• Software Reclamation: Upgrading Code for Resuability, (Ref: ThesisEG) 1991

E.S. Garnett
• Distributed Real-Time System: A Design Environment, (Ref: ThesisAM) 1992

A. Merabti
• An Investigation into Tool Support for the Development of Reusable Software, (Ref: ThesisMR) 1992

M. Ramachandran
• Modelling and Evaluating Timing Constraints in Real-Time Systems, (Ref: ThesisSB) 1993

S.J. Berryman
• A Model for Schema Evolution in Object-Oriented Database Systems, (Ref: ThesisSM) 1993

S. Monk
• Supporting Multi-User Interface Development for Cooperative Systems, (Ref: ThesisRB) 1994

R. Bentley
• A Viewpoint-Oriented Method for Requirements Definition, (Ref: ThesisGK) 1994

G. Kotoyna
• Intelligent Student Systems: An Application of Viewpoints to Intelligent Learning Environments, (Ref: ThesisDN) 1995

D.M. Nichols
• A Group Hypertext System for Capturing Maintenance Rationale, (Ref: ThesisRL) 1995

R. Lougher
• Infrastructure support for CSCW, (gzip version ), (Ref: ThesisJT) 1995

J. Trevor
• A Shared Object Layer to Support Cooperative User Interfaces, (Ref: ThesisGS) 1995

G. Smith
• An Analogical Reasoning Based Mathematics Tutoring System, (Ref: ThesisGSp) 1996

G. Spiers
• Metamorphosis: An Integrated Object Oriented Requirements Analysis and Specification Method, (Ref: ThesisJA) 1996

J. Araujo Jnr.
• The VOCAL Test Methodology, (Ref: ThesisDP) 1998

D. Pemberton

M.Phils Awarded Since 1990

• Graphical and Iconic Programming Languages for Process Control: an Object Oriented Approach, (Ref: ThesisSC) 1990

S.E. Coote