| 1993 |
|---|
| 5 | | Robert B. France,
Thomas W. G. Docker:
Towards CASE Tool Support for Rigorous Structured Analysis.
ICCI 1993: 474-478 |
| 1992 |
|---|
| 4 | | Lesley Semmens,
Robert B. France,
Thomas W. G. Docker:
Integrated Structured Analysis and Formal Specification Techniques.
Comput. J. 35(6): 600-610 (1992) |
| 1989 |
|---|
| 3 | | Robert B. France,
Thomas W. G. Docker:
Formal Specification Using Structured Systems Analysis.
ESEC 1989: 293-310 |
| 2 | | Thomas W. G. Docker,
Robert B. France:
Flexibility and Rigour in Structured Analysis.
IFIP Congress 1989: 89-94 |
| 1988 |
|---|
| 1 | | Thomas W. G. Docker:
SAME - A Structured Analysis Tool and its Implementation in Prolog.
ICLP/SLP 1988: 82-95 |
