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 × Italy
1 × Vietnam
Collaborated with:
T.S.Hoang J.Abrial D.A.Basin K.Desai N.Sato K.Miyazaki
Talks about:
event (2) support (1) pattern (1) generat (1) tool (1) code (1)

Person: Andreas Fürst

DBLP DBLP: F=uuml=rst:Andreas

Contributed to:

IFM 20142014
SEFM 20092009

Wrote 2 papers:

IFM-2014-FurstHBDSM #code generation
Code Generation for Event-B (AF, TSH, DAB, KD, NS, KM), pp. 323–338.
SEFM-2009-HoangFA #tool support
Event-B Patterns and Their Tool Support (TSH, AF, JRA), pp. 210–219.

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.