Lesley Semmens

According to our database, Lesley Semmens authored at least 7 papers between 1990 and 1996.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1996

Methods integration : rigorous systems specification using structured analysis and formal notations.

Lesely T. Semmens

PhD thesis, 1996

1995

Using Z to Rigorously Review a Specification of a Network Management System.

Tony Bryant, Andy Evans, Lesley Semmens, Rajko Milovanovic, Sinclair Guillaume Stockman, Mark T. Norris, Clive Selley

Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995

An Integrated Approach to Teaching Requirements Modelling.

Pat Allen, Lesley Semmens

Proceedings of the Software Engineering Education, 8th SEI CSEE Conference, New Orleans, LA, USA, March 29, 1995

1994

Applying formal methods within structured development.

Sukhvinder S. Aujla, Tony Bryant, Lesley Semmens

IEEE J. Sel. Areas Commun., 1994

1993

Method Integration: Concepts and Case Studies, by Klaus Kronlöf (Editor), Wiley, 1993 (Book Review).

Lesley Semmens

Softw. Test. Verification Reliab., 1993

1992

Integrated Structured Analysis and Formal Specification Techniques.

Lesley Semmens, Robert B. France, Thomas W. G. Docker

Comput. J., 1992

1990

Using Yourdon and Z: an Approach to Formal Specification.

Lesley Semmens, Pat Allen

Proceedings of the Z User Workshop, 1990