DocumentCode
2740290
Title
Formal methods for the re-engineering of computing systems: a comparison
Author
Liu, X. ; Yang, H. ; Zedan, H.
Author_Institution
Software Technol. Res. Lab., De Montfort Univ., Leicester, UK
fYear
1997
fDate
11-15 Aug 1997
Firstpage
409
Lastpage
414
Abstract
The 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, analysed and compared. Conclusions obtained focus on proposing an approach to building a practical re-engineering system
Keywords
formal specification; process algebra; program verification; systems analysis; systems re-engineering; algebraic-based formalisms; computing systems; formal methods; formal notations; formal theories; logic-based formalisms; model-based formalisms; net-based formalisms; process algebra; re-engineering; state-based formalisms; Accidents; Algebra; Costs; Educational institutions; Guidelines; Laboratories; Production systems; Prototypes; Specification languages; Systems engineering and theory;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference, 1997. COMPSAC '97. Proceedings., The Twenty-First Annual International
Conference_Location
Washington, DC
ISSN
0730-3157
Print_ISBN
0-8186-8105-5
Type
conf
DOI
10.1109/CMPSAC.1997.625024
Filename
625024
Link To Document