Title :
Integrating formal and structured methods in reverse-engineering
Author :
Lano, K. ; Haughton, H.
Author_Institution :
Lloyd´´s Register, Croydon, UK
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;
Conference_Titel :
Reverse Engineering, 1993., Proceedings of Working Conference on
Conference_Location :
Baltimore, MD
Print_ISBN :
0-8186-3780-3
DOI :
10.1109/WCRE.1993.287782
