Speed and scale up software reengineering with abstraction patterns and rules

International Workshop on Principles of Software Evolution (IWPSE)

Volumn 2000-January, Issue , 2000, Pages 90-99

  Liu, Xiaodong ^a   Yang, Hongji ^b   Zedan, Hussein ^b   Cau, Antonio ^b  

^a EDINBURGH NAPIER UNIVERSITY   (United Kingdom)

^b DE MONTFORT UNIVERSITY   (United Kingdom)

Author keywords

Abstraction patterns; Abstraction rules; Evolution; Reengineering; Reverse engineering; Time critical systems; Wide spectrum language

Indexed keywords

ABSTRACTING; AUTOMATION; COMPUTER SOFTWARE; REVERSE ENGINEERING; SOFTWARE ENGINEERING;

ABSTRACTION PATTERNS; ABSTRACTION RULES; EVOLUTION; TIME-CRITICAL SYSTEMS; WIDE SPECTRUM LANGUAGE;

REENGINEERING;

EID: 84895309454     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISPSE.2000.913226     Document Type: Conference Paper

References (19)

1. ARANGO, G., BAXTER, I., FREEMAN, P., and PIDGEON, C. TMM: Software maintenance by transformation. IEEE Software (May 1986), 27-39.
2. BALMAS, F. PRISME: Formalizing programming strategies as a way to understand programs. In Eighth International Conference on Software Engineering and Knowledge Engineering (Lake Tahoe, Nevada, June 1996), IEEE Computer Society.
3. BENNETT, K. H., BULL, T., and YANG, H. A transformation system for maintenance - turning theory into practice. In IEEE Conference on Software Maintenance-1992 (Orlando, Florida, Nov. 1992).
4. CAU, A., AND ZEDAN, H. Refining interval temporal logic specifications. In the 4th AMAST Workshop on Real-Time systems, Concurrent, and Distributed Software (ARTS'97) (Mallorca, Spain, May 1997).
5. Cheng, B. H. C. Applying formal methods in automated software development. Journal of Computer and Software Engineering 2(02 1994), 137-164.
6. CHENG, B. H. C., and JENG, J. J. Reusing analogous components. IEEE Transactions on Knowledge and Data Engineering (Nov. 1994).
7. DIJKSTRA, E. W. A Discipline of Programming. Prentice-Hall, Englewood Cliffs, New Jersey, 1976.
8. ENGBERTS, A., KOZACZYNSKI, W., and NING, J. Concept recognition-based program transformation. In IEEE Conference on Software Maintenance-1991 (Sorrento, Italy, 1991), pp. 73-82.
9. HOWDEN, W. E., and PAK, S. Problem domain, strutural and logical abstractions in reverse engineering. In Proceedings of the International Conference on Software Maintenance 1992 (Nov. 1992), IEEE Computer Society Press, pp. 214-224.
10. LIU, X. Abstraction: A notion for reverse engineering. PhD Thesis, De Montfort University (1999).
11. LIU, X., YANG, H., and ZEDAN, H. Formal methods for the re-engineering of computing systems. In the Proceedings of The 21st IEEE International Conference on Computer Software and Application (COMPSAC'97) (Washington, D. C., August 1997), IEEE Computer Society, pp. 409-414.
12. MOSZKOWSKI, B. A Temporal Logic for Multilevel Reasoning about Hardware. IEEE Computer Society, Feb. 1985.
13. SCHNEIDEWIND, N. F., and EBERT, C. Preserve or redesign legacy systems. IEEE Software 15, 4 (1998).
14. SCHOLEFIELD, d., ZEDAN, H., and HE, J. A specification-oriented semantics for the refinement of realtime systems. Theoretical Computer Science 130 (Aug. 1994).
15. SNEED, H. M. Planning the reengineering of legacy systems. IEEE Software 12, 1 (January 1995).
16. WARD, M. A definition of abstraction. Technical report, Durham University, 1992.
17. YANG, H., and BENNETT, K. H. Acquairing entityrelationship attribute diagrams from code and data through program transformation. In IEEE International Conference on Software Maintenance (ICSM'95) (Nice, France, Oct. 1995).
18. YANG, H., LIU, X., and ZEDAN, H. Tackling the abstraction problem for reverse engineering in a system reengineering approach. In the proceedings of the IEEE Conference on Software Maintenance (ICSM'98) (Metropolitan, Washington D. C., USA, November 1998), IEEE Computer Society.
19. ZEDAN, H., and HEPING, H. An executable specification language for fast prototyping parallel responsive systems. Computer Language Vol 22(01 1996), 1-13.