modelling and abstraction

object orientation, patterns, Smalltalk

my OO publications
projects
- PROST-Objects, DTI, 1993-1995
- ORCA, DTI-IED, 1990-1993
talks
- Frameworks: capturing OO architectures, 1992
some useful links

formal methods and Z

my Z publications
projects
- E6 smartcard applications, NatWest, 1994-1999
- DeCCo, AWE, 1992-2001
- ZIP, DTI-IED, 1990-1993
- Admiral, Alvey, 1984-1985
some useful links