Volume 12, Number 1, March 2002
R. W. Whitty
: Digraphs: theory, algorithms and applications.
: Refinement in Z and object-Z: foundations and advanced applications.
Volume 12, Number 2, June 2002
Ronald A. Olsson
: Additional transformations for multiple-level escape statements.
: Testing it: an off-the-shelf software testing process.
Helen M. Edwards
: Problem frames: analyzing and structuring software development problems.
Volume 12, Number 3, September 2002
Volume 12, Number 4, 2002
Lee J. White
: Editorial: The importance of empirical work for software engineering papers.