Home

Publications

"The development of a commercial "shrink-wrapped application" to Safety Integrity Level 2: The DUST-EXPERT™ story"
Tim Clement, Ian Cottam, Peter Froome and Claire Jones, 1999.

"The formal development of a Windows interface."
Tim Clement, 1998, Northern Formal Methods Workshop, Ilkeley, September 1998. Springer Verlag (c) Springer Verlag

"Data reification without explicit abstraction functions."
Tim Clement, 1996, FME'96, Oxford, March 1996 Springer Verlag (c) Springer Verlag