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 × 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 DBLP: Dromey:R=_Geoff

Contributed to:

ASE 20042004
SEFM 20042004
SEFM 20032003
EDOC 20022002
ICSE 19961996

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.

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.