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 :
بازگشت