default search action

combined dblp search
author search
venue search
publication search

ask others

Elspeth Cusack

> 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?

1992
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/oopsm/CusackB92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/oopsm/CusackB92
Elspeth Cusack, Gregor von Bochmann:
Formal object-oriented methods in communication standards. OOPS Messenger 3(2): 7-8 (1992)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/zum/CusackW92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/CusackW92
Elspeth Cusack, Clazien D. Wezeman:
Deriving Tests for Objects Specified in Z. Z User Workshop 1992: 180-195
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/zum/Cusack92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/Cusack92
Elspeth Cusack:
Using Z in Communications Engineering. Z User Workshop 1992: 196-202
[p1]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/zum/CusackR92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/CusackR92
Elspeth Cusack, G.-H. Bagherzadeh Rafsanjani:
ZEST. Object Orientation in Z 1992: 113-126
1991
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/Cusack91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/Cusack91
Elspeth Cusack:
Refinement, Conformance and Inheritance. Formal Aspects Comput. 3(2): 129-141 (1991)
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/Cusack91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/Cusack91
Elspeth Cusack:
Inheritance in Object-Oriented Z. ECOOP 1991: 167-179
[c5]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/odp/Cusack91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/odp/Cusack91
Elspeth Cusack:
Object Oriented Modelling in Z for Open Distributed Systems. Open Distributed Processing 1991: 167-178
[c4]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/odp/Cusack91a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/odp/Cusack91a
Elspeth Cusack:
Design Techniques and Methodologies. Open Distributed Processing 1991: 433-434
1990
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/rex/CusackL90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rex/CusackL90
Elspeth Cusack, Michael Lai:
Object-Oriented Specification on LOTOS and Z, or My Cat Really is Object-Oriented! REX Workshop 1990: 179-202

1980 – 1989

see FAQ

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

1989
[c2]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/CusackRS89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/CusackRS89
Elspeth Cusack, Steve Rudkin, Chris Smith:
An Object Oriented Interpretation of LOTOS. FORTE 1989: 211-226
1988
[c1]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/facs/Cusack88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs/Cusack88
Elspeth Cusack:
Formal Design and Development of Ada Real-Time Embedded Systems. Specification and Verification of Concurrent Systems 1988: 71-83

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.