Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Lesley Semmens

Lesely T. Semmens

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1996
[b1]
- view
  - electronic edition @ bl.uk
  - no references & citations available
- export record
  dblp key:
  - phd/ethos/Semmens96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ethos/Semmens96
Lesely T. Semmens:
Methods integration : rigorous systems specification using structured analysis and formal notations. Leeds Beckett University, UK, 1996
1995
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/csee/AllenS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csee/AllenS95
Pat Allen, Lesley Semmens:
An Integrated Approach to Teaching Requirements Modelling. CSEE 1995: 223-237
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/zum/BryantESMSNS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/BryantESMSNS95
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: 423-433
1994
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/jsac/AujlaBS94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsac/AujlaBS94
Sukhvinder S. Aujla, Tony Bryant, Lesley Semmens:
Applying formal methods within structured development. IEEE J. Sel. Areas Commun. 12(2): 258-264 (1994)
1993
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/Semmens93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/Semmens93
Lesley Semmens:
Method Integration: Concepts and Case Studies, by Klaus Kronlöf (Editor), Wiley, 1993 (Book Review). Softw. Test. Verification Reliab. 3(2): 113-114 (1993)
1992
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/SemmensFD92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/SemmensFD92
Lesley Semmens, Robert B. France, Thomas W. G. Docker:
Integrated Structured Analysis and Formal Specification Techniques. Comput. J. 35(6): 600-610 (1992)
1990
[c1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/zum/SemmensA90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/SemmensA90
Lesley Semmens, Pat Allen:
Using Yourdon and Z: an Approach to Formal Specification. Z User Workshop 1990: 228-253

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.