Research Output

Formal methods for the re-engineering of computing systems.

  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.

  • Date:

    30 November 1996

  • Publication Status:


  • Publisher

    IEEE Computer Society

  • DOI:


  • Library of Congress:

    QA76 Computer software

  • Dewey Decimal Classification:

    005 Computer programming, programs & data


Liu, X., Yang, H. & Zedan, H. (1996). Formal methods for the re-engineering of computing systems. In COMPSAC '97-21st International Computer Software and Applications Conference, 409-414. doi:10.1109/CMPSAC.1997.625024. ISBN 0-8186-8105-5



formal methods; re-engineering; wide spectrum language; real-time systems; refinement; reverse engineering; logic;

Available Documents