Formal Methods for the Re-Engineering of Computing Systems: A Comparison

  • Authors:
  • Xiaodong Liu;Hongji Yang;Hussein Zedan

  • Affiliations:
  • -;-;-

  • Venue:
  • COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
  • Year:
  • 1997

Quantified Score

Hi-index 0.00

Visualization

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.