Abstraction: A key notion for reverse engineering in a system reengineering approach

Journal of Software Maintenance and Evolution

Volumn 12, Issue 4, 2000, Pages 197-228

  Yang, Hongji ^a   Liu, Xiaodong ^a   Zedan, Hussein ^a  

^a DE MONTFORT UNIVERSITY   (United Kingdom)

Author keywords

Abstraction; Interval temporal logic; Object oriented; Reengineering; Reverse engineering; Wide spectrum language

Indexed keywords

ABSTRACTING; COMPUTER HARDWARE DESCRIPTION LANGUAGES; ENCODING (SYMBOLS); FORMAL LANGUAGES; FORMAL LOGIC; KNOWLEDGE BASED SYSTEMS; LEGACY SYSTEMS; REENGINEERING; REVERSE ENGINEERING; SEMANTICS;

FORMAL SPECIFICATION; FORWARD ENGINEERING; INTERVAL TEMPORAL LOGIC; REDESIGN ENGINEERING; SOURCE CODE; SPECTRUM LANGUAGE;

COMPUTER SOFTWARE MAINTENANCE;

EID: 0034216884     PISSN: 1532060X     EISSN: None     Source Type: Journal    
DOI: 10.1002/1096-908x(200007/08)12:4<197::aid-smr211>3.0.co;2-x     Document Type: Article

References (28)

1. Liu X, Yang H, Zedan H. Formal methods for the re-engineering of computing systems. Proceedings of the 21st IEEE International Conference on Computer Software and Application (COMPSAC'97), Washington DC, August 1997, IEEE Computer Society Press; 409-414.
2. Sere K, Waldén M. Reverse engineering distributed algorithms. Software Maintenance: Research and Practice 1996; 8:117-144.
3. Holtzblatt LJ, Piazza RL, Reubenstein HB, Roberts SN, Harris DR. Design recovery for distributed systems. IEEE Transactions on Software Engineering 1997; 23.
4. Abd-El-Hafiz SK, Basili VR. A knowledge-based approach to the analysis of loops. IEEE Transactions on Software Engineering 1996; 22(5).
5. Layzell PJ, Freeman MJ, Benedusi P. Improving reverse engineering through the use of multiple knowledge sources. Software Maintenance: Research and Practice 1995; 7:279-299.
6. Sitaraman M, Weide BW, Ogden WF. On the practical need for abstraction relations to verify abstract data type representations. IEEE Transactions on Software Engineering 1997; 23(3).
7. Arango G, Baxter I, Freeman P, Pidgeon C. TMM: Software maintenance by transformation. IEEE Software 1986; 3(3):27-39.
8. Engberts A, Kozaczynski W, Ning J. Concept recognition-based program transformation. IEEE Conference on Software Maintenance, Sorrento, Italy, 1991; 73-82.
9. Bennett KH, Bull T, Yang H. A transformation system for maintenance - turning theory into practice. IEEE Conference on Software Maintenance, Orlando, FL, November 1992.
10. Yang H. Formal methods and software maintenance - some experience with the REFORM project. Workshop on Formal Methods, Position Paper, Monterey CA, September 1994.
11. Yang H, Bennett KH. Acquiring entity-relationship attribute diagrams from code and data through program transformation. IEEE International Conference on Software Maintenance (ICSM'95), Nice, France, October 1995.
12. Howden WE, Pak S. Problem domain, structural and logical abstractions in reverse engineering. Proceedings of the International Conference on Software Maintenance, November 1992, IEEE Computer Society Press; 214-224.
13. Balmas F. Prisme: Formalizing programming strategies as a way to understand programs. Eighth International Conference on Software Engineering and Knowledge Engineering, Lake Tahoe, Nevada, June 1996. IEEE Computer Society.
14. Cheng BHC. Applying formal methods in automated software development. Journal of Computer and Software Engineering 1994; 2:137-164.
15. Cheng BHC, Jeng JJ. Reusing analogous components. IEEE Transactions on Knowledge and Data Engineering 1997; 9(2):341-349.
16. Gannod C, Cheng BHC. Strongest postcondition semantics as a basis for reverse engineering. Journal of Automated Software Engineering 1996; 3(1/2).
17. Gannod C, Cheng BHC. Using informal and formal methods for the reverse engineering of c programs. Proceedings of IEEE International Conference on Software Maintenance, Monterey, CA, November 1996.
18. Ward M. Assembler to C migration using the fermat transformation system. IEEE Conference on Software Maintenance, Oxford, England, 1999; 67-75.
19. Bull T, Younger E, Bennett KH, Luo Z. Bylands: reverse engineering safety-critical systems. IEEE Conference on Software Maintenance, Nice, France, 1995.
20. Younger E, Luo Z, Bennett KH, Bull T. Reverse engineering concurrent programs using formal modelling and analysis 1. IEEE International Conference on Software Maintenance, Washington DC, November 1996.
21. Moszkowski B. Executing Temporal Logic Programs. Cambridge University Press: Cambridge, UK, 1986.
22. Cau A, Zedan H. Refining interval temporal logic specifications. The 4th AMAST Workshop on Real-Time Systems, Concurrent, and Distributed Software (ARTS'97), Mallorca, Spain, May 1997.
23. Zedan H, Heping H. An executable specification language for fast prototyping parallel responsive systems. Computer Language 1996; 22:1-13.
24. Scholefield D, Zedan H. TAM: A formal framework for the development of distributed real-time systems. Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems, Nijmegen, The Netherlands, January 1992.
25. Dijkstra EW. A Discipline of Programming. Prentice-Hall: Englewood Cliffs, NJ, 1976.
26. Kwiatkowski J, Puchalski I, Yang H. Pre-processing cobol programs for reverse-engineering in a software maintenance tool. 1st US Colloquium on Object Technology and System Re-engineering, Oxford, England, April 1998.
27. Liu X. A design framework for system re-engineering. Technical Report, STRL, Department of Computer Science, De Montfort University, England, July 1997.
28. Liu X. Abstraction: A notion for reverse engineering. PhD Thesis, De Montfort University, 1999.