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 (291kB)


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 13:18
Last Modified: 16 May 2014 09:57

Actions (login required)

View Item View Item


Downloads per month over past year

View more statistics

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