|
Search the dblp DataBase
Thomas W. G. Docker:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Robert B. France, Thomas W. G. Docker
Formal Specification Using Structured Systems Analysis. [Citation Graph (1, 0)][DBLP] ESEC, 1989, pp:293-310 [Conf]
- Robert B. France, Thomas W. G. Docker
Towards CASE Tool Support for Rigorous Structured Analysis. [Citation Graph (0, 0)][DBLP] ICCI, 1993, pp:474-478 [Conf]
- Thomas W. G. Docker
SAME - A Structured Analysis Tool and its Implementation in Prolog. [Citation Graph (0, 0)][DBLP] ICLP/SLP, 1988, pp:82-95 [Conf]
- Thomas W. G. Docker, Robert B. France
Flexibility and Rigour in Structured Analysis. [Citation Graph (0, 0)][DBLP] IFIP Congress, 1989, pp:89-94 [Conf]
- Lesley Semmens, Robert B. France, Thomas W. G. Docker
Integrated Structured Analysis and Formal Specification Techniques. [Citation Graph (0, 0)][DBLP] Comput. J., 1992, v:35, n:6, pp:600-610 [Journal]
Search in 0.003secs, Finished in 0.003secs
|