A practical program transformation system for reverse engineering

Proceedings - Working Conference on Reverse Engineering, WCRE

Volumn , Issue , 1993, Pages 212-221

  Ward, M P ^a   Bennett, K H ^a  

^a DURHAM UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

REVERSE ENGINEERING; SOFTWARE ENGINEERING; SPECIFICATIONS;

CORRECT-BY-CONSTRUCTION; DEVELOPMENT METHOD; EXECUTABLE PROGRAMS; INDUSTRIAL SCALE; PROGRAM CODE; PROGRAM TRANSFORMATION SYSTEMS; TRANSFORMATION BASED; TRANSFORMATION SYSTEMS;

INVERSE PROBLEMS;

EID: 0002892120     PISSN: 10951350     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WCRE.1993.287763     Document Type: Conference Paper

References (30)

1. J. Arsac, "Syntactic Source to Source Program Transformations and Program Manipulation", Comm. ACM 22(Jan., 1982), 43-54.
2. R. J. R. Back, Correctness Preserving Program Refinements, Mathematical Centre Tracts # 131, Mathematisch Centrum, 1980.
3. F. W. Calliss, "Problems With Automatic Restructurerers", Durham University, Technical Report, 1989.
4. E. W. Dijkstra, A Discipline of Programming, Prentice-Hall, Englewood Cliffs, NJ, 1976.
5. M. S. Feather, "A Survey and Classification of Some Program Transformation Techniques", Program Specification and Transformation (1987).
6. J. R. Foster, "Program Lifetime: A Vital Statistic for Maintenance", Conference on Software Maintenance 15th-17th October 1991, Sorrento, Italy (Oct., 1991).
7. J. R. Foster & H. P. Kiekuth, "Software Maintenance Survey: Summary", Technical Report (Mar. 1990).
8. C. A. R. Hoare, I. J. Hayes, H. E. Jifeng, C. C. Morgan, A. W. Roscoe, J. W. Sanders, I. H. Sorensen, J. M. Spivey & B. A. Sufrin, "Laws of Programming", Comm. ACM 30(Aug., 1987), 672-686.
9. C. B. Jones, Systematic Software Development using VDM, Prentice-Hall, Englewood Cliffs, NJ, 1986.
10. C. R. Karp, Languages with Expressions of Infinite Length, North-Holland, Amsterdam, 1964.
11. B. Lientz & E. B. Swanson, Software Maintenance Management, Addison Wesley, Reading, MA, 1980.
12. M. A. McMorran & J. E. Nicholls, "Z User Manual", IBM UK Laboratories Ltd., TR12.274, Hursley Park, July, 1989.
13. J. C. Miller & B. M. Strauss, "Implications of Automatic Restructuring of COBOL", SIGPLAN Notices 22(June, 1987), 76-82.
14. R. Moreton, "Analysis and Results from a Maintenance Survey", Second Software Maintenance Workshop Notes, Centre for Software Maintenance, University of Durham (1988).
15. C. Morgan, Programming from Specifications, Prentice-Hall, Englewood Cliffs, NJ, 1990.
16. C. C. Morgan, "The Specification Statement", ACM TOPLAS 10(1988), 403-419.
17. C. C. Morgan, K. Robinson & Paul Gardiner, "On the Refinement Calculus", Oxford University, Technical Monograph PRG-70, Oct., 1988.
18. J. T. Nosek & P. Palvia, "Software Maintenance Management: Changes in the Last Decade", Journal of Software Maintenance: Research and Practice 2(Sept. 1990), 157-174.
19. C. T. Sennett, "Using Refinement to Convince: Lessons Learned from a Case Study", Refinement Workshop, 8th-11th January, Hursley Peak, Winchester (Jan., 1990).
20. M. Ward, "Proving Program Refinements and Transformations", Oxford University, DPhil Thesis, 1989.
21. M. Ward, "Derivation of a Sorting Algorithm", Durham University, Technical Report, 1990.
22. M. Ward, "The Largest True Square Problem-An Exercise in the Derivation of an Algorithm", Durham University, Technical Report, Apr., 1990.
23. M. Ward, "Specifications and Programs in a Wide Spectrum Language", Submitted to J. Assoc. Comput. Mach., Apr., 1991.
24. M. Ward, "Iterative Procedures for Computing Ackermann's Function", Durham University, Technical Report 89-3, Feb., 1980.
25. M. Ward, "Using Formal Transformations to Construct a Component Repository", in Software Reuse: the European Approach, Springer-Verlag, New York-Heidelberg-Berlin, Feb., 1991.
26. M. Ward, "Derivation of Data Intensive Algorithms by Formal Transformation", Submitted to IEEE Trans. Software Eng., May, 1992.
27. M. Ward, "A Model for Partial Programs", Submitted to J. Assoc. Comput. Mach., Nov., 1989.
28. M. Ward, "Abstracting a Specification from Code", To appear in Journal of Software Maintenance: Research and Practice, Sept., 1992.
29. M. Ward, F. W. Calliss & M. Munro, "The Maintamer's Assistant", Conference on Software Maintenance 16th-19th October 1989, Miami Florida (Oct., 1989).
30. E. J. Younger & M. Ward, "Inverse Engineering a simple Real Time program", Durham University, Technical Report, Oct., 1992.