Outputs (3)

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

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

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.