Formal methods for the re-engineering of computing systems.
(1997)
Presentation / Conference Contribution
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..