Tools
Tools
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, p. 409.
![[img]](http://researchrepository.napier.ac.uk/style/images/fileicons/application_pdf.png)
| PDF Available under License Creative Commons Attribution Non-commercial. Download (284kB) | Preview |
Abstract/Description
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 |
| Item ID: | 3232 |
| Depositing User: | Computing Research |
| Date Deposited: | 20 Jul 2010 14:18 |
| Last Modified: | 12 Jan 2011 04:52 |
| URI: | http://researchrepository.napier.ac.uk/id/eprint/3232 |
Actions (login required)
| View Item |