dblp.uni-trier.dewww.uni-trier.de

Clazien D. Wezeman

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1996
6EEElizabeth Burd, Malcolm Munro, Clazien D. Wezeman: Analysing Large COBOL Programs: the extraction of reusable modules. ICSM 1996: 238-243
5EEElizabeth 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

Coauthor Index

1S. Batley [2]
2Elizabeth Burd (Liz Burd) [5] [6]
3Elspeth Cusack [3]
4Anthony J. Judge [4]
5J. Lynch [2]
6Malcolm Munro [5] [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)