BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × USA
2 × Poland
Collaborated with:
H.Fill D.Karagiannis L.Marcus
Talks about:
model (3) formal (2) meta (2) fdmm (2) oxx (2) ad (2) implement (1) describ (1) method (1) proof (1)

Person: Timothy Redmond

DBLP DBLP: Redmond:Timothy

Contributed to:

Post-ICEIS 20122012
ICEIS v3 20122012
CADE 19881988

Wrote 3 papers:

ICEIS-J-2012-FillRK12a #formal method #metamodelling #modelling
Formalizing Meta Models with FDMM: The ADOxx Case (HGF, TR, DK), pp. 429–451.
ICEIS-v3-2012-FillRK #metamodelling #modelling #named
FDMM: A Formalism for Describing ADOxx Meta Models and Models (HGF, TR, DK), pp. 133–144.
CADE-1988-MarcusR #automation #implementation #proving
Two Automated Methods in Implementation Proofs (LM, TR), pp. 622–642.

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.