The partial metrics system: modeling the stepwise refinement process using partial metrics
- 1 November 1987
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 30 (11) , 956-963
- https://doi.org/10.1145/32206.32211
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.Keywords
This publication has 9 references indexed in Scilit:
- Software complexity measurementCommunications of the ACM, 1986
- PMS: An Inference System to Monitor the Stepwise Refinement of Ada PseudocodeIEEE Expert, 1986
- PARTIALPublished by Association for Computing Machinery (ACM) ,1986
- A 15 Year Perspective on Automatic ProgrammingIEEE Transactions on Software Engineering, 1985
- Metrics to measure the complexity of partial programsJournal of Systems and Software, 1984
- Program Transformation SystemsACM Computing Surveys, 1983
- A software tool for top-down programmingSoftware: Practice and Experience, 1983
- On correct refinement of programsJournal of Computer and System Sciences, 1981
- Program development by stepwise refinementCommunications of the ACM, 1971