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 |