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

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.