All Outputs (2)

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