Toward a Framework for Conceptual and Formal Outlines of Programs, F. Balmas
Available as
.
@InProceedings{ balmas:toward,
author = {F. Balmas},
title = {Toward a Framework for Conceptual and Formal Outlines of
Programs},
booktitle = {Fourth Working Conference on Reverse Engineering},
publisher = {IEEE Computer Society },
year = {1997},
pages = {226 - 235},
address = {Amsterdam, The Netherlands},
month = {October},
url = {http://www.ai.univ-paris8.fr/~fb/},
abstract = {In this paper, we propose to re-document programs with
outlines. The interest of outlines is that they allow to
contract, as in a zoom, the amount of information necessary
to understand programs, easing walking through them to
localize given computations or to identify the role of a
piece of code. As a first stage toward a framework of
program outlines, we have defined a model suited to the
representation of computations performed within loops. The
main feature of our outlines is that they are both formal
and conceptual: they are represented within frames which
are semantically equivalent to the outlined loops and help
understanding what is computed by revealing how this is
computed. In order to re-document loops, we implemented a
system, PRISME, able to automatically construct outlines of
a subset of Lisp looping functions. PRISME allowed us to
validate the implementation of our model. Currently, we use
it intensively to experiment the role of outlines for
debugging and reverse specification of programs. },
keywords = {re-documentation, program representation, outlines},
class = {Knowledge-Based_Concept_Assignment
Software_Reverse_Engineering Others Reverse_Design
Functional_Abstraction
Fundamental_Methods_in_Reverse_Design
Program_Plan_Assignment_by_Parsing
Intermediate_Representations_of_Source_Code }
}
Extraktion statischer Traces zur Wiedergewinnung von Protokollen, Sven Hanssen
@MastersThesis{ hanssen:extraktion,
author = {Sven Hanssen},
title = {Extraktion statischer Traces zur Wiedergewinnung von
Protokollen},
school = {Institut für Informatik, Universität Stuttgart},
year = {2000},
note = {The language is German.},
type = {Studienarbeit Nr. 1768},
class = {Software_Reverse_Engineering, Reverse_Design,
Fundamental_Methods_in_Reverse_Design, Others}
}
A method to remove variations in source codes, Norihide Hattori and Naohiro Ishii
@Article{ hattori.ishii:method,
author = {Norihide Hattori and Naohiro Ishii},
title = {A method to remove variations in source codes},
journal = {Information and Software Technology},
volume = {38},
pages = {25-36},
year = {1996},
abstract = {Variations in source codes of computer programs cause
difficult problems in source code handling systems, such as
program understanding systems. This paper proposes a new
method to remove these variations. First, a representation
method of programs is discussed. The proposed
representation is free from three kinds of variations and
it can be easily rewritten. Next, a prototype variation
removal system is evaluated. The system utilizes the
representation and removes 13 kinds of variations by
program rewriting. It has removed 20 - 83 \% variations in
the source codes implemented by undergraduates and
postgraduates. },
keywords = {Variation removal; Source code; Rewriting},
class = {Software_Reverse_Engineering, Reverse_Design,
Fundamental_Methods_in_Reverse_Design, Others}
}
Semi-automatische Herleitung von Komponentenprotokollen aus statischen Verwendungsmustern, Timo Heiber
@MastersThesis{ heiber:semi-automatische,
author = {Timo Heiber},
title = {Semi-automatische Herleitung von Komponentenprotokollen
aus statischen Verwendungsmustern},
school = {Institut für Informatik, Universität Stuttgart},
year = {2000},
type = {Diplomarbeit Nr. 1822},
note = {The language is English, even though the title is
German.},
class = {Software_Reverse_Engineering, Reverse_Design,
Fundamental_Methods_in_Reverse_Design, Others}
}
Detecting Interleaving, Spencer Rugaber and Kurt Stirewalt and Linda M. Wills
@Unpublished{ rugaber.stirewalt.ea:detecting,
author = {Spencer Rugaber and Kurt Stirewalt and Linda M. Wills},
title = {Detecting Interleaving},
organization = {College of Computing, Georgia Institute of Technology},
address = {Atlanta, Georgia 30332-0280},
email = {spencer@cc.gatech.edu},
abstract = {The various goals and requirements of a system are
realized in software as fragments of code that are
typically ``interleaved'' in that they may be woven
together in the same contigous textual area of code. The
fragments of code are often delocalized and overlap rather
than beiing composed in a simple linear sequence.
Interleaving severely complicates software comprehension
and maintenance. To address this problem, we are developing
analysis tools, based on the Software Refinery. This paper
describes our experiences in detecting interleaving in a
corpus of mathematical software written in Fortran from the
Jet Propulsion Laboratory. In particular, it discusses how
feasible it is to detect interleaving of various types and
the ability of existing tools to assist these types of
detection.},
class = {Software_Reverse_Engineering, Reverse_Design,
Fundamental_Methods_in_Reverse_Design, Others}
}