| |
| 1992 | ||
|---|---|---|
| 11 | Elspeth Cusack, G.-H. Bagherzadeh Rafsanjani: ZEST. Object Orientation in Z 1992: 113-126 | |
| 10 | Elspeth Cusack, Clazien D. Wezeman: Deriving Tests for Objects Specified in Z. Z User Workshop 1992: 180-195 | |
| 9 | Elspeth Cusack: Using Z in Communications Engineering. Z User Workshop 1992: 196-202 | |
| 8 | Elspeth Cusack, Gregor von Bochmann: Formal object-oriented methods in communication standards. OOPS Messenger 3(2): 7-8 (1992) | |
| 1991 | ||
| 7 | EE | Elspeth Cusack: Inheritance in Object-Oriented Z. ECOOP 1991: 167-179 |
| 6 | Elspeth Cusack: Object Oriented Modelling in Z for Open Distributed Systems. Open Distributed Processing 1991: 167-178 | |
| 5 | Elspeth Cusack: Design Techniques and Methodologies. Open Distributed Processing 1991: 433-434 | |
| 4 | Elspeth Cusack: Refinement, Conformance and Inheritance. Formal Asp. Comput. 3(2): 129-141 (1991) | |
| 1990 | ||
| 3 | Elspeth Cusack, Michael Lai: Object-Oriented Specification on LOTOS and Z, or My Cat Really is Object-Oriented! REX Workshop 1990: 179-202 | |
| 1989 | ||
| 2 | Elspeth Cusack, Steve Rudkin, Chris Smith: An Object Oriented Interpretation of LOTOS. FORTE 1989: 211-226 | |
| 1988 | ||
| 1 | Elspeth Cusack: Formal Design and Development of Ada Real-Time Embedded Systems. Specification and Verification of Concurrent Systems 1988: 71-83 | |
| 1 | Gregor von Bochmann | [8] |
| 2 | Michael Lai | [3] |
| 3 | G.-H. Bagherzadeh Rafsanjani | [11] |
| 4 | Steve Rudkin | [2] |
| 5 | Chris Smith | [2] |
| 6 | Clazien D. Wezeman | [10] |