Partial: A Software Tool for the Development of Ada Programs

  • Robert G. Reynolds


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 Meyers.1 While few patterns appear eveident when looking at this sequence of stepwise refinements, use of the partial metrics system illustrates 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.


Partial Metrics Partial System Size Loop Main Menu Projected Component 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    GJ. Meyers,Software Reliability, John Wiley and Sons, New York, NY, 1976Google Scholar
  2. 2.
    P. Gilbert, Software Design and Development, SRA Press, Chicago, 1983Google Scholar
  3. 3.
    R. C. Linger, H. D. Mills, and B. I. Witt, Structured Programming: Theory and Practice, Addison-Wesley 1797Google Scholar
  4. 4.
    N. Gehani,Ada: An Advanced Introduction, Prentice-Hall, Englewood Cliffs, N.J., 1983.Google Scholar
  5. 5.
    N. Wirth, Program development by stepwise refinement,CACM,14(4), 1971Google Scholar
  6. 6.
    N. Wirth, Program development by stepwise refinement,CACM,14(4), 1971Google Scholar
  7. 7.
    M. H. Halstead,Elements of Software Science, Elsevier North-Holland, New York, NY, 1977.Google Scholar
  8. 8.
    E. Yourdon and L. L. Constantine,Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design, Prentice-Hall, Englewood Cliffs, NJ, 1979.Google Scholar

Copyright information

© Springer-Verlag US 1985

Authors and Affiliations

  • Robert G. Reynolds
    • 1
  1. 1.Department of Computer ScienceWayne State UniversityDetroitUSA

Personalised recommendations