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: D=uuml=rr:Eug=egrave=ne
Contributed to:
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.