The partial metrics system: Modeling the stepwise refinement process using partial metrics

Abstract

The Partial Metrics System design is explained, with an emphasis on the refinement process. A model, with its three phases, shows that the pseudocode refinement process can be monitored in partial metric terms. © 1987, ACM. All rights reserved.