Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: 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.
['Xiaodong Liu', 'Hongji Yang', 'Hussein S. M. Zedan']
I am writing a research paper on a idea Formal methods for the re-engineering of computing systems: a comparison
[{"from": "human", "value": "I am writing a research paper on a idea Formal methods for the re-engineering of computing systems: a comparison"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: 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."}]