Elspeth Cusack

Publication Activity (10 Years)

Years Active: 1988-1992
Publications (10 Years): 0

Publications

Elspeth Cusack, Gregor von Bochmann
Formal object-oriented methods in communication standards. OOPS Messenger 3 (2) (1992)
Elspeth Cusack
Using Z in Communications Engineering. Z User Workshop (1992)
Elspeth Cusack, Clazien D. Wezeman
Deriving Tests for Objects Specified in Z. Z User Workshop (1992)
Elspeth Cusack
Design Techniques and Methodologies. Open Distributed Processing (1991)
Elspeth Cusack
Refinement, Conformance and Inheritance. Formal Aspects Comput. 3 (2) (1991)
Elspeth Cusack
Inheritance in Object-Oriented Z. ECOOP (1991)
Elspeth Cusack
Object Oriented Modelling in Z for Open Distributed Systems. Open Distributed Processing (1991)
Elspeth Cusack, Michael Lai
Object-Oriented Specification on LOTOS and Z, or My Cat Really is Object-Oriented! REX Workshop (1990)
Elspeth Cusack, Steve Rudkin, Chris Smith
An Object Oriented Interpretation of LOTOS. FORTE (1989)
Elspeth Cusack
Formal Design and Development of Ada Real-Time Embedded Systems. Specification and Verification of Concurrent Systems (1988)