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.

REFERENCES

• 1: Alfred V. Aho , John E. Hopcroft , Jeffrey Ullman , J. D. Ullman , J. E. Hopcroft, Data Structures and Algorithms, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1983
• 2: Moshe J. Augenstein , Aaron M. Tenenbaum, Data Structures and PL-1 Programming, Prentice Hall Professional Technical Reference, 1979
• 3: Back, R. On correct refinement of programs. 1. Con~put. Syst. Sri. 23, 1 (lam 1981). 49-68.
• 4: Robert Balzer, A 15 year perspective on automatic programming, IEEE Transactions on Software Engineering, v.11 n.11, p.1257-1268, Nov. 1985 [doi>10.1109/TSE.1985.231877]
• 5: Barstow. D.R. Knowkdge-Based Program Consfrucfion. Elsevier North- Holland. New York, 1979.
• 6: Fairley. R. So/fume Engineering Concepfs. McGraw-Hill, New York, 1985. pp. 164-166.
• 7: W. Findlay , D. A. Watt, Pascal: an introduction to methodical programming; (3rd ed.), Computer Science Press, Inc., New York, NY, 1987
• 8: Gehani. N. Program development by stepwise refinement and related topics. Bell Sysf. Tech. 1. 60, 3 (Mar. 1981), 347-378.
• 9: Philip Gilbert, Software design and development, SRA School Group, 1986
• 10: J. K. Hughes , G. C. Michtom , J. I. Michtom, A structured approach to programming, Prentice-Hall, Inc., Upper Saddle River, NJ, 1987
• 11: Ince. D. A software tool for too-down oroerammina. Soffw. Pracf. Exper. 13.8 (Aug. 1983). 687-$95. ' - - '
• 12: lensen. R.. and Tonics. C. Soffware Engineering. Prentice-Hall, Englewood Cliffs. N.I.. 1979. pp. 278-298.
• 13: W. Lewis Johnson , Elliot Soloway, PROUST: An automatic debugger for Pascal programs, Artificial intelligence and instruction: Applications and methods, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1987
• 14: Joseph P. Kearney , Robert L. Sedlmeyer , William B. Thompson , Michael A. Gray , Michael A. Adler, Software complexity measurement, Communications of the ACM, v.29 n.11, p.1044-1050, Nov. 1986 [doi>10.1145/7538.7540]
• 15: Koenig, A. Program development by stepwise refinement. In Proceedings o/Share (Montreal. Canada, Aug. 15-20). Wiley, New York, 1976. pp. 1157-1164.
• 16: Glenford J. Myers, Softwear Reliability, John Wiley & Sons, Inc., New York, NY, 1976
• 17: H. Partsch , R. Steinbrüggen, Program Transformation Systems, ACM Computing Surveys (CSUR), v.15 n.3, p.199-236, Sept. 1983 [doi>10.1145/356914.356917]
• 18: Robert G. Reynolds, Metrics to measure the complexity of partial programs, Journal of Systems and Software, v.4 n.1, p.75-91, April 1984 [doi>10.1016/0164-1212(84)90023-2]
• 19: Reynolds, R.G. PMS: An inference system to monitor the stepwise refinement of Ada pseudocode. IEEE Experf I. 4 (Winter 1986). 43-49.
• 20: Robert G. Reynolds , Drew Roberts, PARTIAL: a tool to support the metrics driven design of Ada programs, Proceedings of the 1986 ACM fourteenth annual conference on Computer science, p.213-220, February 1986, Cincinnati, Ohio, United States [doi>10.1145/324634.325391]
• 21: Richard C Waters, KBEmacs: Where's the AI?, AI Magazine, v.7 n.1, p.57-61, March 1986
• 22: Jim Welsh , John Elder , David Bustard, Sequential program structures, Prentice-Hall, Inc., Upper Saddle River, NJ, 1984
• 23: Niklaus Wirth, Program development by stepwise refinement, Communications of the ACM, v.14 n.4, p.221-227, April 1971 [doi>10.1145/362575.362577]
• 24: Wood, D. Paradigms and Programming with Pascal. Computer Science Press. Rockville, Md.. 1984. pp. 51-77.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques
          Subjects: Top-down programming**
      D.2.7 Distribution, Maintenance, and Enhancement
          Subjects: Version control
      D.2.8 Metrics
          Subjects: Complexity measures; Software science**

  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.1 Applications and Expert Systems
          Subjects: Office automation
      I.2.2 Automatic Programming
          Subjects: Program synthesis
      I.2.3 Deduction and Theorem Proving
          Subjects: Logic programming

General Terms:
Design, Management, Measurement