Travelled to:
1 × Australia
1 × Austria
1 × China
1 × Germany
1 × Switzerland
Collaborated with:
L.Wen ∅ Z.Milosevic S.Pan C.Smith K.Winter I.J.Hayes P.A.Lindsay D.A.Carrington
Talks about:
requir (3) formal (2) design (2) chang (2) behaviour (1) structur (1) contract (1) program (1) monitor (1) express (1)
Person: R. Geoff Dromey
DBLP: Dromey:R=_Geoff
Contributed to:
Wrote 5 papers:
- ASE-2004-SmithWHDLC #requirements
- An Environment for Building a System out of its Requirements (CS, KW, IJH, RGD, PAL, DAC), pp. 398–399.
- SEFM-2004-WenD #design #requirements
- From Requirements Change to Design Change: A Formal Path (LW, RGD), pp. 104–113.
- SEFM-2003-Dromey #design #formal method #requirements
- From Requirements to Design: Formalizing the Key Steps (RGD), p. 2–?.
- EDOC-2002-MilosevicD #behaviour #contract #monitoring #on the
- On Expressing and Monitoring Behaviour in Contracts (ZM, RGD), pp. 3–14.
- ICSE-1996-PanD #programming
- Beyond Structured Programming (SP, RGD), pp. 268–277.