A transformation system for maintenance-turning theory into practice

Proceedings - Conference on Software Maintenance, ICSM 1992

Volumn , Issue , 1992, Pages 146-155

  Bennett, K ^a   Bull, T ^a   Yang, H ^a  

^a DURHAM UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

REVERSE ENGINEERING;

DESIGN FEATURES; MEDIUM SIZE; METRICES; PROGRAM TRANSFORMATIONS; REAL CODE; REAL WORLD PROJECTS; THEORETICAL APPROACH; TRANSFORMATION SYSTEMS;

COMPUTER SOFTWARE MAINTENANCE;

EID: 84962187398     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSM.1992.242548     Document Type: Conference Paper

References (22)

1. Arsac, J., Foundations of Programming. London, Academic Press Inc, 1985.
2. Balzer, R., "A 15 Year Prospective on Automatic Programming," IEEE Transactions on Software Engineering, vol. SE-11, no. 11, pp. 1257-1267, November 1985.
3. Bauer, F. L., Moller, B., Partsch, H. and Pepper, P., "Formal Construction by Transformation - Computer Aided Intuition Guided Programming," IEEE Transactions on Software Engineering, vol. SE-15, no. 2, Feb., 1989.
4. Bull, T., "An Introduction to the WSL Program Transformer," presented at the IEEE Conference on Software Maintenance-1990 , San Diego, California, 1990.
5. Burstall, R. M. and Darlington, J. A., "A Transformation System for Developing Recursive Programs," Journal of the ACM, vol. 24, pp. 44-67, Jan., 1977.
6. Calliss, F. W., Khalil, M., Munro, M. and Ward, M., "A Knowledge-Based System for Software Maintenance," presented at the IEEE Conference on Software Maintenance, 1988.
7. Denicoff, M. and Grafton, R., "Software Metrics: A Research Initiative," in Software Metrics. Cambridge, Massachusetts: The MIT Press, 1983.
8. Feather, M. S., "A Survey and Classification of Some Program Transformation Techniques," in Program Specification and Transformation. 1987.
9. Fenton, N. E., Software Metrics - A Rigorous Approach. London, Chapman &Hall, 1991.
10. Grady, R. B. and Caswell, D. L., Software Metrics: Establishing A Company-wide Program. Engle-wood Cliffs, New Jersey, Prentice-Hall Inc., 1987.
11. Lano, K., Breuer, P. T., Haughton, H. and Est-dale, J., "Reverse-Engineering COBOL Via Formal Methods," in The REDO Handbook. London: To be published by Wileys late 1992.
12. McCabe, T. J., "A Complexity Measure," IEEE Transaction on Software Engineering, vol. SE-2, no. 4, pp. 308-320, December 1976.
13. Partsch, H. and Steinbrugen, R., "Program Transformation Systems," Computing Surveys, vol. 15, no. 3, Sept., 1983.
14. Ward, M., "Transforming a Program into a Specification," Durham University, Durham, Technical Report, 1988.
15. Ward, M., "A Catalogue of Program Transformations," Durham University, Durham, Technical Report, 1988.
16. Ward, M., "Constructive Specifications and Program Transformations," Durham University, Durham, Technical Report, 1988.
17. Ward, M., "Proving Program Refinements and Transformations," Oxford University, Oxford, DPhil Thesis, 1989.
18. Ward, M., Calliss, F. W. and Munro, M., "The Maintainer's Assistant," presented at the IEEE Conference on Software Maintenance, 1989.
19. Wirth, N., "Program Development by Stepwise Refinement," Communications of the ACM, 14, 1971.
20. Yang, H., "How does the Maintainer's Assistant Start ?," Durham University, Durham, Technical Report, 1989.
21. Yang, H., "The Supporting Environment for a Reverse Engineering System - The Maintainer's Assistant," presented at the IEEE Conference on Software Maintenance - 1991, Sorrento, Italy, 1991.
22. Zuse, H., Software Complexity - Measures and Methods. New York, Walter de Gruyter, 1991.