Thesis: An Algebraic Theory of Software Interfaces

This thesis is about:

• the mathematics of packaging software into reusable components, and
• discovering a basis for defining a subset of the Unified Modelling Language (UML).

Abstract: printed abstract is available.

Institution: University of Wales Swansea

Date: 22nd February 2001

Supervisor: Prof. J. V. Tucker, UW Swansea

External Examiner: Grant Malcom, Liverpool University

bibliography in BibTeX format