Skip to main content

Research Repository

Advanced Search

Achieving flexible reuse through scenario-based deep component adaptation and generation. (2003)
Presentation / Conference Contribution
Wang, B. H. (., Liu, X., & Kerridge, J. (2004, February). Achieving flexible reuse through scenario-based deep component adaptation and generation. Presented at IASTED international conference on Web-Based education, Innsbruck, Austria

Mismatches between pre-qualified existing components and the particular reuse context in applications have been a major factor hindering component reusability. Component adaptation is a key solution to the elimination of these mismatches. However, de... Read More about Achieving flexible reuse through scenario-based deep component adaptation and generation..

Reverse engineering. (2002)
Book Chapter
Chu, W., Lu, C.-W., Chang, C.-H., Liu, X., & Yang, H. (2002). Reverse engineering. In S. K. Chang (Ed.), Handbook of Software Engineering & Knowledge Engineering (447-466). World Scientific

Software systems have become business-critical for many companies. These systems are usually large and complex. Some have evolved over decades and therefore are known as legacy systems. These legacy systems need to be maintained and evolved due to ma... Read More about Reverse engineering..

Improving maintenance through development experiences. (1998)
Presentation / Conference Contribution
Liu, X., Yang, H., & Zedan, H. (1998, December). Improving maintenance through development experiences. Presented at WESS '98 - Workshop on Empirical Studies in Software Maintenance

An empirical comparison is made between present approaches/tools of software maintenance and development. The conclusion is that development technology is more mature in many aspects, such as automation, formalism, confidence, understanding of origin... Read More about Improving maintenance through development experiences..

A refinement calculus for the development of real-time systems. (1998)
Presentation / Conference Contribution
Chen, Z., Cau, A., Zedan, H., Liu, X., & Yang, H. (1998, December). A refinement calculus for the development of real-time systems

We present a calculus which can transfer specifications
to objects for the development of real-time systems. The
object model is based on a practical OO development
technique—HRT-HOOD. A real-time logic is specified by
extending a sound formal me... Read More about A refinement calculus for the development of real-time systems..

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.

Formal methods for the re-engineering of computing systems. (1997)
Presentation / Conference Contribution
Liu, X., Yang, H., & Zedan, H. (1997, August). Formal methods for the re-engineering of computing systems

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..

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..