The Use of Refinement Metrics to Assess Programming Language Support for the Stepwise Refinement Process.

Robert G. Reynolds, Jonathan I. Maletic

Browse the full SEKE paper archive.