Clazien D. Wezeman

Publication Activity (10 Years)

Years Active: 1989-1996
Publications (10 Years): 0

Publications

Elizabeth Burd, Malcolm Munro, Clazien D. Wezeman
Extracting Reusable Modules from Legacy Code: Considering the Issues of Module Granularity. WCRE (1996)
Elizabeth Burd, Malcolm Munro, Clazien D. Wezeman
Analysing Large COBOL Programs: the extraction of reusable modules. ICSM (1996)
Clazien D. Wezeman, Anthony J. Judge
Z for Managed Objects. Z User Workshop (1994)
Elspeth Cusack, Clazien D. Wezeman
Deriving Tests for Objects Specified in Z. Z User Workshop (1992)
Clazien D. Wezeman, S. Batley, J. Lynch
Formal Methods to Assist Conformance Testing. A Case Study. FORTE (1990)
Clazien D. Wezeman
The CO-OP Method for Compositional Derivation of Conformance Testers. PSTV (1989)