All Outputs (2)

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

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