Lesley Semmens

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1996
Methods integration : rigorous systems specification using structured analysis and formal notations.
PhD thesis, 1996

1995
Using Z to Rigorously Review a Specification of a Network Management System.
Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995

An Integrated Approach to Teaching Requirements Modelling.
Proceedings of the Software Engineering Education, 8th SEI CSEE Conference, New Orleans, LA, USA, March 29, 1995

1994
Applying formal methods within structured development.
IEEE J. Sel. Areas Commun., 1994

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

1992
Integrated Structured Analysis and Formal Specification Techniques.
Comput. J., 1992

1990
Using Yourdon and Z: an Approach to Formal Specification.
Proceedings of the Z User Workshop, 1990


  Loading...