Skip to main content

Research Repository

Advanced Search

All Outputs (180)

Scenario based generative component adaptation in .NET framework (2005)
Conference Proceeding
Wang, B., Xiaodong Liu, X., Kerridge, J., & Li, Y. (2005). Scenario based generative component adaptation in .NET framework. In Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004. IRI 2004 (73-78). https://doi.org/10.1109/iri.2004.1431439

Mismatches between pre-quaZi$ed existing components and the particular reuse context in applicutions have been a major factor hindering component reusability. Although component adaptation has octed as a key solution of eliminating these mismatch... Read More about Scenario based generative component adaptation in .NET framework.

Achieving seamless component composition through scenario-based deep adaptation and generation (2005)
Journal Article
Liu, X., Wang, B. H. (., & Kerridge, J. (2005). Achieving seamless component composition through scenario-based deep adaptation and generation. Science of Computer Programming, 56(1-2), 157-170. https://doi.org/10.1016/j.scico.2004.11.010

Mismatches between pre-qualified existing components and the particular reuse context in applications have been a major factor hindering component reusability and successful composition. Although component adaptation has acted as a key solution of el... Read More about Achieving seamless component composition through scenario-based deep adaptation and generation.

Scenario based generative component adaptation in .Net framework. (2004)
Conference Proceeding
Wang, B. H. (., Liu, X., Kerridge, J., & Li, Y. (2004). Scenario based generative component adaptation in .Net framework. In Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, IRI-2004 (73-78)

Mismatches between pre-quaZi$ed existing components and the particular reuse context in applicutions have been a major factor hindering component reusability. Although component adaptation has octed as a key solution of eliminating these mismatch... Read More about Scenario based generative component adaptation in .Net framework..

Achieving flexible reuse through scenario-based deep component adaptation and generation. (2003)
Conference Proceeding
Wang, B. H. (., Liu, X., & Kerridge, J. (2003). Achieving flexible reuse through scenario-based deep component adaptation and generation. In Software Engineering and Applications (SEA'03) (397)

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

Facilitating reuse in database applications with scenario-based component adaptation and generation (2003)
Conference Proceeding
Wang, B., Liu, X., & Kerridge, J. (2003). Facilitating reuse in database applications with scenario-based component adaptation and generation. In Proceedings Fifth IEEE Workshop on Mobile Computing Systems and Applications (527-534). https://doi.org/10.1109/iri.2003.1251461

The development of database application systems will beneft from high reusabiliiy because similar design circumstances recur frequently in database developments. However, research has shown that mismatches between pre-qualified components with th... Read More about Facilitating reuse in database applications with scenario-based component adaptation and generation.

A generative and component based approach to reuse in database applications. (2003)
Conference Proceeding
Wang, B. H. (., Liu, X., & Kerridge, J. (2003). A generative and component based approach to reuse in database applications. In 5th Generative Programming and Component Engineering Young Researcher Workshop

The development of database application systems will benefit from high reusability because similar design circumstances recur frequently in database developments. However, research in software reuse has shown that mismatches of components with the... Read More about A generative and component based approach to reuse in database applications..

Reverse engineering. (2002)
Book Chapter
Chu, W., Lu, C., Chang, C., 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..

A pattern-based framework for database reusability (2002)
Conference Proceeding
Wang, B., Liu, X., & Kerridge, J. (2002). A pattern-based framework for database reusability. In Software Engineering Research and Practices International Conference Las Vegas 2002 Proceedings : SERP 2002 (572-578)

The development of database application systems will benefit from high reusability because similar design circumstances recur frequently in database developments. This paper presents a framework to cope with design reuse in database environments. The... Read More about A pattern-based framework for database reusability.

Support software evolution with abstraction rules and program knowledge patterns. (2002)
Journal Article
Teng, G., & Liu, X. (2002). Support software evolution with abstraction rules and program knowledge patterns. Asian-information-science-life, 1, 177-189

This paper advocates that reengineering is an effective means of legacy system evolution. Extracting formal specification semantically consistent to the original legacy system will facilitate further redesign and forward engineering greatly. The key... Read More about Support software evolution with abstraction rules and program knowledge patterns..

Speed and scale up software re-engineering with abstraction patterns and rules. (2000)
Conference Proceeding
Liu, X., Yang, H., Zedan, H., & Cau, A. (2000). Speed and scale up software re-engineering with abstraction patterns and rules. In International Symposium on Principles of Software Evolution, 2000. Proceedings (90). https://doi.org/10.1109/ISPSE.2000.913226

Software reengineering is an essential part of software evolution. Two important issues faced by software reengineering techniques are the time involved and the ability to cope with the scale of software systems. Unless these two issues have been add... Read More about Speed and scale up software re-engineering with abstraction patterns and rules..

Abstraction: a key notation for reverse engineering in a system re-engineering approach. (2000)
Journal Article
Yang, H., Liu, X., & Zedan, H. (2000). Abstraction: a key notation for reverse engineering in a system re-engineering approach. Journal of Software: Evolution and Process, 12, 197-228. https://doi.org/10.1002/1096-908X%28200007/08%2912%3A43.0.CO%3B2-X

This paper advocates that extracting formal specification semantically consistent to the original legacy system will facilitate further redesign and forward engineering greatly. The three parts of reengineering could be integrated on the basis of a w... Read More about Abstraction: a key notation for reverse engineering in a system re-engineering approach..

On the assessment of re-engineering tools. (1999)
Conference Proceeding
Liu, X., Yang, H., & Zedan, H. (1999). On the assessment of re-engineering tools. In WESS '99 - Workshop on Empirical Studies in Software Maintenance

A refinement calculus for the development of real-time systems. (1998)
Conference Proceeding
Chen, Z., Cau, A., Zedan, H., Liu, X., & Yang, H. (1998). A refinement calculus for the development of real-time systems. In 5th Asia Pacific Software Engineering Conference, APSEC '98 (61). https://doi.org/10.1109/APSEC.1998.733588

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

Improving maintenance through development experiences. (1998)
Conference Proceeding
Liu, X., Yang, H., & Zedan, H. (1998). Improving maintenance through development experiences. In WESS '98 - Workshop on Empirical Studies in Software Maintenance (1-5)

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

Tackling the abstraction problem for reverse engineering in a system re-engineering approach. (1998)
Conference Proceeding
Yang, H., Liu, X., & Zedan, H. (1998). Tackling the abstraction problem for reverse engineering in a system re-engineering approach. In the proceedings of the IEEE Conference on Software Maintenance (ICSM'98) (284). https://doi.org/10.1109/ICSM.1998.738520

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

A design framework for system re-engineering. (1997)
Conference Proceeding
Liu, X., Chen, Z., Yang, H., Zedan, H., & Chu, W. (1997). A design framework for system re-engineering. In APSEC'97/ICSC'97 - Fourth Asia-Pacific Software Engineering and International Computer Science Conference (342-352). https://doi.org/10.1109/APSEC.1997.640191

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)
Conference Proceeding
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..