Transformational Abstraction for Java (TAJ)
نویسنده
چکیده
A major problem in software maintenance and reverse engineering is the lack of documentation that represents the actual state of the application source code. When a software product needs to be updated to fix bugs, add new functionality, or ported to other system, usually developers find themselves with documentation that does not reflect the actual state of the application (and the source code) making it hard to comprehend how the code accomplishes the functionality stated in the different high level documentation elements. Developers then must read and understand the source code, using code comments as the low level documentation, which may themselves be out of date.
منابع مشابه
JDubiel: A Java Applet for Pitch-Class Set Analysis
Computer programs that facilitate analysis of atonal music are indispensable tools for music theorists. However, most of the programs currently available on the Web are limited to the derivation of Tn/TnI types and interval vectors and basic twelve-tone operations and cannot handle rotational arrays of tone rows, transformational relations between pcsets, and so on. By contrast, “JDubiel,” writ...
متن کاملA Transformational Interpreter for Goal-Directed Evaluation
We develop a Java-based interpreter for the Unicon programming language using transformation, first into an iterator calculus and from there into the dynamic language Groovy. In Unicon every expression is a generator that produces values until it fails, and operations are conditioned on success and failure. The transformations first normalize primary expressions by flattening nested generators ...
متن کاملA Formalization of a Hierarchical Model for RISC Processors
Since microprocessors are used in many areas of real-time control, the use of formal methods provides an alternative approach for achieving high reliability. In this paper, a methodology based on a hierarchical model of interpreters is presented for formalizing RISCs in general. The abstraction levels used by a designer in the implementation of RISCs, namely the instruction set level, the pipel...
متن کاملOn the Transition from Computation Independent to Platform Independent Models
The Model Driven Architecture (MDA) describes software development based on models on different levels of abstraction. The development process is outlined as a sequence of model transformations which add specific details to the software models with each subsequent step. The OMG MDA guide refers to the computation independent model (CIM) as the highest level of abstraction. However this model ty...
متن کاملReverse Engineering is Reverse Forward Engineering
Reverse Engineering is focused on the challenging task of understanding legacy program code without having suitable documentation. Using a transformational forward engineering perspective, we gain the insight that much of this difficulty is caused by design decisions made during system development. Such decisions “hide” the program functionality and performance requirements in the final system ...
متن کامل