Formal methods for the re-engineering of computing systems: a comparison

The 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, analysed and compared. Conclusions obtained focus on proposing an approach to building a practical re-engineering system.