Maintenance, Validation and Documentation of Software Systems


REDO - 2487

Keywords software maintenance, reverse engineering, technology transfer


Start Date: 03-JAN-89 / Duration: 36 months

[ contact / participants ]


Objectives and Approach

The aim of REDO is to assist software engineers in the maintenance, restructuring and validation of large software systems and their transportation between different environments. The objective is to articulate a theoretical framework for doing this and to develop the requisite methods and prototype tools.

The approach taken is to integrate artificial intelligence techniques with current developments in the field of formal methods, software engineering, software validation and human factors. The work is structured as follows:

Progress and Results

The focus has so far been on reverse engineering, and two approaches have been taken. One is pragmatic, relying on SQL as an interface to a database repository of the data required in the reverse engineering process. The other relies on a fine grain object-oriented repository with associated schema descriptions.

An intermediate language has been designed with business applications in mind, and good progress made on user interface issues. A very useful handbook on reverse engineering, of interest to software maintainers, has been produced.

Exploitation

The partners intend to industrialise specific tools and to join a successor organisation to the REDO project concerned with the eventual production of the REDO toolkit. Among the partners interested in the exploitation of the results are:


CONTACT POINT

Dr Panayotis Katsoulakos
LLOYD'S REGISTER OF SHIPPING
29 Wellesley Road
UK - CROYDON CRO 2AJ
tel: + 44/ 1-6814040
fax: + 44/ 1-6816814
telex: 28636 LRISCR G

Participants

LLOYD'S REGISTER OF SHIPPING - UK - C
CENTRISA SA - E - P
DELFT HYDRAULICS - NL - P
ITS SA - E - P
NIHE - IRL - P
UNIVERSITY OF OXFORD - UK - P
UNIVERSITY OF DURHAM - UK - P
MARCONI COMMAND & CONTROL
SYSTEMS LTD - UK - P
GRUMANN DATEN-
KOMMUNIKATION GMBH - D - P
EDF - F - P
COMPUTER TECHNOLOGIES CO LTD - GR - P


ST synopses home page ST acronym index ST number index
All synopses home page all acronyms index all numbers index

REDO - 2487, December 1993


please address enquiries to the ESPRIT Information Desk

html version of synopsis by Nick Cook