Skip to main content

Research Repository

Advanced Search

Formal methods for the re-engineering of computing systems.

Liu, Xiaodong; Yang, Hongji; Zedan, Hussein

Authors

Hongji Yang

Hussein Zedan



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

Files






You might also like



Downloadable Citations