Formal Methods For The Re-Engineering of Computing Systems
X. Liu, H. Yang, H. Zedan · Edinburgh Napier Research Repository (Edinburgh Napier University) · 1997
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.