Formal methods for the re-engineering of computing systems.
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/mode...