Lesley Semmens

Publication Activity (10 Years)

Years Active: 1990-1995
Publications (10 Years): 0

Publications

Pat Allen, Lesley Semmens
An Integrated Approach to Teaching Requirements Modelling. CSEE (1995)
Tony Bryant, Andy Evans, Lesley Semmens, Rajko Milovanovic, Sinclair Guillaume Stockman, Mark T. Norris, Clive Selley
Using Z to Rigorously Review a Specification of a Network Management System. ZUM (1995)
Sukhvinder S. Aujla, Tony Bryant, Lesley Semmens
Applying formal methods within structured development. IEEE J. Sel. Areas Commun. 12 (2) (1994)
Lesley Semmens
Method Integration: Concepts and Case Studies, by Klaus Kronlöf (Editor), Wiley, 1993 (Book Review). Softw. Test. Verification Reliab. 3 (2) (1993)
Lesley Semmens, Robert B. France, Thomas W. G. Docker
Integrated Structured Analysis and Formal Specification Techniques. Comput. J. 35 (6) (1992)
Lesley Semmens, Pat Allen
Using Yourdon and Z: an Approach to Formal Specification. Z User Workshop (1990)