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|
|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|
|Depositing User:||Computing Research|
|Date Deposited:||20 Jul 2010 14:18|
|Last Modified:||16 May 2014 10:57|
Actions (login required)