Formal methods for the re-engineering of computing systems.

Liu, Xiaodong; Yang, Hongji; Zedan, Hussein

Abstract

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 formalisms together with combined formalisms are considered, analyzed and compared. Conclusions obtained focus on proposing an approach to building a practical re-engineering system.

Citation

Liu, X., Yang, H., & Zedan, H. (1997, August). Formal methods for the re-engineering of computing systems

• Start Date: Aug 11, 1997
• End Date: Aug 15, 1997
• Publication Date: 1997
• Deposit Date: Jul 20, 2010
• Publicly Available Date: Jul 20, 2010
• Peer Reviewed: Peer Reviewed
• Pages: 409-414
• Book Title: COMPSAC '97-21st International Computer Software and Applications Conference
• ISBN: 0-8186-8105-5
• DOI: https://doi.org/10.1109/CMPSAC.1997.625024
• Keywords: formal methods; re-engineering; wide spectrum language; real-time systems; refinement; reverse engineering; logic
• Public URL: http://researchrepository.napier.ac.uk/id/eprint/3232
• Publisher URL: http://doi.ieeecomputersociety.org/10.1109/CMPSAC.1997.625024
• Contract Date: Jul 20, 2010