H. Yang, "The Supporting Environment for a Reverse Engineering System---The Maintainer's Assistant," Conference on Software Maintenance, Sorrento, Italy (Dec., 1991).  Home/Search   Document Not in Database   Summary   Related Articles   Check

....and facilitates proof that a program correctly implements a specification or that a specification correctly captures the behaviour of a program. Such proofs can be effected through transformations within the language. An example of the WSL genre is found in Bennett et al. s Maintainer s Assistant [6, 74, 79]. In their system, the transformations are coded in an extension of WSL called Meta WSL. Cordy and several collaborators describe a grammar transformation system called TXL [15, 16] TXL was originally designed as a means for transforming programs in one dialect of a programming language to ....

Jongji Yang. The supporting environment for a reverse engineering system --- the maintainer's assistant. In Proceedings of the Conference on Software Maintenance, pages 13--22, Sorrento, Italy, October 1991. (cited on page 19)

....However, the one benefit that accrues is the proven correctness of the transformation. This provides the security that the functionality of the system has not been altered by transformational process [Lano and Haughton, 1993] An example of a transformational system is the Maintainer s Assistant [Yang, 1991]. Produced in ReForm [Bennett, 1991] the system consists of a set of tools for semi automatically producing specifications from assembly language code and for performing transformations on the abstracted Wide Spectrum Language (WSL) representation (i.e. the intermediate form language for ....

....Language (WSL) representation (i.e. the intermediate form language for ReForm) Similar to Pascal, WSL is a procedural language which allows labeled sections of code to be called recursively from other sections of code. An example of IBM assembler and its WSL equivalent is given in Figure 6 [Yang, 1991]. The Maintainer s Assistant toolkit consists of an assembler to WSL translator, a browser, a program structure database, a general simplifier (i.e. algebraic and program simplification routines) and an interactive program transformer with a library of over 400 transformations. Source code is ....

, H. Yang, "The Supporting Environment for A Reverse Engineering System - The Maintainer's Assistant," Proceedings of the Conference on Software Maintenance, 1991, pages 13-22. References Page 101

....conceptual obstacles and will be dealt with in further discussions. Appendix A contains a shortened definition of COBAPA. Appendix B shows a program example in COBAPA, with its entries in the stated repository. The main difference between CARE systems, including those currently in development (as [10]) and our approach is the complete mapping of the source code to the repository s relational structure. As far as we know there is no other comparable publication with the same paradigms and assumptions as to the repository structure. 2 Reengineering Reengineering is a growing discipline within ....

Hongji Yang. The supporting environment for a reverse engineering system -- the maintainer's assistant. In IEEE Conference on Software Maintenance, pages 13--22. IEEE, October 1991. 9 Figures Reverse Engineering Forward Engineering Source Code Design Specification

....stage is to load the source code into the tool, and this is achieved by the source language to WSL translator as a batch job. The equivalent WSL code is stored internally as an abstract syntax tree (together with ancillary information to aid applicability checking) Further details are given in [7,43] and in Section 5.1.1. The system is interactive and incorporates a graphical front end, pretty printer and browser. This allows the programmer to move through the program, apply transformations, undo changes he or she has made, and in special circumstances, edit the program manually: but always ....

H. Yang, "The Supporting Environment for a Reverse Engineering System---The Maintainer's Assistant," Conference on Software Maintenance, Sorrento, Italy (Dec., 1991).

No context found.

H. Yang, "The Supporting Environment for a Reverse Engineering System---The Maintainer's Assistant," Conference on Software Maintenance, Sorrento, Italy (Dec., 1991).

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