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 × Denmark
1 × France
1 × Germany
Collaborated with:
S.J.Goldsack E.M.Dusink J.v.Katwijk
Talks about:
develop (2) system (2) vdm (2) languag (1) concurr (1) specif (1) formal (1) design (1) track (1) trace (1)

Person: Eugène Dürr

DBLP DBLP: D=uuml=rr:Eug=egrave=ne

Contributed to:

TOOLS Europe 19941994
FME 19931993
TOOLS Europe 19921992

Wrote 3 papers:

TOOLS-EUROPE-1994-DurrG #concurrent #development
Rigorous Development of Concurrent O-O Systems (ED, SJG), p. 515.
FME-1993-DurrD #development #realtime
Role of VDM(++) in the Development of a Real-Time Tracking and Tracing System (ED, EMD), pp. 64–72.
TOOLS-EUROPE-1992-DurrK #design #object-oriented #specification
VDM++, A Formal Specification Language for OO Designs (ED, JvK), pp. 63–77.

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.