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:

    31 December 1997

  • Publication Status:

    Published

  • Publisher

    IEEE Computer Society

  • DOI:

    10.1109/CMPSAC.1997.625024

  • Library of Congress:

    QA76 Computer software

  • Dewey Decimal Classification:

    005 Computer programming, programs & data

Citation

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

Authors

Keywords

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

Monthly Views:

Available Documents