Objective 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 aim of the maintenance validation and documentation of software systems (REDO) project is to facilitate efficient, high quality software maintenance. This can only be conducted if well structured documentation relating to the software is available. The project is therefore developing abstraction recovery (reverse engineering) methods and tools to permit the regeneration of such documentation from the software, including design specifications. Maintenance can then be performed at a high specification level.Restructuring (reengineering) tools will also be developed to optimise software structure and hence to improve the efficiency of the maintenance process. An optimised software structure is also an essential precursor to the use of reverse engineering tools.The aim of the project is to assist software engineers in the maintenance, restructuring and validation of large software system and their transportation between different environments. Theobjective is to articulate a theorectical 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:problem definition;domain specific prototype applications;research and development in maintenance and validation;the application of knowledge based systems;toolkit construction and integration;evaluation.The focus has so far been on reverse engineering, and 2 approaches have been taken. 1 is pragmatic, relying on structured query language (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 progress has been made on user interface issues. A handbook on reverse engineering, of interest to software maintainers, has been produced.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: - problem definition - domain-specific prototype applications - research and development in maintenance and validation - the application of knowledge-based systems - toolkit construction and integration - evaluation. Fields of science agricultural sciencesagriculture, forestry, and fisheriesagriculturegrains and oilseedsnatural sciencescomputer and information sciencessoftwaresoftware applicationssystem softwarenatural sciencescomputer and information sciencesartificial intelligenceexpert systemssocial sciencespsychologyergonomicsnatural sciencescomputer and information sciencesdatabasesrelational databases Programme(s) FP2-ESPRIT 2 - European strategic programme (EEC) for research and development in information technologies (ESPRIT), 1987-1992 Topic(s) Data not available Call for proposal Data not available Funding Scheme Data not available Coordinator Lloyds Register of Shipping EU contribution No data Address 29 Wellesley Road CR0 2AJ Croydon United Kingdom See on map Total cost No data Participants (10) Sort alphabetically Sort by EU Contribution Expand all Collapse all CENTRO DE TRATAMIENTO DE INFORMACION Spain EU contribution No data Address CORCEGA, 373 08037 BARCELONA See on map Total cost No data COMPUTER TECHNOLOGY CO. Greece EU contribution No data Address MESOGION AVENUE, 452, 60017 15342 ATHENES See on map Total cost No data DATEN-KOMMUNIKATION Germany EU contribution No data Address WINGERTSBERGWEG 16 61348 BAD HOMBURG See on map Total cost No data DELFT HYDRAULICS Netherlands EU contribution No data Address ROTTERDAMSWEG 185, 177 2600 MH DELFT See on map Total cost No data INGENIERIA Y TECNOLOGIA DE SISTEMAS Spain EU contribution No data Address C/PIQUER, 7 28033 MADRID See on map Total cost No data Marconi Command and Control Systems United Kingdom EU contribution No data Address 20 New Parks LE3 1UF Leicester See on map Total cost No data NATIONAL INSTITUTE FOR HIGHER EDUCATION Ireland EU contribution No data Address PLASSEY TECHNOLOGICAL PARK LIMERICK See on map Total cost No data UNIVERSITY OF DURHAM United Kingdom EU contribution No data Address Old Shire Hall, Old Elvet DH1 3HP DURHAM See on map Total cost No data University of Oxford United Kingdom EU contribution No data Address 11 Keble Road OX1 3QD Oxford See on map Total cost No data Électricité de France (EDF) France EU contribution No data Address 1 avenue du Général de Gaulle 92141 Clamart See on map Total cost No data