Jonathan P. Bowen, Peter T. Breuer, and Kevin C. Lano. The REDO Project: Final Report. Oxford University Computing Laboratory, PRG-TR-23-91, (1991).  Home/Search   Document Details and Download   Summary   Related Articles   Check

....purpose of a module while avoiding implementation details. This roughly corresponds with our guideline that suggests that the right level of accuracy occurs when there is a clear mapping between the generic domain concepts and the specific algorithm details. Another related project was REDO [3], a part of the ESPRIT II European collaboration. A variety of activities were undertaken in REDO including the invention of a language, called UNIFORM, intermediate between code and specifications, an application of weakest precondition semantics to the verification of programs, the definition of ....

Jonathan P. Bowen, Peter T. Breuer, and Kevin C. Lano. The REDO Project: Final Report. Oxford University Computing Laboratory, PRG-TR-23-91, (1991).

....purpose of a module while avoiding implementation details. This roughly corresponds with our guideline that suggests that the right level of accuracy occurs when there is a clear mapping between the generic domain concepts and the specific algorithm details. Another related project was REDO [3], a part of the ESPRIT II European collaboration. A variety of activities were undertaken in REDO including the invention of a language, called UNIFORM, intermediate between code and specifications, an application of weakestprecondition semantics to the verification of programs, the definition of ....

Jonathan P. Bowen, Peter T. Breuer, and Kevin C. Lano. The REDO Project: Final Report. Oxford University Computing Laboratory, PRG-TR-2391, (1991).

....into an equivalent binary form. In the context of program reverse engineering, a translation technique is one that translates a program into an equivalent formal specification. Research into the use of formal methods for reverse engineering has addressed both the use of transformation [20, 21] and translation [22] Industrial adoption of formal techniques has begun but is limited [23, 24] 4 Semantic Dimensions A by product is an artifact that is constructed by a reverse engineering tool as a result of analyzing program code. One way to evaluate the by products of a tool or technique ....

.... Of note is the fact that the Software Refinery supports the use of transformations although the builtin tools do not use formal transformation as an analysis PA = PAT [29] CS = COBOL SRE [13, 30] DE = DECODE [12] LT = LANTRN [14] MA = Maintainer s Assistant [20, 31, 32, 33] RE = REDO Toolset [21] RI = Rigi [18, 34] AS = AutoSpec [22, 35] RM = RMTool [19, 36] Table 3. Index of Research Tools technique. Finally, of all the commercial tools, only the Xinotech tool uses a plan based approach. SR VR 4D XI LS EN DM C C COBOL ADA FORTRAN Other Languages PC Sun Plan Based Parsing Based ....

J.P. Bowen, P.T. Breuer, and K. Lano. The REDO Project: Final Report. Technical Report PRG-TR-23-91, Oxford University, 1991.

....predicate transformer can only be used as a guideline for constructing formal specifications. That is, wp cannot be used to derive postconditions for program code. 6 Conclusions and Future Investigations Many different approaches for reverse engineering have been suggested in the literature [18, 19, 20, 21, 22]. The availability of such approaches provides the opportunity to study the effect of their combination. In our previous investigations, we have developed a formal approach for reverse engineering [4, 5, 6] When applied as a standalone technique, the complexity of this approach is unmanageable. ....

J.P. Bowen, P.T. Breuer, and K. Lano. The REDO Project: Final Report. Technical Report PRG-TR-23-91, Oxford University, 1991.

....translated into an equivalent binary form. In the context of program reverse engineering, a translation technique is one that translates a program into an equivalent formal specification. Research into the use of formal methods for reverse engineering has addressed both the use of transformation [72, 73] and translation [6] Industrial adoption of such techniques has begun but is limited [39, 74] 10.4 Semantic Dimensions A by product is an artifact that is constructed by a reverse engineering tool as a result of analyzing program code. One way to evaluate the by products of a tool or technique ....

....system called the Design Maintenance System or (DMS) has been used to analyze source code written in Motorola 6809 assembler code. DMS Summary. Name Design Maintenance System Class Formal Transformational Commercial By Products NA Language NA Operating System NA REDO (FTR) The REDO Project [73] produced tools for reverse engineering COBOL program code into Z and Z specifications. The technique involves a three step process where: ffl COBOL programs are translated into an intermediate language called UNIFORM, ffl Functional abstractions are derived from UNIFORM code, and ffl ....

[Article contains additional citation context not shown here]

J. Bowen, P. Breuer, and K. Lano, "The REDO Project: Final Report," Tech. Rep. PRG-TR-23-91, Oxford University, 1991.

....primary goal is to use partial order matching operators to generalize specifications for purposes of reverse engineering. Other approaches to reverse engineering focus on the construction of specifications, both informal and formal, and are based on the identification of plans [17] formal methods [2, 21], and transformation of programs into specifications [1] Baxter and Mehlich [1] suggest an approach to reverse engineering using backward transformation where a series of transformations (semantic preserving rewrite rules) similar to those used in forward transformation, are used in an inverse ....

J. Bowen, P. Breuer, and K. Lano. The REDO Project: Final Report. Technical Report PRG-TR-23-91, Oxford University, 1991.

....general acceptance in the field of the O O, and even less, in the object recovery works. Most proposals construct objects around data items considered important without making any other type of considerations. The programming language and style show the origin of the proposals. The proposals of [Bowen91], Zimmer90] Tsai93] Merlo93] and [Newcomb94] have an industrial or practical origin; they are oriented to deal with legacy applications. The rest of the works show a more academic interest; they deal with modern programming languages and their heuristics are less realistic. The signature ....

....the predominant specification formalism. These are specified using the original programming language as the target language. Signatures and methods will assure the functionality of the original systems, but will also conserve the implementations details. Special attention deserve the proposals of [Bowen91], Gannod93] and [Merlo93] in which the services are specified using formal methods. The reverse engineering methods mostly used are the based on the structure and syntax of the code, specifically those based on the control and data flow of the code. The program slicing of [Weiser84] is the ....

[Article contains additional citation context not shown here]

Bowen Jonathan P., Breuer Peter T., Lano Kevin C.,The REDO Project: Final Report, Technical Report PRG-TR-23-91, Oxford University Computing Laboratory, U.K., 1991. 15

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC