Academia.eduAcademia.edu

Outline

A KnowledgeBased System for Software Maintenance

1988

Abstract

A description of an Intelligent, Knowledge-Based maintenance tool, being developed by the Centre for Software Maintenance at the University of Durham is described. The tool is intended to help reduce the amount of time spent on analysing code. Code analysis is performed when a programmer is familiarising himself with a piece of code, and when the e ects of a proposed modi cation of the code is being assessed.

References (26)

  1. First Software Maintenance Workshop Notes, 8 th -9 th September 1987 eds. Munro, M. and Calliss, F.W. Centre for Software Maintenance, University of Durham, Durham.
  2. Back, R. J. R. Correctness Preserving Program Re nements, Mathematical Centre Tracts 131, Mathematisch Centrum 1980.
  3. Bauer, F. L. Programming as an Evolutionary Process , in 12], pp.153-182, 1976.
  4. Bauer, F.L. Program Development By Stepwise Transformations -the Project CIP , in 13], pp.237-266 1979.
  5. Calliss, F.W., Problems With Automatic Restructurerers , SIGPLAN Notices, vol. 23, no. 3, pp.13-21, March 1988.
  6. Calliss, F.W. and Cornelius, B.J., Dynamic Data Flow Analysis of C Programs , in Pro- ceedings of the 21 st Hawaii International Conference on SS, IEEE Computer Society Press, 1988.
  7. Dijkstra, E. A Discipline of Programming, Prentice Hall Int, New York 1972.
  8. Fenton, M. Developing in DataFlex, Book 2, Reports and other outputs, B.E.M. Microsystems 1986.
  9. Foster, J. and Munro, M., A Documentation Method Based on Cross-Referencing , in Pro- ceedings Conference on Software Maintenance-1987, Austin, Texas IEEE Computer Society Press, Washington D.C., pp.181-185, September 1987.
  10. Gri ths, M. Program Production by Successive Transformation , in 12], pp.125-152 1979.
  11. Gri ths, M. Development of the Schorr-Waite Algorithm , in 13], pp.464-471 1979.
  12. Bauer, F. L. and Samelson, K. (Eds), Language Hierarchies and Interfaces, Lecture Notes in Computer Science, Volume 46, Springer Verlag 1976.
  13. Goos, G. and Hartmanis, H. (Eds), Program Construction, Lecture Notes in Computer Science, Volume 69, Springer Verlag 1979.
  14. Johnson, W.L. and Soloway, E., PROUST , Byte, vol.10, no.4, April 1985, pp.179-190.
  15. Johnson, W.L. and Soloway, E., PROUST: Knowledge-Based Program Understanding , in Proceedings Conference on Software Maintenance-1985, IEEE Computer Society Press, Wash- ington DC., November 1985, pp.369-380. Also in Readings in Arti cial Intelligence and Soft- ware Engineering.
  16. Letovsky, S., Cognitive Processes in Program Comprehension , in Proceedings of the Con- ference on Empirical Studies of Programmers, 1986.
  17. Letovsky, S. and Soloway, E., Strategies for Documenting Delocalized Plans , in Proceedings of the Conference on Software Maintenance 1985, IEEE Computer Society Press, Washington DC., pp.144-151, November 1985.
  18. Letovsky, S. and Soloway, E., Delocalized Plans and Program Comprehension , IEEE Soft- ware, vol.3, no.3, pp.41-49, May 1986.
  19. Munro, M. and Robson, D., An Interactive Cross Reference Tool for use in Software Mainten- ance , in Proceedings of the 20 th Hawaii International Conference on System Sciences, Vol.II, Software, ed. Shriver, B.D., Western Periodicals Company, California. pp.64-70.
  20. Munro, M. and Ward, M., Intelligent Program Analysis Tools for Maintaining Software , Alvey Directorate.
  21. Rich, C., A Formal Representation for Plans in the Programmer's Apprentice , in Proceedings of the Seventh International Joint Conference on Arti cial Intelligence, IJCAI, Vancouver, August 24 th -28 th 1981, pp.1044-1053. Also in Readings in Arti cial Intelligence and Software Engineering.
  22. Seviora, R.E., Knowledge-Based Program Debugging Systems , IEEE Software, vol.4, no.3, pp.20-32, May 1987.
  23. Ward, M., Proving Program Re nements and Transformations, D.Phil Thesis, Oxford Univer- sity, 1986.
  24. Ward, M., Transforming a Program into a Speci cation , Comnputer Science Technical Re- port, 88/1, University of Durham, England. Being reviewed for publication.
  25. Ward, M. Calliss, F.W. and Munro, M., The Use of Transformations in The Maintainer's Assistant Comnputer Science Technical Report, 88/9, University of Durham, England. Being reviewed for publication.
  26. Waters, R.C., The Programmer's Apprentice: A Session with KBEmacs , IEEE Transactions on Software Engineering, vol.11, no.11, pp.1296-1320, November 1981. Also in Readings in Arti cial Intelligence and Software Engineering.