Formal methods for the re-engineering of computing systems.

Liu, Xiaodong, Yang, Hongji and Zedan, Hussein (1997) Formal methods for the re-engineering of computing systems. In: COMPSAC '97-21st International Computer Software and Applications Conference. IEEE Computer Society, Washington, D.C., USA, pp. 409-414. ISBN 0-8186-8105-5

Available under License Creative Commons Attribution Non-commercial.

Download (284kB) | Preview


    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.

    Item Type: Book Section
    ISBN: 0-8186-8105-5
    Additional Information: paper presented at 21st International Computer Software and Applications Conference, at Washington, D.C. 11th-15th August 1997
    Uncontrolled Keywords: formal methods; re-engineering; wide spectrum language; real-time systems; refinement; reverse engineering; logic;
    University Divisions/Research Centres: Faculty of Engineering, Computing and Creative Industries > School of Computing
    Dewey Decimal Subjects: 000 Computer science, information & general works > 000 Computer science, knowledge & systems > 005 Computer programming, programs & data
    Library of Congress Subjects: Q Science > QA Mathematics > QA76 Computer software
    Item ID: 3232
    Depositing User: Computing Research
    Date Deposited: 20 Jul 2010 14:18
    Last Modified: 16 May 2014 10:57

    Actions (login required)

    View Item

    Document Downloads

    More statistics for this item...

    Edinburgh Napier University is a registered Scottish charity. Registration number SC018373