The paper presents an integrated environment implemented in Prolog for
reuse reengineering existing C systems. Different tools developed in
the RE2 project are integrated in the environment through sharing a fi
ne-grained representation for C programs, the Combined C Graph (CCG).
Different views of a system can be abstracted and visualised from the
data-base of Prolog facts implementing its CCG representation. Softwar
e metric tools evaluate the reengineering costs, while reengineering o
perations are expressed as transformation rules and a symbolic executo
r allows the production of the reusable module's specification. (C) 19
98 Elsevier Science B.V. All rights reserved.