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 × USA
1 × United Kingdom
Collaborated with:
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 DBLP: Docker:Thomas_W=_G=

Contributed to:

ESEC 19891989
ICLP/SPL 19881988

Wrote 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.

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.