Travelled to:1 × USA
1 × United Kingdom
Collaborated with:R.B.France ∅
Talks about:structur (2) analysi (2) implement (1) system (1) specif (1) prolog (1) formal (1) tool (1) same (1) use (1)
Person: Thomas W. G. Docker
DBLP: Docker:Thomas_W=_G=
Contributed to:
1989
1988Wrote 2 papers:
- ESEC-1989-FranceD #analysis #specification #using
- Formal Specification Using Structured Systems Analysis (RBF, TWGD), pp. 293–310.
- JICSCP-1988-Docker88 #analysis #implementation #named #prolog
- SAME — A Structured Analysis Tool and its Implementation in Prolog (TWGD), pp. 82–95.