1996 | ||
---|---|---|
6 | EE | Elizabeth Burd, Malcolm Munro, Clazien D. Wezeman: Analysing Large COBOL Programs: the extraction of reusable modules. ICSM 1996: 238-243 |
5 | EE | Elizabeth Burd, Malcolm Munro, Clazien D. Wezeman: Extracting Reusable Modules from Legacy Code: Considering the Issues of Module Granularity. WCRE 1996: 189- |
1994 | ||
4 | Clazien D. Wezeman, Anthony J. Judge: Z for Managed Objects. Z User Workshop 1994: 108-119 | |
1992 | ||
3 | Elspeth Cusack, Clazien D. Wezeman: Deriving Tests for Objects Specified in Z. Z User Workshop 1992: 180-195 | |
1990 | ||
2 | Clazien D. Wezeman, S. Batley, J. Lynch: Formal Methods to Assist Conformance Testing. A Case Study. FORTE 1990: 157-174 | |
1989 | ||
1 | Clazien D. Wezeman: The CO-OP Method for Compositional Derivation of Conformance Testers. PSTV 1989: 145-158 |
1 | S. Batley | [2] |
2 | Elizabeth Burd (Liz Burd) | [5] [6] |
3 | Elspeth Cusack | [3] |
4 | Anthony J. Judge | [4] |
5 | J. Lynch | [2] |
6 | Malcolm Munro | [5] [6] |