DocumentCode
1825801
Title
Integrating formal and structured methods in reverse-engineering
Author
Lano, K. ; Haughton, H.
Author_Institution
Lloyd´´s Register, Croydon, UK
fYear
1993
fDate
21-23 May 1993
Firstpage
17
Lastpage
26
Abstract
The issue of the interaction between structured and formal notations in reverse-engineering and maintenance is discussed, and a process which uses both forms of representation to support application understanding, evaluation, assessment, redesign, and reengineering is described. This process is supported by prototype tools implemented on the REDO toolkit and repository for reverse-engineering
Keywords
software engineering; software maintenance; software tools; structured programming; REDO toolkit; application understanding; formal methods; prototype tools; repository; reverse-engineering; software assessment; software evaluation; software maintenance; software redesign; software reengineering; structured methods; Computer aided software engineering; Data mining; Data structures; Europe; Formal languages; Formal specifications; Prototypes; Real time systems; Registers; System analysis and design;
fLanguage
English
Publisher
ieee
Conference_Titel
Reverse Engineering, 1993., Proceedings of Working Conference on
Conference_Location
Baltimore, MD
Print_ISBN
0-8186-3780-3
Type
conf
DOI
10.1109/WCRE.1993.287782
Filename
287782
Link To Document