Skip to main content

Research Repository

Advanced Search

Outputs (94)

Tackling the abstraction problem for reverse engineering in a system re-engineering approach. (1998)
Presentation / Conference Contribution
Yang, H., Liu, X., & Zedan, H. (1998, March). Tackling the abstraction problem for reverse engineering in a system re-engineering approach

It is widely accepted that reverse engineering has three components: restructuring, comprehension and production of formal specification. In this paper, we advocate that the three components could be achieved in a systematic approach by successfully... Read More about Tackling the abstraction problem for reverse engineering in a system re-engineering approach..

Reverse engineering through formal abstraction. (1998)
Presentation / Conference Contribution
Liu, X. (1998, January). Reverse engineering through formal abstraction. Paper presented at Post-graduate Conference

No abstract available.

A design framework for system re-engineering. (1997)
Presentation / Conference Contribution
Liu, X., Chen, Z., Yang, H., Zedan, H., & Chu, W. (1997, December). A design framework for system re-engineering

We discuss the current situation of formal methods and their use in the re-engineering of computing systems, especially real time systems. Based on the analysis result, a solution which uses a consistent 4-sector Wide Spectrum Language (WSL) is propo... Read More about A design framework for system re-engineering..

Formal methods for the re-engineering of computing systems. (1997)
Presentation / Conference Contribution
Liu, X., Yang, H., & Zedan, H. (1997). Formal methods for the re-engineering of computing systems. In COMPSAC '97-21st International Computer Software and Applications Conference (409-414). https://doi.org/10.1109/CMPSAC.1997.625024

This paper presents a short review of formal methods and their use in the re-engineering of computing systems. Five classes of formal notations and theories, namely state/model-based, logic-based, algebraic-based, process algebra and net-based formal... Read More about Formal methods for the re-engineering of computing systems..