|
Search the dblp DataBase
Clazien D. Wezeman:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Clazien D. Wezeman, S. Batley, J. Lynch
Formal Methods to Assist Conformance Testing. A Case Study. [Citation Graph (0, 0)][DBLP] FORTE, 1990, pp:157-174 [Conf]
- Elizabeth Burd, Malcolm Munro, Clazien D. Wezeman
Analysing Large COBOL Programs: the extraction of reusable modules. [Citation Graph (0, 0)][DBLP] ICSM, 1996, pp:238-243 [Conf]
- Clazien D. Wezeman
The CO-OP Method for Compositional Derivation of Conformance Testers. [Citation Graph (0, 0)][DBLP] PSTV, 1989, pp:145-158 [Conf]
- Elizabeth Burd, Malcolm Munro, Clazien D. Wezeman
Extracting Reusable Modules from Legacy Code: Considering the Issues of Module Granularity. [Citation Graph (0, 0)][DBLP] WCRE, 1996, pp:189-0 [Conf]
- Elspeth Cusack, Clazien D. Wezeman
Deriving Tests for Objects Specified in Z. [Citation Graph (0, 0)][DBLP] Z User Workshop, 1992, pp:180-195 [Conf]
- Clazien D. Wezeman, Anthony J. Judge
Z for Managed Objects. [Citation Graph (0, 0)][DBLP] Z User Workshop, 1994, pp:108-119 [Conf]
Search in 0.001secs, Finished in 0.001secs
|