BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Clement:Tim

Facilitated 2 volumes:

LOPSTR 1992Ed
LOPSTR 1991Ed

Contributed to:

FM-Trends 19981998
FME 19961996
FME 19941994
VDM Europe (1) 19911991

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.