All Outputs (4)

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). 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)
Presentation / Conference Contribution
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)
Presentation / Conference Contribution
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.7385

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.