 | 1995 |
|---|
| 5 |       | Pat Allen,
Lesley Semmens:
An Integrated Approach to Teaching Requirements Modelling.
CSEE 1995: 223-237 |
| 4 |  | Tony Bryant,
Andy Evans,
Lesley Semmens,
Rajko Milovanovic,
Sinclair Guillaume Stockman,
Mark Norris,
Clive Selley:
Using Z to Rigorously Review a Specification of a Network Management System.
ZUM 1995: 423-433 |
| 1993 |
|---|
| 3 | | Lesley Semmens:
Method Integration: Concepts and Case Studies, by Klaus Kronlöf (Editor), Wiley, 1993 (Book Review).
Softw. Test., Verif. Reliab. 3(2): 113-114 (1993) |
| 1992 |
|---|
| 2 | | Lesley Semmens,
Robert B. France,
Thomas W. G. Docker:
Integrated Structured Analysis and Formal Specification Techniques.
Comput. J. 35(6): 600-610 (1992) |
| 1990 |
|---|
| 1 | | Lesley Semmens,
Pat Allen:
Using Yourdon and Z: an Approach to Formal Specification.
Z User Workshop 1990: 228-253 |
