| |
| 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 | |
| 1 | Robert B. France | [2] [3] [4] [5] |
| 2 | Lesley Semmens | [4] |