Bennett, K. H., Bull, T., and Yang, H. A transformation system for maintenance --- turning theory into practice. In IEEE Conference on Software Maintenance-1992 (Orlando, Florida, Nov. 1992).  Home/Search   Document Not in Database   Summary   Related Articles   Check

....objects. Markosian et al. Markosian, 1994b) describe their experience with Refine in developing tools to reverse engineer COBOL applications, including the database elements. Automatic translation from legacy languages to high level, portable systems remains an elusive goal. Bennett et al. (Bennett, 1992) describe the Maintainer s Assistant, which employs formal program transformation techniques in support of maintenance activities. Like our work on assembler, Bennett et al. report on a system applied to the analysis of IBM 370 assembler by transformation into a wide spectrum intermediate ....

Bennett, K, Bull, T. and Yang, H. 1992. A Transformation System for Maintenance--- Turning Theory into Practice. Proc. 1992 IEEE Conference on Software Maintenance, pp. 146--155.

....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 ....

Keith Bennett, Tim Bull, and Hongji Yang. A transformation system for maintenance --- turning theory into practice. In Conference on Software Maintenance, Orlando, FL, November 9-12 1992. (cited on page 19)

....is a concept library which contains the knowledge about programming and application domain concepts, and concept recognition is done by pattern matching. REFORM project developed a tool named the Maintainer s Assistant to assist the human maintainer, handling assembler and Z in an easy to use way [3, 20, 21]. One of the most important successes of Maintainer s Assistant is that it is based on a wide spectrum language whose syntax and semantics are formally defined. However, Maintainer s Assistant focused on transformation rather than abstraction. It involved very little in how to use multi levelled ....

Bennett, K. H., Bull, T., and Yang, H. A transformation system for maintenance --- turning theory into practice. In IEEE Conference on Software Maintenance-1992 (Orlando, Florida, Nov. 1992).

....software maintenance into a formally unified semantic model. We intend to use a wide spectrum language approach to the proposed formal re engineering of existing computing systems, particularly real time systems. Our extensive experience with the design and use of the Wide Spectrum Language (WSL) [4,16,63] and TAM [10,59,64] have illustrated the practical use of such an approach. In our next research stage, we therefore aim to: 1. develop a single wide spectrum language in which both abstract specifications written in our extended logic and executable code may be described in graphical notations, ....

Bennett, K. H., Bull, T. and Yang, H., "A Transformation System for Maintenance --- Turning Theory into Practice", IEEE Conference on Software Maintenance-1992, Orlando, Florida, November, 1992.

....code itself. However, to software engineers, code is more difficult to understand than specification. This accounts for the present backward situation of maintenance to some extent. Based on the experience of using various maintenance and development tools, in particular Maintainer s Assistant (MA)[1, 6] and SPIN [3] we made a comparison between the current technology of maintenance and development. The result is given in section 2. Our conclusion is that development research has a longer history and is more advanced in a wide span. With the suggestion of successes in development technology, a ....

Bennett, K. H., Bull, T., and Yang, H. A transformation system for maintenance --- turning theory into practice. In IEEE Conference on Software Maintenance-1992 (Orlando, Florida, Nov. 1992).

....can be precisely defined. The novel aspects of this work are in the incorporation of the outcome of extensive research in a number of key areas of software maintenance into a formally unified semantic model. Our extensive experience with the design and use of the Wide Spectrum Language (WSL) [2] [28] 6]and TAM [26] 3] 29]have illustrated the practical use of such an approach. ITL was first proposed by Moszkowski [21] ITL avoids the proliferation of time variables in specifications, as do all temporal logics. ITL is sufficiently general to express any discrete computation. An ....

Bennett, K. H., Bull, T. and Yang, H., "A Transformation System for Maintenance --- Turning Theory into Practice", IEEE Conference on Software Maintenance-1992, Orlando, Florida, November, 1992.

....of the result. Finally, the tool is also capable of computing standard complexity metrics for a selected region of the WSL program, and presenting them in graphical form to show changes with time. Currently, McCabe, structural, size, control flow, data flow and branch loop metrics may be computed [2]. It has been learned through experience that a user often employs a pattern of transformations, and it is easy within the tool to group such transformations into more powerful single transformations. Currently, such super transformations are added by the tool builder, but as the transformations ....

K. H. Bennett, H. Yang & T. Bull, "A Transformation System for Maintenance---Turning Theory into Practice," Conference on Software Maintenance, Orlando, Florida (1992).

....of the result. Finally, the tool is also capable of computing standard complexity metrics for a selected region of the WSL program, and presenting them in graphical form to show changes with time. Currently, McCabe, structural, size, control flow, data flow and branch loop metrics may be computed [5]. It has been learned through experience that a user often employs a pattern of transformations, and it is easy within the tool to group such transformations into more powerful single transformations. Currently, such super transformations are added by the tool builder, but as the ....

K. H. Bennett, H. Yang & T. Bull, "A Transformation System for Maintenance---Turning Theory into Practice," Conference on Software Maintenance, Orlando, Florida (1992).

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