dblp.uni-trier.dewww.uni-trier.de

Lesley Semmens

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Pat Allen [1] [5]
2Tony Bryant [4]
3Thomas W. G. Docker [2]
4Andy Evans [4]
5Robert B. France [2]
6Rajko Milovanovic [4]
7Mark Norris [4]
8Clive Selley [4]
9Sinclair Guillaume Stockman [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)