Travelled to:1 × Germany
1 × Spain
1 × The Netherlands
1 × United Kingdom
Collaborated with:∅ M.v.d.Meulen
Talks about:reific (2) data (2) transform (1) function (1) explicit (1) approach (1) abstract (1) without (1) scheldt (1) eastern (1)
Person: Tim Clement
DBLP: Clement:Tim
Facilitated 2 volumes:
EdEdContributed to:
199819961994
1991Wrote 5 papers:
- FM-1998-MeulenC #formal method #specification
- Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier (MvdM, TC), pp. 296–301.
- FME-1996-Clement #abstraction
- Data Reification without Explicit Abstraction Functions (TC), pp. 195–213.
- FME-1994-Clement
- Comparing Approaches to Data Reification (TC), pp. 118–133.
- VDME-1991-Clement #development
- Combining Transformation and Posit-and Prove in a VDM Development (TC), pp. 63–80.