Metrics to measure the complexity of partial programs
Journal of Systems and Software
Software design and development
Software design and development
Program development by stepwise refinement
Communications of the ACM
ADA, an Advanced Introduction
Elements of Software Science (Operating and programming systems series)
Elements of Software Science (Operating and programming systems series)
Softwear Reliability
Structured Programming; Theory and Practice the Systems Programming Series
Structured Programming; Theory and Practice the Systems Programming Series
Hi-index | 0.00 |
This paper describes a software tool, PARTIAL, that monitors a sequence of stepwise refinements. This tool is designed to collect information about properties of the stepwise refinement of pseudocode, where the pseudocode can be based upon any target language. The particular language selected to illustrate the system here is Ada.The system is used to analyze a stepwise refinement sequence from Myers (7). While few patterns appear evident when looking at this sequence of stepwise refinements, use of the partial metrics system illuminates a set of distinctly linear trends in the development process. These trends suggest questions that can be investigated in the future using the partial metrics approach.