Elspeth Cusack

According to our database, Elspeth Cusack authored at least 11 papers between 1988 and 1992.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1992

Formal object-oriented methods in communication standards.

Elspeth Cusack, Gregor von Bochmann

OOPS Messenger, 1992

Deriving Tests for Objects Specified in Z.

Elspeth Cusack, Clazien D. Wezeman

Proceedings of the Z User Workshop, London, UK, 14-15 December 1992, Proceedings, 1992

ZEST.

Elspeth Cusack, G.-H. Bagherzadeh Rafsanjani

Proceedings of the Object Orientation in Z, 1992

Using Z in Communications Engineering.

Elspeth Cusack

Proceedings of the Z User Workshop, London, UK, 14-15 December 1992, Proceedings, 1992

1991

Refinement, Conformance and Inheritance.

Elspeth Cusack

Formal Aspects Comput., 1991

Design Techniques and Methodologies.

Elspeth Cusack

Proceedings of the Open Distributed Processing: Proceedings of the IFIP TC6/WG6.4 International Workshop on Open Distributed Processing, 1991

Object Oriented Modelling in Z for Open Distributed Systems.

Elspeth Cusack

Proceedings of the Open Distributed Processing: Proceedings of the IFIP TC6/WG6.4 International Workshop on Open Distributed Processing, 1991

Inheritance in Object-Oriented Z.

Elspeth Cusack

Proceedings of the ECOOP'91 European Conference on Object-Oriented Programming, 1991

1990

Object-Oriented Specification on LOTOS and Z, or My Cat Really is Object-Oriented!

Elspeth Cusack, Michael Lai

Proceedings of the Foundations of Object-Oriented Languages, 1990

1989

An Object Oriented Interpretation of LOTOS.

Elspeth Cusack, Steve Rudkin, Chris Smith

Proceedings of the Formal Description Techniques, 1989

1988

Formal Design and Development of Ada Real-Time Embedded Systems.

Elspeth Cusack

Proceedings of the Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 1988