 |
|
@inproceedings {INPROC-2012-25,
author = {Torsten G{\"o}rg},
title = {{A Model-Based Approach to Type-3 Clone Elimination}},
booktitle = {14. Workshop Software-Reengineering (WSR 2012) der GI-Fachgruppe Software-Reengineering, Bad-Honnef, 02.-04. Mai 2012, Proceedings},
publisher = {Gesellschaft f{\"u}r Informatik (GI)},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {21--22},
type = {Workshop Paper},
month = {May},
year = {2012},
language = {English},
cr-category = {D.2.7 Software Engineering Distribution, Maintenance, and Enhancement},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {This paper presents an approach to elimination of Type-3 code clones based on
generative techniques. At a first step it is shown how to replace Type-3 clones
by higher-order functions. Then this approach is fur- ther generalized by
utilizing generative designs.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2012-25&engl=1}
}
@inproceedings {INPROC-2012-24,
author = {Mikhail Prokharau},
title = {{Aspects of Code Pattern Removal}},
booktitle = {14. Workshop Software-Reengineering (WSR 2012) der GI-Fachgruppe Software-Reengineering, Bad-Honnef, 02.-04. Mai 2012, Proceedings},
publisher = {Gesellschaft f{\"u}r Informatik (GI)},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {19--20},
type = {Workshop Paper},
month = {May},
year = {2012},
language = {English},
cr-category = {I.5 Pattern Recognition},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {While many approaches for detecting undesirable or recurring code patterns have
been presented over the years, there often remains the question how to prop-
erly interpret their results. This article presents a number of aspects of
semi-automatic pattern elimina- tion and discusses consequences of their
application for safety and efficiency.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2012-24&engl=1}
}
@inproceedings {INPROC-2011-79,
author = {Steffen Keul},
title = {{Tuning Static Data Race Analysis for Automotive Control Software}},
booktitle = {Proceedings of the 11th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM), 25-26 September, Williamsburg, VA, USA},
publisher = {IEEE Computer Society},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {45--54},
type = {Conference Paper},
month = {September},
year = {2011},
isbn = {978-1-4577-0932-6},
doi = {10.1109/SCAM.2011.16},
language = {English},
cr-category = {D.2.4 Software Engineering Software/Program Verification,
D.4.1 Process Management,
F.3.2 Semantics of Programming Languages},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {Implementation of concurrent software systems is difficult and error-prone.
Race conditions can cause intermittent failures, which are rarely found during
testing. In safety-critical applications, the absence of race conditions should
be demonstrated before deployment of the system. Several static analysis
techniques to show the absence of data races are known today. In this paper, we
report on our experiences with a static data race detector. We define a basic
analysis based on classical lockset analysis and present three enhancements to
that algorithm. We evaluate and compare the effectiveness of the basic and
enhanced analysis algorithms empirically for an automotive embedded system. We
find that the number of warnings could be reduced by more than 40\% and that the
ratio of true positives per total number of warnings could be doubled.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2011-79&engl=1}
}
@inproceedings {INPROC-2011-55,
author = {Torsten G{\"o}rg},
title = {{Detection of Intentions in Context-Free Grammars}},
booktitle = {13. Workshop Software-Reengineering (WSR 2011), Bad Honnef, 2.-4. Mai 2011, Softwaretechnik-Trends, Band 31, Heft 2},
publisher = {Gesellschaft f{\"u}r Informatik e.V. (GI)},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {20--21},
type = {Workshop Paper},
month = {May},
year = {2011},
issn = {0720-8928},
language = {English},
cr-category = {D.2.7 Software Engineering Distribution, Maintenance, and Enhancement,
F.4.3 Formal Languages},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {A programming language is based on several intentions and design requirements.
As this information is reflected in the grammar of the language some intentions
can be reverse engineered from the grammar. This paper presents an approach to
detect intention instances in context-free grammars to support understanding of
the design of languages. Some typical intentions in imperative languages are
shown, followed by a discussion how to detect them automatically with a static
analysis tool based on graph transformation.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2011-55&engl=1}
}
@inproceedings {INPROC-2011-54,
author = {Mikhail Prokharau and Daniel Gerlach and Steffen Keul},
title = {{Static Analysis of Predicate-based Synchronisation}},
booktitle = {13. Workshop Software-Reengineering (WSR 2011), Bad Honnef, 2.-4. Mai 2011, Softwaretechnik-Trends, Band 31, Heft 2},
publisher = {Gesellschaft f{\"u}r Informatik e.V. (GI)},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {16--17},
type = {Workshop Paper},
month = {May},
year = {2011},
issn = {0720-8928},
language = {English},
cr-category = {D.1.3 Concurrent Programming,
D.4.1 Process Management,
F.3.2 Semantics of Programming Languages},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {While many software projects requiring some form of parallelisation resort to
standard synchronisation mechanisms offered by a programming language or a
standard library of choice, other synchronisation techniques exist. This paper
presents predicate-based synchronisation constructs and discusses the
possibilities of their detection and static analysis.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2011-54&engl=1}
}
@inproceedings {INPROC-2011-53,
author = {Reinhard von Hanxleden and Niklas Holsti and Bj{\"o}rn Lisper and Erhard Pl{\"o}dereder and Reinhard et.al. Wilhelm},
title = {{WCET Tool Challenge 2011: Report}},
booktitle = {Proceedings of the 11th International Workshop on Worst-Case Execution Time (WCET) Analysis; Porto, Portugal},
publisher = {-},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {1--38},
type = {Workshop Paper},
month = {July},
year = {2011},
language = {English},
cr-category = {A.0 General Literature, General},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {no abstract available},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2011-53&engl=1}
}
@inproceedings {INPROC-2011-47,
author = {Erhard Pl{\"o}dereder},
title = {{Programming Languages Meet Multicore}},
booktitle = {Reliable Software Technologies, Ada-Europe 2011:16th International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24., 2011, Proceedings.},
publisher = {Springer},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
series = {LNCS},
volume = {6652},
pages = {189--192},
type = {Conference Paper},
month = {June},
year = {2011},
language = {English},
cr-category = {D.3 Programming Languages},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {no abstract available},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2011-47&engl=1}
}
@inproceedings {INPROC-2011-46,
author = {Aoun Raza and Stefan Franke and Erhard Pl{\"o}dereder},
title = {{Detecting High-Level Synchronization Errors in Parallel Programs}},
booktitle = {Reliable Software Technologies, Ada-Europe 2011:16th International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24., 2011, Proceedings},
publisher = {Springer},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
series = {LNCS},
volume = {6652},
pages = {17--30},
type = {Conference Paper},
month = {June},
year = {2011},
language = {English},
cr-category = {D.1.3 Concurrent Programming},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {no abstract available},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2011-46&engl=1}
}
@inproceedings {INPROC-2010-59,
author = {Steffen Keul},
title = {{Static Versioning of Global State for Race Condition Detection}},
booktitle = {Reliable Software Technologiey – Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings},
publisher = {Springer Berlin Heidelberg},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
series = {Lecture Notes in Computer Science},
volume = {6106},
pages = {111--124},
type = {Conference Paper},
month = {June},
year = {2010},
isbn = {978-3-642-13549-1},
doi = {10.1007/978-3-642-13550-7},
keywords = {Software Reengineering; Concurrent Reliable Software; Statische Analyse},
language = {English},
cr-category = {D.1.3 Concurrent Programming,
F.3.2 Semantics of Programming Languages},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {The implementation of concurrent reliable software systems is very difficult.
Race conditions on shared data can cause a program's memory state to become
inconsistent and result in unpredictable behavior of the software. Much work
has been published on analyses to identify access sites to shared data which do
not conform to an accepted synchronization pattern. However, those algorithms
usually cannot determine if a computation will use a consistent version of more
than one shared data object. In this paper, we present a new static analysis
algorithm to identify computations which can potentially load values that were
stored independently of each other. These uses of global state are affected by
race conditions and may yield undesired values during the execution of the
program. We show applicability of an implementation of the analysis on several
open-source systems.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2010-59&engl=1}
}
@inproceedings {INPROC-2010-58,
author = {Steffen Keul and Mikhail Prokharau and Daniel Gerlach and Carola Jenke and Aoun Raza},
title = {{RaceVis: Ein Werkzeug zur Visualisierung von Data Races}},
booktitle = {12. Workshop Software-Reengineering, Bad Honnef, 03. -05. Mai 2010, Softwaretechnik Trends, Band 30, Heft 2},
publisher = {GI},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
series = {Softwaretechnik-Trends},
pages = {82--83},
type = {Workshop Paper},
month = {May},
year = {2010},
issn = {0720-8928},
keywords = {Software Reengineering; Nebenl{\"a}ufige Programme; Statische Analyse},
language = {German},
cr-category = {D.1.3 Concurrent Programming},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {Statische Programmanalyse zur Erkennung von Data Races ist ein wichtiges
Werkzeug zur Sicherstellung der Korrektheit von nebenl{\"a}ufigen Programmen in
Entwicklung und Wartung. Der Einsatz statischer Analyse l{\"a}sst jedoch eine
Anzahl an falsch positiven Warnungen erwarten. In diesem Papier wird ein
Werkzeug zur manuellen Untersuchung und Bewertung dieser Meldungen vorgestellt.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2010-58&engl=1}
}
@inproceedings {INPROC-2010-123,
author = {Aoun Raza},
title = {{Thinking Beyond Race Conditions}},
booktitle = {12. Workshop Software Reengineering (WSR 2010), Bad Honnef, 3.-5. Mai 2010, Softwaretechnik-Trends, Band 30, Heft 2},
publisher = {GI},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
series = {Softwaretechnik-Trends},
pages = {80--81},
type = {Workshop Paper},
month = {May},
year = {2010},
issn = {0720-8928},
language = {English},
cr-category = {D.1.3 Concurrent Programming},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {no abstract available},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2010-123&engl=1}
}
@inproceedings {INPROC-2008-147,
author = {Eduard Wiebe and Steffen Keul and Stefan Staiger and Gunther Vogel and Andreas Haufler and Wolfgang Scherer},
title = {{Entwurfsmuster-Erkennung mit Bauhaus}},
booktitle = {Proceedings of the 10th Workshop Software Reengineering (WSR 2008), 5. - 7. May 2008, Bad Honnef},
editor = {Rainer Gimnich and Uwe Kaiser and Jochen Quante and Andreas Winter},
publisher = {Bonner K{\"o}llen Verlag},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
series = {Lecture Notes in Informatics},
volume = {P-126},
pages = {181--185},
type = {Workshop Paper},
month = {May},
year = {2008},
isbn = {978-3-88579-220-8},
isbn = {ISSN 1617-5468},
language = {German},
cr-category = {F.3.2 Semantics of Programming Languages},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {no abstract available},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-147&engl=1}
}
@inproceedings {INPROC-2008-146,
author = {Aoun Raza and Gunther Vogel},
title = {{RCanalyser: A Flexible Framework for the Detection of Data Races in Parallel Programs}},
booktitle = {Proceedings: Reliable Software Technologies - Ada-Europe 2008 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008.},
editor = {Fabrice Kordon and Tullio Vardanega},
publisher = {Springer-Verlag},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
series = {Lecture Notes in Computer Science},
volume = {5026},
pages = {226--239},
type = {Conference Paper},
month = {June},
year = {2008},
isbn = {978-3-540-68621-7},
language = {English},
cr-category = {D.2.5 Software Engineering Testing and Debugging,
D.4.1 Process Management},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {no abstract available},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2008-146&engl=1}
}
@inproceedings {INPROC-2007-143,
author = {Felix L{\"o}sch and Erhard Pl{\"o}dereder},
title = {{Restructuring Variability in Software Product Lines using Concept Analysis of Product Configurations}},
booktitle = {Proceedings of the 11th European Conference on Software Maintenance and Reengineering (CSMR 2007), Amsterdam, 21.-23. M{\"a}rz 2007},
address = {Los Alamitos, CA, USA},
publisher = {Conference Proceedings},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {159--170},
type = {Conference Paper},
month = {March},
year = {2007},
isbn = {0-7695-2802-3},
isbn = {"DOI:http://doi.ieeecomputersociety.org/10.1109/CSMR.2007.40"},
keywords = {Embedded Systems; Concept Analysis; Software Product Line Conference},
language = {English},
cr-category = {C.3 Special-Purpose and Application-Based Systems},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {The management of variability plays an important role in successful software
product line engineering. As the set of products that is derived from the
product line and their requirements are constantly changing, the variability in
the product line needs to evolve as well. A typical problem in such an
evolution scenario is that the number of variable features and variants will
explode, and thus become unmanageable. One of the reasons for this explosion is
that obsolete variable features are not removed. In order to address this
problem, we present a new method for restructuring and simplifying the provided
variability in a software product line. Our method is based on concept
analysis. It analyzes the realized variability in a software product line, and
constructs a lattice that provides a classification of the usage of variable
features in real products derived from the product line. We show how this
classification can be used to derive restructuring strategies for variability
that solve the problem of variability explosion. The effectiveness of our
method is demonstrated by presenting a case study of restructuring the
variability in a large industrial software product line.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-143&engl=1}
}
@inproceedings {INPROC-2007-142,
author = {Felix L{\"o}sch and Erhard Pl{\"o}dereder},
title = {{Optimization of Variability in Software Product Lines}},
booktitle = {Proceedings of the 11th International Software Product Line Conference (SPLC 2007), Kyoto, Japan, 10.-14. September 2007},
editor = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
publisher = {Conference Proceedings},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {151--162},
type = {Conference Paper},
month = {September},
year = {2007},
isbn = {0-7695-2888-0},
isbn = {"DOI:http://doi.ieeecomputersociety.org/10.1109/SPLINE.2007.31"},
keywords = {Embedded Systems; Product Line Approach; Time-to-market},
language = {German},
cr-category = {C.3 Special-Purpose and Application-Based Systems},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {The widespread use of the product line approach allows companies to realize
significant improvements in time-to-market, cost, productivity, and quality.
However, a fundamental problem in software product line engineering is that a
product line of industrial size can easily incorporate several thousand
variable features. The complexity caused by this amount of variability makes
variability management and product derivation tasks extremely difficult. To
address this problem, we present a new method to optimize the variability
provided in a software product line. Our method constructs a visualization that
provides a classification of the usage of variable features in real products
derived from the product line. We show how this classification can be used to
derive restructuring strategies for simplifying the variability. The
effectiveness of our work is demonstrated by presenting a case study of
optimizing the variability in a large industrial software product line.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-142&engl=1}
}
@inproceedings {INPROC-2007-141,
author = {Stefan Staiger},
title = {{Static Analysis of Programs with Graphical User Interface}},
booktitle = {Proceedings of the 11th European Conference on Software Maintenance and Reengineering (CSMR 2007), 21-23 March 2007, Amsterdam},
publisher = {IEEE Computer Society},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {252--261},
type = {Conference Paper},
month = {March},
year = {2007},
isbn = {0-7695-2802-3},
language = {English},
cr-category = {F.3.2 Semantics of Programming Languages},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {no abstract available},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-141&engl=1}
}
@inproceedings {INPROC-2007-140,
author = {Gunther Vogel},
title = {{Transformation und Vergleich von endlichen Automaten zur Analyse von Software-Protokollen}},
booktitle = {Proceedings of the Workshop on Applied Program Analysis, Bremen, September 2007},
publisher = {Gesellschaft f{\"u}r Informatik},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
series = {Lecture Notes in Informatics},
pages = {268--274},
type = {Workshop Paper},
month = {September},
year = {2007},
language = {German},
cr-category = {F.1.1 Models of Computation,
F.3.2 Semantics of Programming Languages},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {Der Artikel beschreibt, wie endliche Automaten f{\"u}r Software-Protokolle aus dem
Quelltext gewonnen und durch Transformationen f{\"u}r die Weiterverarbeitung und
den Vergleich aufbereitet werden k{\"o}nnen. Die beschriebenen Techniken werden
zur Pr{\"u}fung von Protokollen oder zur Herleitung von Protokollspezifikationen
eingesetzt. Messergebnisse zeigen die Praktikabilit{\"a}t des Verfahrens.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-140&engl=1}
}
@inproceedings {INPROC-2007-139,
author = {Stefan Staiger},
title = {{Statische Analyse von graphischen Oberfl{\"a}chen}},
booktitle = {Proceedings of the Workshop on Applied Program Analysis, Bremen September 2007},
publisher = {Gesellschaft f{\"u}r Informatik},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
series = {Lecture Notes in Informatics},
pages = {247--253},
type = {Workshop Paper},
month = {September},
year = {2007},
language = {German},
cr-category = {D.2.7 Software Engineering Distribution, Maintenance, and Enhancement,
F.3.2 Semantics of Programming Languages},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {no abstract available},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-139&engl=1}
}
@inproceedings {INPROC-2007-138,
author = {Stefan Staiger},
title = {{Reverse Engineering Graphical User Interfaces using Static Analyses}},
booktitle = {Proceedings of the 14th Working Conference on Reverse Engineering (WCRE), 28-31 October 2007, Vancouver, BC, Canada.},
publisher = {IEEE Computer Society},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {189--198},
type = {Conference Paper},
month = {October},
year = {2007},
language = {English},
cr-category = {D.2.7 Software Engineering Distribution, Maintenance, and Enhancement,
F.3.2 Semantics of Programming Languages},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {no abstract available},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-138&engl=1}
}
@inproceedings {INPROC-2007-137,
author = {Stefan Staiger and Gunther Vogel and Steffen Keul and Eduard Wiebe},
title = {{Interprocedural Static Single Assignment Form}},
booktitle = {Proceedings of the 14th Working Conference on Reverse Engineering (WCRE), 28-31 October 2007, Vancouver, BC, Canada},
publisher = {IEEE Computer Society},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {1--10},
type = {Conference Paper},
month = {October},
year = {2007},
keywords = {SSA form; data flow; static interprocedural analysis; Bauhaus},
language = {English},
cr-category = {D.2.7 Software Engineering Distribution, Maintenance, and Enhancement,
F.3.2 Semantics of Programming Languages},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {no abstract available},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2007-137&engl=1}
}
@inproceedings {INPROC-2006-99,
author = {Aoun Raza},
title = {{A Review of Race Detection Mechanisms}},
booktitle = {Proceedings of the First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006},
publisher = {Springer},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
series = {Lecture Notes in Computer Science},
volume = {3967},
pages = {534--543},
type = {Conference Paper},
month = {June},
year = {2006},
isbn = {3-540-34166-8},
language = {German},
cr-category = {D.1.3 Concurrent Programming},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {no abstract available},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2006-99&engl=1}
}
@inproceedings {INPROC-2006-111,
author = {Gunther Vogel},
title = {{Statische Extraktion von Protokollen}},
booktitle = {8. Workshop Software-Reengineering},
publisher = {Universit{\"a}t Koblenz-Landau},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {52--53},
type = {Workshop Paper},
month = {May},
year = {2006},
keywords = {Programmabl{\"a}ufe; Statische Analysen},
language = {German},
cr-category = {D.3.3 Programming Language Constructs and Features,
F.3.3 Studies of Program Constructs},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {Der vorliegende Artikel stellt M{\"o}glichkeiten zur statischen Analyse von
Programmabl{\"a}ufen vor. Die Regeln und Konventionen dieser Abl{\"a}ufe werden unter
dem Begriff des Protokolls zusammengefasst.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2006-111&engl=1}
}
@inproceedings {INPROC-2006-101,
author = {Rainer Koschke and Gerarde Canfora and J{\"o}rg Czeranski},
title = {{Revisiting the Delta-IC Approach}},
booktitle = {Journal of Science of Computer Programming 60 (2006), Nr. 2},
publisher = {Elsevier},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {171--188},
type = {Conference Paper},
month = {December},
year = {2006},
keywords = {Reengineering},
language = {English},
cr-category = {D.2 Software Engineering},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {Kein Abstract verf{\"u}gbar.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2006-101&engl=1}
}
@inproceedings {INPROC-2006-100,
author = {Aoun Raza and Gunther Vogel and Erhard Pl{\"o}dereder},
title = {{Bauhaus - A Tool Suite for Program Analysis and Reverse Engineering}},
booktitle = {Reliable Software Technologies -- Ada-Europe 2006: 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9,2006},
address = {Berlin},
publisher = {Springer},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
series = {Lecture Notes in Computer Science},
volume = {4006},
pages = {71--82},
type = {Conference Paper},
month = {June},
year = {2006},
isbn = {978-3540346630},
language = {English},
cr-category = {D.2.7 Software Engineering Distribution, Maintenance, and Enhancement,
D.2.11 Software Engineering Software Architectures,
D.3.4 Programming Languages Processors},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {no abstract available},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2006-100&engl=1}
}
@inproceedings {INPROC-2005-129,
author = {Andreas Christl and Rainer Koschke and Margaret-Anne Storey},
title = {{Equipping the Reflexion Method with Automated Clustering}},
booktitle = {Working Conference on Reverse Engineering, 2005},
publisher = {IEEE Computer Society Conference Publishing Services},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {89--98},
type = {Conference Paper},
month = {November},
year = {2005},
keywords = {Clustering; Hugme; Software Reflexion Model; reverse Engineering},
language = {English},
cr-category = {D.2.7 Software Engineering Distribution, Maintenance, and Enhancement,
D.2.11 Software Engineering Software Architectures,
H.3.3 Information Search and Retrieval},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {A significant aspect in applying the Reflexion Method is the mapping of
components found in the source code onto the conceptual components defined in
the hypothesized architecture. To date, this mapping is established manually,
which requires a lot of work for large software systems. In this paper we
present a new approach, in which clustering techniques are applied to support
the user in the mapping activity. The result is a semi-automated mapping
technique that accommodates the automatic clustering of the source model with
the user's hypothesized knowledge about the system's architecture.
This paper describes also a case study in which our semi-automated mapping
technique has been applied successfully to extend a partial map of a real-world
software application.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2005-129&engl=1}
}
@inproceedings {INPROC-2004-92,
author = {Zdenko Vrandecic and Daniel Simon and Stefan Bellon},
title = {{XML4Ada95: DOM-Zugriff auf die XML in Ada95}},
booktitle = {Zuverl{\"a}ssige Softwaresysteme, Ada Deutschland Tagung 2004},
publisher = {Shaker Verlag GmbH},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {203--213},
type = {Conference Paper},
month = {October},
year = {2004},
isbn = {978-3-8322-3283-2},
keywords = {Programming Language; XML},
language = {German},
cr-category = {D.2 Software Engineering},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {Kein Abstract verf{\"u}gbar.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2004-92&engl=1}
}
@inproceedings {INPROC-2004-91,
author = {Stefan Bellon and J{\"o}rg Czeranski and Thomas Eisenbarth and Daniel Simon},
title = {{A Product Line Asset Management Tool}},
booktitle = {Technical Report: Workshop on Software Variability Management: Software Product Families and Populations},
publisher = {Universit{\"a}t Groningen},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
type = {Workshop Paper},
month = {December},
year = {2004},
keywords = {Software product Families; Line Asset Management},
language = {English},
cr-category = {D.2.9 Software Engineering Management,
K.6.4 System Management},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {Kein Abstract verf{\"u}gbar.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2004-91&engl=1}
}
@inproceedings {INPROC-2004-89,
author = {Rainer Koschke and Daniel Simon},
title = {{Symphony Fallstudie: Hierarchische Reflexion Modelle}},
booktitle = {6. Workshop Software-Reengineering, WSR 2004, Bad Honnef, Germany, Mai 2004. Softwaretechnik-Trends, Band 24, Heft 2},
publisher = {Gesellschaft f{\"u}r Informatik (GI)},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
series = {Softwaretechnik-Trends},
pages = {31--32},
type = {Workshop Paper},
month = {May},
year = {2004},
language = {German},
cr-category = {D.2.7 Software Engineering Distribution, Maintenance, and Enhancement,
D.2.11 Software Engineering Software Architectures},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {In diesem Bericht stellen wir eine Fallstudie vor, die dem Prozessmodell f{\"u}r
Symphony [3] folgt. Wir f{\"u}hren in diesem Zusammenhang eine Sichten getriebene
Architekturrekonstruktion durch, bei der das hierarchische Reflexion Modell [4]
zum Zuge kommt. Im folgenden werden die einzelnen Schritte von Symphony f{\"u}r
die Validierung von zwei Open-Source Compiler gegen eine Compiler
Referenzarchitektur aus der Literatur mit konkretem Inhalt gef{\"u}llt.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2004-89&engl=1}
}
@inproceedings {INPROC-2004-88,
author = {Zdenko Vrandecic and Daniel Simon},
title = {{XML4Ada95 Accessing XML Using the DOM in Ada95}},
booktitle = {Reliable Software Technologies - Ada-Europe 2004 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings},
address = {Berlin},
publisher = {Springer},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
series = {Lecture Notes in Computer Science},
volume = {3063},
pages = {178--189},
type = {Conference Paper},
month = {June},
year = {2004},
isbn = {978-3-540-22011-4},
language = {English},
cr-category = {D.2.2 Software Engineering Design Tools and Techniques,
D.3.4 Programming Languages Processors},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {no abstract available},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2004-88&engl=1}
}
@inproceedings {INPROC-2003-68,
author = {Gunther Vogel},
title = {{Extraktion statischer Objekt-Prozess-Graphen}},
booktitle = {5. Workshop Software Reengineering, Universit{\"a}t Koblenz-Landau},
publisher = {Universit{\"a}t Koblenz-Landau},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {25--26},
type = {Workshop Paper},
month = {May},
year = {2003},
keywords = {Software Reengineering; Graphen},
language = {German},
cr-category = {G.2.2 Discrete Mathematics Graph Theory,
I.2.8 Problem Solving, Control Methods, and Search},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {Kein Abstract verf{\"u}gbar.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2003-68&engl=1}
}
@inproceedings {INPROC-2003-67,
author = {Stefan Bellon and Daniel Simon},
title = {{Vergleich von Klonerkennungstechniken}},
booktitle = {Softwaretechnik-Trends, Band 23, Heft 2},
publisher = {GI},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {10--11},
type = {Workshop Paper},
month = {May},
year = {2003},
keywords = {Software Reengineering; Klonerkennung},
language = {German},
cr-category = {D.2.13 Software Engineering Reusable Software,
K.6.3 Software Management},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {Kein Abstract verf{\"u}gbar.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2003-67&engl=1}
}
@inproceedings {INPROC-2003-66,
author = {Rainer Koschke and Daniel Simon},
title = {{Hierarchical Reflexion Models}},
booktitle = {proceedings of the 10th Working Conference on Reverse Engineering, Nov. 13.-16., 2003.1},
publisher = {IEEE Computer Society Press},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {36--45},
type = {Conference Paper},
month = {November},
year = {2003},
keywords = {Reengineering; Reflexion Model; Hierarchical Architecture Model},
language = {English},
cr-category = {D.2.11 Software Engineering Software Architectures,
I.6.4 Model Validation and Analysis,
K.6.3 Software Management},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {The reflexion model originally proposed by Murphy and Notkin allows one to
structurally validate a descriptive or prescriptive architecture model against
a source model. First, the entities in the source model are mapped onto the
architectural model, then discrepancies between the architecture model and
source model are computed automatically. The original reflexion model allows an
analyst to specify only non-hierarchical architecture models, which is
insufficient for larger systems that are decomposed into hierarchical
subsystems. This paper extends the original reflexion model to hierarchical
architecture models, describes a method to apply this technique, and reports on
case studies conducted on two large-scale and complex applications (namely, the
C compiler sdcc for 8-bit microprocessors and the GNU C compiler gcc).},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2003-66&engl=1}
}
@inproceedings {INPROC-2002-56,
author = {J{\"o}rg Czeranski and Thomas Eisenbarth and Daniel Simon},
title = {{Softwarevisualisierungstool Gravis}},
booktitle = {4. Workshop Software Reengineering (Bad Honnef, 29./30. April 2002)},
publisher = {Universit{\"a}t Koblenz-Landau},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
type = {Workshop Paper},
month = {September},
year = {2002},
language = {German},
cr-category = {D.2 Software Engineering},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {Kein Abstract verf{\"u}gbar.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2002-56&engl=1}
}
@inproceedings {INPROC-2002-55,
author = {Daniel Simon and Thomas Eisenbarth},
title = {{Feature Location and Connector Recovery: New Approaches for Software Understanding}},
booktitle = {3. Workshop Software Reengineering (Bad Honnef, 10./11. Mai 2001)},
publisher = {Universit{\"a}t Koblenz-Landau},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
type = {Workshop Paper},
month = {January},
year = {2002},
keywords = {Feature Location; Connector Recovery},
language = {English},
cr-category = {D.2 Software Engineering},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {The most challenging and time consuming task software engineers have to master
is to understand a software system's behaviour and its implementation. About
50\% of the time used for maintenance is devoted to program understanding [13].
This task has to be performed for different objectives such as correcting or
optimizing a system, making a system match up to its environment's evolution,
and reusing some of a system's functionality.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2002-55&engl=1}
}
@inproceedings {INPROC-2002-54,
author = {J{\"o}rg Czeranski and Thomas Eisenbarth and Daniel Simon},
title = {{Softwarevisualisierungstool Gravis}},
booktitle = {4. Workshop Software Reengineering (Bad Honnef, 29./30. April 2002)},
publisher = {Universit{\"a}t Koblenz-Landau},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
type = {Workshop Paper},
month = {September},
year = {2002},
language = {German},
cr-category = {D.2 Software Engineering},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {Kein Abstract verf{\"u}gbar.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2002-54&engl=1}
}
@inproceedings {INPROC-2002-53,
author = {Rainer Koschke},
title = {{Software Visualization for Reverse Engineering}},
booktitle = {Software Visualization, International Seminar Dagstuhl Castle, Germany, May 20-25, 2001, Revised Lectures},
editor = {Stephan Diehl},
publisher = {Springer},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
series = {Lecture Notes in Computer Science},
volume = {2269},
pages = {138--150},
type = {Workshop Paper},
month = {December},
year = {2002},
isbn = {3-540-43323-6},
language = {English},
cr-category = {D.2.7 Software Engineering Distribution, Maintenance, and Enhancement},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {no abstract available},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2002-53&engl=1}
}
@inproceedings {INPROC-2002-52,
author = {Daniel Simon and Thomas Eisenbarth},
title = {{Evolutionary Introduction of Software Product Lines}},
booktitle = {Proceedings of the Second International Software Product Line Conference, SPLC 2, San Diego, CA, USA, August 2002},
publisher = {Springer},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
series = {Lecture Notes in Computer Science},
volume = {2379},
pages = {272--283},
type = {Conference Paper},
month = {August},
year = {2002},
language = {English},
cr-category = {D.2 Software Engineering,
K.6.3 Software Management},
ee = {ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/INPROC-2002-52/INPROC-2002-52.pdf},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {Software product lines have proved to be a successful and efficient means for
managing the development of software in industry. The significant benefits over
traditional software architectures have the potential to convince software
companies to adopt the product line approach for their existing products. In
that case, the question arises how to best convert the existing products into a
software product line. For several reasons, an evolutionary approach is
desirable. But so far, there is little guidance on the evolutionary
introduction of software product lines. In this paper, we propose a lightweight
iterative process supporting the incremental introduction of product line
concepts for existing software products. Starting with the analysis of the
legacy code, we assess what parts of the software can be restructured for
product line needs at reasonable costs. For the analysis of the products, we
use feature analysis, a reengineering technique tailored to the specific needs
of the initiation of software product lines.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2002-52&engl=1}
}
@inproceedings {INPROC-2002-51,
author = {Rainer Koschke},
title = {{Atomic Architectural Component Recovery for Program Understanding and Evolution}},
booktitle = {Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 3-6 October 2002, Montreal, Quebec, Canada.},
publisher = {IEEE Computer Society Press},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {478--481},
type = {Conference Paper},
month = {October},
year = {2002},
keywords = {Software Reengineering; Reverse Engineering; Architecture Recovery; Re-Modularization; Objectification},
language = {English},
cr-category = {D.2.11 Software Engineering Software Architectures,
D.2.13 Software Engineering Reusable Software},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {no abstract available},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2002-51&engl=1}
}
@inproceedings {INPROC-2002-50,
author = {Thomas Eisenbarth and Rainer Koschke and Daniel Simon},
title = {{Incremental Location of Combined Features for Large-Scale Programs}},
booktitle = {Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), Maintaining Distributed Heterogeneous Systems, 3-6 October 2002, Montreal, Quebec, Canada.},
publisher = {IEEE Computer Society Press},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {273--282},
type = {Conference Paper},
month = {October},
year = {2002},
language = {English},
cr-category = {D.2.11 Software Engineering Software Architectures},
ee = {ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/INPROC-2002-50/INPROC-2002-50.pdf},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {no abstract available},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2002-50&engl=1}
}
@inproceedings {INPROC-2002-49,
author = {Thomas Eisenbarth and Rainer Koschke and Gunther Vogel},
title = {{Static Trace Extraction}},
booktitle = {Proceedins of the 9th Working Conference on Reverse Engineering (WCRE 2002), 28 October - 1 November 2002, Richmond, VA, USA.},
publisher = {IEEE Computer Society Press},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {128--137},
type = {Conference Paper},
month = {October},
year = {2002},
language = {English},
cr-category = {D.2.11 Software Engineering Software Architectures},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {no abstract available},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2002-49&engl=1}
}
@inproceedings {INPROC-2002-48,
author = {Rainer Koschke and Yan Zhang},
title = {{Component Recovery, Protocol Recovery and Validation}},
booktitle = {3. Workshop Software Reengineering (Bad Honnef, 10./11.Mai 2001, Fachberichte Informatik,Universit{\"a}t Koblenz-Landau, Nr.1/2002},
publisher = {Universit{\"a}t Koblenz-Landau},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {73--76},
type = {Workshop Paper},
month = {January},
year = {2002},
language = {English},
cr-category = {D.2.7 Software Engineering Distribution, Maintenance, and Enhancement,
D.2.11 Software Engineering Software Architectures,
D.2.13 Software Engineering Reusable Software},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {Bauhaus is a research collaboration between the department for programming
languages and compilers at the University of Stuttgart and the Fraunhofer
institute for experimental software engineering in Kaiserslautern. At last
year's Bad Honnef workshop [2], we have outlined future research topics of
Stuttgart's Bauhaus group. This year, we summarize the achievements of the last
12 months and elaborate our research directions in more detail. This paper
specifically addresses continued research in component recovery based on
previous work [7] that additionally leverages our new infrastructure for
control and data flow analyses. The paper introduces also relatively new
research to recover protocols for the identified components.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2002-48&engl=1}
}
@inproceedings {INPROC-2001-88,
author = {Rainer Koschke and Yan Zhang},
title = {{Component Recovery, Protocol Recovery and Validation}},
booktitle = {3. Workshop Software-Reengineering},
publisher = {Universit{\"a}t Koblenz-Landau},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {73--76},
type = {Workshop Paper},
month = {May},
year = {2001},
language = {English},
cr-category = {D.2.7 Software Engineering Distribution, Maintenance, and Enhancement},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {no abstract available},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2001-88&engl=1}
}
@inproceedings {INPROC-2001-87,
author = {Thomas Eisenbarth and Rainer Koschke and Daniel Simon},
title = {{Derivation of the Feature Component Map by means of Concept Analysis}},
booktitle = {Proceedings of the Conference on Software Maintenance and Reengineering, Lisbon, Portugal, March 2001},
publisher = {IEEE Computer Society Press},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {176--179},
type = {Conference Paper},
month = {March},
year = {2001},
language = {English},
cr-category = {D.2.7 Software Engineering Distribution, Maintenance, and Enhancement},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {no abstract available},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2001-87&engl=1}
}
@inproceedings {INPROC-2001-86,
author = {Thomas Eisenbarth and Rainer Koschke and Daniel Simon},
title = {{Feature-Driven Program Understanding Using Concept Analysis of Execution Traces}},
booktitle = {Proceedings of the International Workshop on Program Comprehension, Toronto, Canada, May 12-13, 2001},
publisher = {IEEE Computer Society Press},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {300--309},
type = {Workshop Paper},
month = {May},
year = {2001},
language = {English},
cr-category = {D.2.7 Software Engineering Distribution, Maintenance, and Enhancement},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {no abstract available},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2001-86&engl=1}
}
@inproceedings {INPROC-2001-85,
author = {Thomas Eisenbarth and Daniel Simon},
title = {{Guiding Feature Asset Mining for Software Product Line Development}},
booktitle = {Proceedings of the First International Workshop on Product Line Engineering: The Early Steps: Planning, Modeling and Managing (PLEES'01), Erfurt, Germany, September 2001},
publisher = {Fraunhofer IESE},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {1--4},
type = {Workshop Paper},
month = {September},
year = {2001},
language = {English},
cr-category = {D.2 Software Engineering},
ee = {ftp://ftp.informatik.uni-stuttgart.de/pub/library/ncstrl.ustuttgart_fi/INPROC-2001-85/INPROC-2001-85.pdf},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {no abstract available},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2001-85&engl=1}
}
@inproceedings {INPROC-2001-84,
author = {Rudolf Ferenc and Tibor Gyimothy and Susan Elliott Sim and Richard C. Holt and Rainer Koschke},
title = {{Toward a standard schema for C/C++}},
booktitle = {Proceedings of the Eighth Working Conference on Reverse Engineering (WCRE'01), 2-5 October 2001, Suttgart, Germany},
publisher = {IEEE Computer Society Press},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {49--58},
type = {Conference Paper},
month = {October},
year = {2001},
isbn = {0-7695-1303-4},
language = {English},
cr-category = {D.2.1 Software Engineering Requirements/Specifications,
D.3.1 Programming Languages Formal Definitions and Theory},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {no abstract available},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2001-84&engl=1}
}
@inproceedings {INPROC-2001-83,
author = {Thomas Eisenbarth and Rainer Koschke and Daniel Simon},
title = {{Aiding Program Comprehension by Static and Dynamic Feature Analysis}},
booktitle = {Proceedings of the International Conference on Software Maintenance, Florence, Italy},
publisher = {IEEE Computer Society Press},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {602--611},
type = {Conference Paper},
month = {November},
year = {2001},
language = {English},
cr-category = {D.2.7 Software Engineering Distribution, Maintenance, and Enhancement},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {Understanding a system's implementation without prior knowledge is a hard task
for reengineers in general. However, some degree of automatic aid is possible.
In this paper, we present a technique building a mapping between the system's
externally visible behavior and the relevant parts of the source code. Our
technique combines dynamic and static analyses to rapidly focus on the system's
parts urgently required for a goal-directed process of program understanding.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2001-83&engl=1}
}
@inproceedings {INPROC-2000-56,
author = {Rainer Koschke},
title = {{Vorlesungen zum Thema Software-Reengineering}},
booktitle = {2. Workshop Software-Reengineering, Bad Honnef 2000},
publisher = {Universit{\"a}t Koblenz-Landau},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {3--7},
type = {Workshop Paper},
month = {May},
year = {2000},
keywords = {Vorlesungen; Software Reengineering},
language = {German},
cr-category = {D.2 Software Engineering},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {Kein Abstract verf{\"u}gbar.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2000-56&engl=1}
}
@inproceedings {INPROC-2000-55,
author = {J{\"o}rg Czeranski and Thomas Eisenbarth and Holger Kienle and Rainer Koschke and Daniel Simon},
title = {{Wiedergewinnung von Architekturinformationen: Ausblicke}},
booktitle = {2. Workshop Software-Reengineering, Bad Honnef 2000},
publisher = {Universit{\"a}t Koblenz-Landau},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {21--23},
type = {Workshop Paper},
month = {May},
year = {2000},
keywords = {Software Reengineering; Architekturinformationen},
language = {German},
cr-category = {D.2 Software Engineering},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {Wiedergewinnen von Informationen {\"u}ber die Architektur einer Software ist eine
Voraussetzung f{\"u}r viele T{\"a}tigkeiten des Reverse-Engineerings. Ein Aspekt der
Software-Architektur ist die Aufteilung eines Softwareartefaktes in
Komponenten, Konnektoren und Protokolle. Techniken zur halbautomatischen
Komponentenerkennung sind inzwischen in vielf{\"a}ltigen Variationen verf{\"u}gbar.
Ziel des Bauhaus-Projektes ist es, eine Software-Architektur aus dem Quelltext
eines Softwareartefaktes halbautomatisch abzuleiten. Die n{\"a}chsten Ziele des
Bauhaus-Projektes umfassen unter anderem die Erkennung von Traces und
Konnektoren, die Klassifikation von Teilen einer Komponente, sowie die
Unterst{\"u}tzung von Software-Pr{\"u}fungen durch Datenflussanalysen.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2000-55&engl=1}
}
@inproceedings {INPROC-2000-54,
author = {Gerard Canfora and J{\"o}rg Czeranski and Rainer Koschke},
title = {{Revisiting the Delta-IC Approach to Component Recovery}},
booktitle = {Proceedings of the Working Conference on Reverse Engineering (WCRE 2000)},
publisher = {IEEE Computer Society Press},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {140--149},
type = {Conference Paper},
month = {November},
year = {2000},
keywords = {Component Recovery},
language = {English},
cr-category = {D.2 Software Engineering},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {Component recovery supports program understanding, architecture recovery, and
re-use. Among the best known techniques for detection of re-usable objects
(related global variables and their accessor functions) is Delta-IC. This paper
re-visits the origin approach and extends it in different ways. It describes a
variant of Delta-IC suitable for reverse engineering that omits the slicing
step of the original approach. The underlying metric of Delta-IC is extended
toward types integrating ideas of the Internal Access technique such that
abstract data types can also be detected. Furthermore, the connectivity metric
of Delta-IC is combined with a cohesion metric based on vertex connectivity.
The new metrics and the new algorithm for reverse engineering are
quantitatively evaluated using the framework proposed in as a standard
evaluation of clustering techniques for component recovery.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2000-54&engl=1}
}
@inproceedings {INPROC-2000-53,
author = {J{\"o}rg Czeranski and Thomas Eisenbarth and Holger Kienle and Rainer Koschke and Daniel Simon},
title = {{Analysing xfig Using the Bauhaus Tool}},
booktitle = {proceedings of the Working Conference on Reverse Engineering (WCRE 2000)},
publisher = {IEEE Computer Society Press},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {197--199},
type = {Workshop Paper},
month = {November},
year = {2000},
language = {English},
cr-category = {D.2 Software Engineering},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {We used the Bauhaus Tool, which helps program understanding and architecture
recovering, to analyze the xfig program. Xfig's architecture was recovered and
all of the (hypothetical) maintenance tasks described in the Developer Handbook
were performed.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2000-53&engl=1}
}
@inproceedings {INPROC-2000-52,
author = {Holger Kienle and J{\"o}rg Czeranski and Thomas Eisenbarth},
title = {{The API Perspective of Exchange Formats}},
booktitle = {Workshop on Standard Exchange Format, Juni 2000},
publisher = {ACM},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {33--39},
type = {Workshop Paper},
month = {June},
year = {2000},
keywords = {Exchange Formats},
language = {English},
cr-category = {D.2 Software Engineering},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {The discussion about a universal exchange format mainly centers around syntax
and semantic issues. This paper focuses on the requirements for the API that
sits on top of an exchange format.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2000-52&engl=1}
}
@inproceedings {INPROC-2000-51,
author = {Holger Kienle and J{\"o}rg Czeranski and Thomas Eisenbarth},
title = {{Exchange Format Bibliography}},
booktitle = {Workshop on Standard Exchange Format, Juni 2000},
publisher = {ACM},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {2--9},
type = {Workshop Paper},
month = {June},
year = {2000},
keywords = {Exchange Format},
language = {English},
cr-category = {D.2 Software Engineering},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {This paper gives a brief bibliographical overview of exchange formats and
related research areas. We classify exchange formats and try to give a brief
assessment of the more interesting ones.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2000-51&engl=1}
}
@inproceedings {INPROC-2000-50,
author = {Rainer Koschke and Thomas Eisenbarth},
title = {{A Framework for Experimental Evaluation of Clustering Techniques}},
booktitle = {International Workshop on Program Comprehension, 2000},
publisher = {IEEE Computer Society Press},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {201--210},
type = {Workshop Paper},
month = {June},
year = {2000},
keywords = {Clustering Techniques},
language = {English},
cr-category = {D.1 Programming Techniques},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {Kein Abstract verf{\"u}gbar.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2000-50&engl=1}
}
@inproceedings {INPROC-2000-49,
author = {Susan Elliot Sim and Ric Holt and Rainer Koschke},
title = {{Workshop on Standard Exchange Format (workshop session)}},
booktitle = {Proceedings of the 22nd International Conference on Software Engineering, 2000, ACM},
publisher = {ACM},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {805--806},
type = {Workshop Paper},
month = {June},
year = {2000},
keywords = {Data Interchange; Exchange Format; Software Tools},
language = {English},
cr-category = {D.2 Software Engineering},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {Kein Abstract verf{\"u}gbar.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2000-49&engl=1}
}
@inproceedings {INPROC-2000-48,
author = {Thomas Eisenbarth and Rainer Koschke and Daniel Simon},
title = {{Herleitung der Feature-Komponenten-Korrespondenz mittels Begriffsanalyse}},
booktitle = {Proceedings of 1. Deutscher Software-Produktlinien Workshop (DSPL-1), Kaiserslautern, November 2000},
publisher = {Universit{\"a}t Kaiserslautern},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {63--68},
type = {Workshop Paper},
month = {November},
year = {2000},
keywords = {Produktlinien; Reengineering},
language = {German},
cr-category = {D.2 Software Engineering},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {In den meisten F{\"a}llen entsteht eine Produktlinie aus einem erfolgreichen
einzelnen System, das mehrere Einsatzgebiete erschlie{\ss}t. Es existiert also
Code, somit ist Reengineering notwendig.
Einsatz von Reengineering in Produkt-Linien: Architekturwiedergewinnung,
Komponenten-Reengineering, Schnittstelle Produkt-Linien/Reengineering:
wichtiger Bestandteil: Feature-Komponent-Map; Zweck: ...
Schnelles Feedback notwendig, weil Info an Produkt-Linien-Ingenieur
zur{\"u}ckgegeben werden muss. Reengineering aber {\"u}blicherweise aufwendig.
Technik notwendig, die schnelles Feedback erm{\"o}glicht. Weitere Analysen sp{\"a}ter
notwendig (Aussagen {\"u}ber Qualit{\"a}t und Aufwand).},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2000-48&engl=1}
}
@inproceedings {INPROC-2000-47,
author = {J{\"o}rg Czeranski and Thomas Eisenbarth and Holger Kienle and Rainer Koschke and Erhard Pl{\"o}dereder and Daniel Simon and Jean-Francois Girard and Martin W{\"u}rthner},
title = {{Data Exchange in Bauhaus}},
booktitle = {Proceedings of the Interoperability Workshop at the Working Conference on Reverse Engineering, WCRE'00, 23. - 25. November 2000, Brisbane, Australia},
publisher = {IEEE Computer Society Press},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {293--295},
type = {Conference Paper},
month = {November},
year = {2000},
language = {English},
cr-category = {D.2.7 Software Engineering Distribution, Maintenance, and Enhancement},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {no abstract available},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2000-47&engl=1}
}
@inproceedings {INPROC-1999-57,
author = {Thomas Eisenbarth and Rainer Koschke and Erhard Pl{\"o}dereder and Jean-Francois Girard and Martin W{\"u}rthner},
title = {{Interaktive und inkrementelle Wiedergewinnung von SW-Architekturen}},
booktitle = {1. Workshop Software Reengeneering},
address = {Bad Honnef},
publisher = {Universit{\"a}t Koblenz-Landau},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
series = {Fachberichte Informatik},
volume = {7 - 99},
pages = {17--26},
type = {Workshop Paper},
month = {May},
year = {1999},
keywords = {Softare-Architekturen; Wiedergewinnung},
language = {German},
cr-category = {D.2 Software Engineering},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {Das Projekt Bauhaus befa{\ss}t sich mit Techniken, das Verstehen eines umfassenden
Programmsystems durch einen Wartungsingenieur zu vereinfachen. Es werden
Techniken erforscht, wie eine Systemarchitektur bestehend aus Komponenten,
Konnektoren und Subsystemen ausschlie{\ss}lich aus dem Quelltext eines
Programmsystems halbautomatisch abgeleitet werden kann. Dabei steht der
Wartungsingenieur im Mittelpunkt; sein Wissen wird benutzt, um einen
interaktiven Proze{\ss} zur Architekturerkennung zu lenken.
Bei {\"A}nderungen am Quelltext sollen diese gegen die abgeleitete Architektur
gepr{\"u}ft werden k{\"o}nnen. Die gewonnene Architektur dient so dazu, m{\"o}gliche
Fehlersituationen w{\"a}hrend typischer Wartungsaufgaben aufzudecken.
Dar{\"u}berhinaus soll ein inkrementelles Vorgehen unterst{\"u}tzt werden, wobei
{\"A}nderungen am Quelltext in der Architekturbeschreibung nachgef{\"u}hrt werden
k{\"o}nnen.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-1999-57&engl=1}
}
@inproceedings {INPROC-1999-56,
author = {Rainer Koschke},
title = {{An Incremental Semi-Automatic Method for Component Recovery}},
booktitle = {Proceedings of the 6th Working Conference on Reverse Engineering, Atlanta, Georgia, USA},
publisher = {IEEE Computer Society Press},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {256--267},
type = {Conference Paper},
month = {October},
year = {1999},
keywords = {Component Recovery},
language = {English},
cr-category = {D.2 Software Engineering},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {Atomic components are sets of related variables, types, and subprograms, e.g.,
abstract data types and objects. Many techniques exist to detect them
automatically. However, as an evaluation has shown, none of them has the
precision needed. One approach to achieve a higher precision is to integrate
the user into the detection cycle. This paper describes a method in which
computer and human work together to find atomic components. Furthermore, it
discusses how the techniques can be enhanced to work incrementally, which is
needed if they are to be integrated with this method. Moreover, it proposes
ways of combining the techniques within this interactive method.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-1999-56&engl=1}
}
@inproceedings {INPROC-1999-55,
author = {Wolfgang Gellerich and Erhard Pl{\"o}dereder},
title = {{The Evolution of GOTO Usage and its Effects on Software Quality}},
booktitle = {29. Jahrestagung der Gesellschaft f{\"u}r Informatik, Paderborn, 5.-9. Oktober 1999},
publisher = {Springer},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
series = {Informatik Aktuell},
pages = {380--389},
type = {Conference Paper},
month = {October},
year = {1999},
isbn = {ISBN 3-540-66450-5},
language = {English},
cr-category = {D.1 Programming Techniques,
D.2.9 Software Engineering Management},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {no abstract available},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-1999-55&engl=1}
}
@inproceedings {INPROC-1998-49,
author = {Rainer Koschke and Jean-Francois Girard and Martin W{\"u}rthner},
title = {{An Intermediate Representation for Reverse Engineering Analyses}},
booktitle = {Proceedings of the 5th Working Conference for Reverse Engineering - WCRE '98},
publisher = {IEEE Computer Society Press},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {241--250},
type = {Conference Paper},
month = {October},
year = {1998},
keywords = {Reverse Engineering Analyses; Intermediate Representation},
language = {English},
cr-category = {D.2.7 Software Engineering Distribution, Maintenance, and Enhancement},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {Intermediate representations (IR) are a key issue both for compilers as well as
for reverse engineering tools to enable efficient analyses. Research in the
field of compilers has proposed many sophisticated IRs that can be used in the
domain of reverse engineering, especially in the case of deep analyses, but
reverse engineering has also its own requirements for intermediate
representations not covered by traditional compiler technology. This paper
discusses requirements of IRs for reverse engineering. It shows then how most
of these requirements can be met by extending and integrating existing IRs.
These extensions include a generalized AST and a mechanism supporting multiple
views on programs. Moreover, the paper shows how these views can efficiently be
implemented.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-1998-49&engl=1}
}
@inproceedings {INPROC-1998-48,
author = {Bernd Holzm{\"u}ller},
title = {{On Polymorphic Type Systems for Imperative Languages: An Approach using Sets of Types and Subprograms}},
booktitle = {Object-Oriented Technology. ECOOP'98},
publisher = {-},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
series = {Workshop Reader Lecture Notes in Computer Science},
volume = {1543},
pages = {31--31},
type = {Workshop Paper},
month = {July},
year = {1998},
language = {English},
cr-category = {D.1.5 Object-oriented Programming,
D.3.3 Programming Language Constructs and Features},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {no abstract available},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-1998-48&engl=1}
}
@inproceedings {INPROC-1998-47,
author = {Klaus Brouwer and Wolfgang Gellerich and Erhard Pl{\"o}dereder},
title = {{Myths and Facts about Efficient Implementation of Finite Automata and Lexical Analysis}},
booktitle = {Compiler Construction - 7th International Conference , CC'98, Lisbon, Portugal},
publisher = {Springer},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
series = {Lecture Notes in Computer Science},
volume = {1383},
pages = {1--15},
type = {Conference Paper},
month = {April},
year = {1998},
language = {English},
cr-category = {D.3.4 Programming Languages Processors,
F.1.1 Models of Computation},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {no abstract available},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-1998-47&engl=1}
}
@inproceedings {INPROC-1997-38,
author = {Wolfgang Gellerich and Erhard Pl{\"o}dereder},
title = {{Parameter-Induces Aliasing and Related Problems can be Avoided (Towards a More Abstract View of Variables)}},
booktitle = {Proceedings of the 1997 Ada-Europe International Conference on Reliable Software Technologies,London, UK, June 2-6, 1997},
publisher = {Springer},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
series = {Lecture Notes in Computer Science},
volume = {1251},
pages = {161--172},
type = {Conference Paper},
month = {June},
year = {1997},
language = {English},
cr-category = {D.3.3 Programming Language Constructs and Features},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {no abstract available},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-1997-38&engl=1}
}
@inproceedings {INPROC-1997-37,
author = {Jean-Francois Girard and Rainer Koschke},
title = {{Finding Components in a Hierarchy of Modules: A Step towards Architectural Understanding}},
booktitle = {Proceedings of the International Conference on Software Maintenance - ICSM'97, 1-3 October 1997, Bari, Italy,},
publisher = {IEEE Computer Society},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {58--65},
type = {Conference Paper},
month = {October},
year = {1997},
language = {English},
cr-category = {D.2.11 Software Engineering Software Architectures},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {no abstract available},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-1997-37&engl=1}
}
@inproceedings {INPROC-1997-36,
author = {Jean-Francois Girard and Rainer Koschke and Georg Schied},
title = {{Comparison of Abstract Data Type and Abstract State Encapsulation Detection Techniques for Architectural Understanding}},
booktitle = {Proceedings of the Working Conference on Reverse Engineering - WCRE'97, October 6-8, 1997, Amsterdam, The Netherlands},
publisher = {IEEE Computer Society Press},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {66--75},
type = {Conference Paper},
month = {October},
year = {1997},
language = {English},
cr-category = {D.2.11 Software Engineering Software Architectures,
D.3.3 Programming Language Constructs and Features},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {no abstract available},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-1997-36&engl=1}
}
@inproceedings {INPROC-1997-35,
author = {Jean-Francois Girard and Rainer Koschke and Georg Schied},
title = {{A Metric-based Approach to Detect Abstract Data Types and State Encapsulation}},
booktitle = {Proceedings of the Conference on Automated Software Engineering - ASE'97, November 2-5, 1997, Lake Tahoe, CA, USA},
publisher = {IEEE Computer Society Press},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {82--89},
type = {Conference Paper},
month = {November},
year = {1997},
language = {English},
cr-category = {D.2.8 Software Engineering Metrics,
D.3.3 Programming Language Constructs and Features},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {no abstract available},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-1997-35&engl=1}
}
@inproceedings {INPROC-1997-34,
author = {Bernd Holzm{\"u}ller and Erhard Pl{\"o}dereder},
title = {{Finite Unions for Ada 95}},
booktitle = {Proceedings of the 1997 Ada-Europe International Conference on Reliable Software Technologies,London, UK, June 2-6, 1997},
publisher = {Springer},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
series = {Lecture Notes in Computer Science},
volume = {1251},
pages = {1--14},
type = {Conference Paper},
month = {June},
year = {1997},
language = {English},
cr-category = {D.3.3 Programming Language Constructs and Features},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {no abstract available},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-1997-34&engl=1}
}
@inproceedings {INPROC-1997-33,
author = {Bernd Holzm{\"u}ller},
title = {{Finite Unions for Ada 95}},
booktitle = {Reliable Software Technologies - Ada-Europe '97, 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997},
publisher = {Springer},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
series = {Lecture Notes in Computer Science},
volume = {1251},
pages = {1--12},
type = {Conference Paper},
month = {June},
year = {1997},
isbn = {3-540-63114-3},
language = {English},
cr-category = {D.3.3 Programming Language Constructs and Features},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {no abstract available},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-1997-33&engl=1}
}
@inproceedings {INPROC-1996-26,
author = {Wolfgang Gellerich and Michael M. Gutzmann},
title = {{Massively Parallel Programming Languages - A Classification of Design Approaches}},
booktitle = {Proceedings of the ISCA International Conference on Parallel and Distributed Computing Systems 1996, Vol. I},
publisher = {ISCA in Cooperation with IEEE Computer Society},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
pages = {110--118},
type = {Conference Paper},
month = {December},
year = {1996},
keywords = {Programming Languages; Parallel Programming},
language = {English},
cr-category = {D.1.3 Concurrent Programming,
D.2 Software Engineering,
D.3.2 Programming Language Classifications},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {This paper presents the result of a study in which we examined about 50
massively parallel programming languages in order to detect typical approaches
towards supporting parallelism. Based on classification into nine classes,
semantic properties affeccting the development of parallel programs are
compared. From a consideration of the general function of programming languages
in software engineering, we derive basic requirements on parallel languages.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-1996-26&engl=1}
}
@inproceedings {INPROC-1996-25,
author = {Bernd Holzm{\"u}ller},
title = {{Extending the Object-Orientedness of Ada95}},
booktitle = {Proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies},
publisher = {Springer Berlin Heidelberg},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
series = {Lecture Notes in Computer Science},
volume = {1088},
pages = {357--369},
type = {Conference Paper},
month = {April},
year = {1996},
isbn = {978-3-540-61317-6},
isbn = {"ISSN: "ISSN: 0302-9743 (Print) 1611-3349 (Online)"},
isbn = {"DOI:10.1007/BFb0013502"},
keywords = {Languages; Ada95; Object Oriented},
language = {English},
cr-category = {D.3.2 Programming Language Classifications,
F.3.3 Studies of Program Constructs},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {In the object-oriented extension of Ada95 some constructs and connected type
rules have been introduced that restrict the flexibility in using the whole set
of features the object-oriented paradigm provides. Especially the introduction
of tagged types leads to a loss of potential reuse if efficiency is of concern
while the rules connected with dispatching disable full static type checking
for subprogram calls. A closer investigation of these constructs and
constraints reveals that some of them are completely unnecessary and some could
be relaxed with minor changes of the language. With corresponding
modifications, the language gains additional flexibility and becomes easier to
use, while, through the introduction of multi-methods, the language regains the
property of being statically type-safe.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-1996-25&engl=1}
}
@inproceedings {INPROC-1996-24,
author = {Wolfgang Gellerich and Markus Kosiol and Erhard Pl{\"o}dereder},
title = {{Where does GOTO go to?}},
booktitle = {Proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies},
publisher = {Springer Berlin Heidelberg},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
series = {Lecture Notes in Computer Science},
volume = {1088},
pages = {385--395},
type = {Conference Paper},
month = {April},
year = {1996},
isbn = {978-3-540-61317-6},
isbn = {"ISSN: 0302-9743 (Print) 1611-3349 (Online)"},
isbn = {"DOI: 10.1007/BFb0013504"},
keywords = {Languages; Ada95; Efficiency},
language = {English},
cr-category = {F.3.1 Specifying and Verifying and Reasoning about Programs},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {Although GOTO has long been criticized for being 'unstructured' and causing
'unreliable' programs, it is still in use and even modern languages like Ada95
provide GOTO. Why? This paper presents the results of a study in which we
examined 316 MB of Ada source code in order to find the frequency and typical
applications of GOTO. It turned out that about 99\% of all examined files do not
contain any GOTO, but we also found {\ss}paghetti code``, generally justified by
efficiency arguments. We analyzed whether GOTO really improved efficiency and
examined sources containing GOTO by code inspection in order to determine its
typical applications.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-1996-24&engl=1}
}
@inproceedings {INPROC-1995-35,
author = {Georg Schied},
title = {{Programmieren mit Prozessen h{\"o}herer Ordnung und mit linearen Typen}},
booktitle = {Proceedings des 12. Workshop GI-FG 2.1.4 'Alternative Konzepte f{\"u}r Sprachen und Rechner, Bad Honnef, 1995},
publisher = {GI},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
type = {Workshop Paper},
month = {December},
year = {1995},
language = {German},
cr-category = {D.2 Software Engineering},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {Kein Abstract verf{\"u}gbar.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-1995-35&engl=1}
}
@inproceedings {INPROC-1995-34,
author = {Georg Schied and Klaus Barthelmann},
title = {{Linear Types for Higher Order Processes with First Class Directed Channels}},
booktitle = {Proceedings of the Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Electronic Notes in Theoretical Computer Science, Vol. 2},
publisher = {Elsevier Science Publishers},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
series = {Electronic Notes in Theoretical Computer Science},
pages = {230--237},
type = {Workshop Paper},
month = {December},
year = {1995},
keywords = {Software Engineering; Programming Language; One-to-One Communication},
language = {English},
cr-category = {D.2 Software Engineering,
D.3.2 Programming Language Classifications},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {DHOP (Distributed Higher Order Processes) is a small programming language for
distributed systems based on the behavioural paradigm of process calculi. It
has modern features like static typing, first class processes, and a
dynamically reconfigurable network topology. Unlike most of similar languages
which also rely on message passing, DHOP enforces directed one-to-one
communication channels between processes. A typing system using the idea of
linear types allows statically to check this one-to-one condition. The
soundness of the typing system can be shown based on the operational semantics
that is defined by means of graph grammars.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-1995-34&engl=1}
}
@inproceedings {INPROC-1995-33,
author = {Georg Schied and Klaus Barthelmann},
title = {{Linear Types for Higher Order Processes with First Class Directed Channels}},
booktitle = {Proceedings: Workshop on Graph Rewriting and Computation (SEGRAGRA'95), Electronic Notes in Theoretical Computer Science, Vol. 2},
publisher = {Elsevier Science Publishers},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
series = {Electronic Notes in Theoretical Computer Science},
type = {Conference Paper},
month = {September},
year = {1995},
language = {English},
cr-category = {D.3.3 Programming Language Constructs and Features},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {no abstract available},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-1995-33&engl=1}
}
@inproceedings {INPROC-1994-31,
author = {Georg Schied},
title = {{On Relating Rewriting Systems and Graph Grammars to Event Structures}},
booktitle = {Proceedings of the Workshop on Graph Transformations in Computer Science 1993},
publisher = {Springer Berlin Heidelberg},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
series = {Lecture Notes in Computer Science},
volume = {776},
pages = {326--340},
type = {Workshop Paper},
month = {January},
year = {1994},
isbn = {978-3-540-57787-4},
isbn = {"ISSN: 0302-9743 (Print) 1611-3349 (Online)"},
isbn = {"DOI: 10.1007/3-540-57787-4_21"},
keywords = {Rewriting Systems; Event Structures},
language = {English},
cr-category = {D.2 Software Engineering,
G.2.2 Discrete Mathematics Graph Theory},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {Kein Abstract verf{\"u}gbar.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-1994-31&engl=1}
}
@inproceedings {INPROC-1994-30,
author = {Klaus Barthelmann and Georg Schied},
title = {{Graph-Grammar Semantics of a Higher-Order Programming Language for distributed Systems}},
booktitle = {Proceedings of the Workshop on Graph Transformations in Computer Science, 1993},
publisher = {Springer Berlin Heidelberg},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
series = {Lecture Notes in Computer Science},
volume = {776},
pages = {71--85},
type = {Conference Paper},
month = {February},
year = {1994},
keywords = {Programming Languages; Graph Grammar; Distributed Systems},
language = {English},
cr-category = {D.2 Software Engineering,
F.3.2 Semantics of Programming Languages},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {Kein Abstract verf{\"u}gbar.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-1994-30&engl=1}
}
@article {ART-2005-18,
author = {Thomas Eisenbarth and Rainer Koschke and Gunther Vogel},
title = {{Static Object Trace Extraction for Programs with Pointers}},
journal = {Journal of Systems and Software},
publisher = {Elsevier Inc.},
volume = {77},
number = {3},
pages = {263--284},
type = {Article in Journal},
month = {September},
year = {2005},
keywords = {Software Reverse Engineering; Program Understanding; Points-to-Analysis},
language = {English},
cr-category = {D.2.7 Software Engineering Distribution, Maintenance, and Enhancement},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {A trace is a record of the execution of a computer program, showing the
sequence of operations executed. Dynamic traces are obtained by executing the
program and depend upon the input. Static traces, on the other hand, describe
potential sequences of operations extracted statically from the source code.
Static traces offer the advantage that they do not depend upon input data.
This paper describes a new automatic technique to extract static traces for
individual stack and heap objects. The extracted static traces can be used in
many ways, such as protocol recovery and validation in particular and program
understanding in general.
In addition, this article describes four case studies we conducted to explore
the efficiency of our algorithm, the size of the resulting static traces, and
the influence of the underlying points-to analysis on this size.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2005-18&engl=1}
}
@article {ART-2004-25,
author = {Timothy C Lethbridge and Sander Tichelaar and Erhard Pl{\"o}dereder},
title = {{The Dagstuhl Middle Metamodel: A Schema For Reverse Engineering}},
journal = {Electronic Notes in Theoretical Computer Science 94},
publisher = {Online},
pages = {7--18},
type = {Article in Journal},
month = {May},
year = {2004},
doi = {10.1016/j.entcs.2004.01.008},
keywords = {Metamodelling; Static Analysis; Exchange Formats; DMM; Reverse Engineering},
language = {English},
cr-category = {D.2.7 Software Engineering Distribution, Maintenance, and Enhancement,
F.3.2 Semantics of Programming Languages},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {The Dagstuhl Middle Metamodel (DMM) is an extensible schema for static models
of software. It is a middle-level metamodel since it captures program level
entities and their relationships, rather than a full abstract syntax graph
(lower level), or architectural abstractions (higher level). DMM can be used to
represent models extracted from software written in most common object-oriented
and procedural languages. This paper presents the main features of DMM.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2004-25&engl=1}
}
@article {ART-2003-22,
author = {Thomas Eisenbarth and Rainer Koschke and Daniel Simon},
title = {{Locating Features in Source Code}},
journal = {IEEE Transactions in Software Engineering},
publisher = {IEEE Computer Society Press},
pages = {195--209},
type = {Article in Journal},
month = {March},
year = {2003},
keywords = {Reengineering; Dynamische Analysen; Statische Analysen},
language = {English},
cr-category = {F.3.2 Semantics of Programming Languages},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {Understanding the implementation of a certain feature of a system requires
identification of the computational units of the system that contribute to this
feature. In many cases, the mapping of features to the source code is poorly
documented. In this paper, we present a semiautomatic technique that
reconstructs the mapping for features that are triggered by the user and
exhibit an observable behavior. The mapping is in general not injective; that
is, a computational unit may contribute to several features. Our technique
allows for the distinction between general and specific computational units
with respect to a given set of features. For a set of features, it also
identifies jointly and distinctly required computational units. The presented
technique combines dynamic and static analyses to rapidly focus on the system's
parts that relate to a specific set of features. Dynamic information is
gathered based on a set of scenarios invoking the features. Rather than
assuming a one-to-one correspondence between features and scenarios as in
earlier work, we can now handle scenarios that invoke many features.
Furthermore, we show how our method allows incremental exploration of features
while preserving the {\^a}€œmental map{\^a}€ the analyst has gained through the
analysis.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2003-22&engl=1}
}
@article {ART-2003-21,
author = {Rainer Koschke},
title = {{Software Visualization in Software Maintenance, Reverse Engineering, and Reengineering: A Research Survey}},
journal = {Journal on Software Maintenance and Evolution},
publisher = {John Wiley \& Sons, Inc.},
pages = {87--109},
type = {Article in Journal},
month = {March},
year = {2003},
keywords = {Reverse Engineering; Software Maintenance; Software Visualization},
language = {English},
cr-category = {K.6.3 Software Management},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {Kein Abstract verf{\"u}gbar.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2003-21&engl=1}
}
@article {ART-2001-21,
author = {Andreas Zendler and Erika Horn and Heinz Schw{\"a}rtzel and Erhard Pl{\"o}dereder},
title = {{Demonstrating the usage of single-case design in experimental software engineering}},
journal = {Information \& Software Technology},
publisher = {Elsevier},
volume = {43},
number = {12},
pages = {681--691},
type = {Article in Journal},
month = {December},
year = {2001},
language = {German},
cr-category = {D.2.2 Software Engineering Design Tools and Techniques},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {no abstract available},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2001-21&engl=1}
}
@article {ART-2001-20,
author = {Susan Elliott Sim and Rainer Koschke},
title = {{WoSEF: Workshop on Standard Exchange Format}},
journal = {ACM SIGSOFT Software Engineering Notes},
publisher = {ACM},
volume = {26},
number = {1},
pages = {44--49},
type = {Article in Journal},
month = {January},
year = {2001},
language = {English},
cr-category = {D.2 Software Engineering,
D.2.12 Software Engineering Interoperability},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {no abstract available},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2001-20&engl=1}
}
@article {ART-2000-22,
author = {Jean-Francois Girard and Rainer Koschke},
title = {{A Comparison of Abstract Data Type and Objects Recovery Techniques}},
journal = {Journal Science of Computer Programming},
publisher = {Elsevier},
volume = {36},
number = {2-3},
pages = {149--181},
type = {Article in Journal},
month = {March},
year = {2000},
keywords = {Reengineering; Abstract Data Types},
language = {English},
cr-category = {D.2 Software Engineering},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {In the context of the authors' research on architectural features recovery,
abstract data types (ADT) and abstract data objects (ADO, also called objects)
have been identified as two of the smallest components which are useful for
building a significant architectural overview of the system. The authors have
named these the atomic components (AC) of an architecture.
This article compares six published techniques which extract ADTs and ADOs from
source code without extensive data flow analysis. A prototype tool implementing
each technique has been developed and applied to three medium-size systems
written in C (each over 30 Kloc). The results from each approach are compared
with the atomic components identified by hand by a group of software engineers.
This article extends previous papers by discussing how the software engineers'
AC identification was validated and by analyzing the false positives, i.e., the
atomic components identified by automatic approaches which were not identified
by software engineers.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-2000-22&engl=1}
}
@article {ART-1999-11,
author = {Jean-Francois Girard and Rainer Koschke and Georg Schied},
title = {{A Metric-based Approach to Detect Abstract Data Types and State Encapsulations}},
journal = {Journal Automated Software Engeneering},
publisher = {Kluwer Academic Publishers},
volume = {6},
number = {4},
pages = {357--386},
type = {Article in Journal},
month = {October},
year = {1999},
keywords = {Abstract Data Types; Metric-based},
language = {English},
cr-category = {D.2.8 Software Engineering Metrics},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {This article presents an approach to identify abstract data types (ADT) and
abstract state encapsulations (ASE, also called abstract objects) in source
code. This approach, named similarity clustering, groups together functions,
types, and variables into ADT and ASE candidates according to the proportion of
features they share. The set of features considered includes the context of
these elements, the relationships to their environment, and informal
information.
A prototype tool has been implemented to support this approach. It has been
applied to three C systems (each between 30-38 Kloc). The ADTs and ASEs
identified by the approach are compared to those identified by software
engineers who did not know the proposed approach or other automatic approaches.
Within this case study, this approach has been shown to have a higher detection
quality and to identify, in most of the cases, more ADTs and ASEs than the
other techniques. In all other cases its detection quality is second best. N.B.
This article reports work in progress on this approach which has evolved since
it was presented in the original ASE97 conference paper.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-1999-11&engl=1}
}
@article {ART-1998-16,
author = {Erhard Pl{\"o}dereder},
title = {{A Readers' Guide to the Ada Issues}},
journal = {ACM SIGAda Letters},
publisher = {ACM},
volume = {18},
number = {3},
pages = {20--112},
type = {Article in Journal},
month = {May},
year = {1998},
language = {English},
cr-category = {D.3 Programming Languages},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {no abstract available},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-1998-16&engl=1}
}
@article {ART-1997-14,
author = {Hiltrud Betz and Bernd Holzm{\"u}ller and Rainer Koschke},
title = {{Experience in Adjusting a Compiler Toolkit to Generate Ada 95 Code}},
journal = {Ada User Journal},
publisher = {Ada Language UK Ltd.},
volume = {18},
number = {1},
pages = {29--40},
type = {Article in Journal},
month = {March},
year = {1997},
keywords = {Compiler; Scanner; Parser; Abstract Syntax Tree},
language = {English},
cr-category = {D.3.4 Programming Languages Processors},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {nachgedruckt in: SpaAda, Vol. 34, September 1997, Ada-Spain, Madrid, S. 12-23},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-1997-14&engl=1}
}
@article {ART-1993-06,
author = {Erhard Pl{\"o}dereder},
title = {{Software Wiedererkennung als Wunderwafffe?}},
journal = {Technische Rundschau 85 (2)},
publisher = {Binkert Medien AG},
type = {Article in Journal},
month = {January},
year = {1993},
keywords = {Reengineering; Software Wiederverwendung},
language = {German},
cr-category = {D.2.13 Software Engineering Reusable Software},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {Kein Abstract verf{\"u}gbar.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=ART-1993-06&engl=1}
}
@inbook {INBOOK-2005-10,
author = {Daniel Simon and Gunther Vogel and Erhard Pl{\"o}dereder},
title = {{Teaching Software Engineering with Ada95}},
series = {Reliable Software Technology - Ada Europe 2005},
publisher = {Springer Berlin Heidelberg},
series = {Lecture Notes in Computer Science},
volume = {3555/2005},
pages = {115--128},
type = {Article in Book},
month = {June},
year = {2005},
isbn = {"ISSN:0302-9743 (Print) 1611-3349 (Online)"},
isbn = {"DOI:10.1007/11499909_10"},
keywords = {Language; Software Engineering; Teaching},
language = {English},
cr-category = {D.2 Software Engineering,
D.3 Programming Languages,
K.6.3 Software Management},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {Kein Abstract verf{\"u}gbar.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INBOOK-2005-10&engl=1}
}
@inbook {INBOOK-1996-03,
author = {Rainer Koschke and Erhard Pl{\"o}dereder},
title = {{Ans{\"a}tze des Programmverstehens}},
series = {Softwarewartung und Reengineering - Erfahrungen und Entwicklungen},
publisher = {Deutscher Universit{\"a}ts-Verlag},
pages = {159--176},
type = {Article in Book},
month = {December},
year = {1996},
keywords = {Reengineering; Softwarewartung},
language = {German},
cr-category = {D.2 Software Engineering},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {Programmverstehen ist der Proze{\ss} des Wissenserwerbs {\"u}ber ein
Computerprogramm. E s ist die Voraussetzung f{\"u}r Fehlersuche, Erweiterung,
Wiederverwendung und Dokumentation. Eine Reihe von Ans{\"a}tzen versucht, das
Programmverstehen maschinell zu unterst{\"u}tzen. Die gegenw{\"a}rtigen Ans{\"a}tze
werden in diesem Artikel klassifiziert in grundlegende und wissensbasierte
Analysen.
Grundlegende Analysen verf{\"u}gen {\"u}ber kein Wissen {\"u}ber die Anwendung und
allgemeine Programmierung; sie basieren lediglich auf Programmiersprachensyntax
und -semantik. Sie lassen sich weiter gliedern in grundlegende statische und
dynamische Analysen, abh{\"a}ngig davon, ob sie zur {\"U}bersetzungszeit oder zur
Laufzeit vorgenommen werden.
Wissensbasierte Analysen verf{\"u}gen {\"u}ber Anwendungswissen und allgemeines
Programmierwissen. Sie lassen sich unterscheiden in Parsing-Ans{\"a}tze, die sich
ausschlie{\ss}lich auf formale und strukturelle Programmeigenschaften st{\"u}tzen,
und informelles Schlie{\ss}en, welches dar{\"u}ber hinaus auch noch informelle
Information in Betracht zieht.
Der Artikel gibt Beispiele zu den verschiedenen Analyseformen.},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INBOOK-1996-03&engl=1}
}
@proceedings {PROC-2015-01,
editor = {Herbert Klenk and Hubert B. Keller and Erhard; Pl{\"o}dereder and Peter Dencker},
title = {{Automotive - Safety \& Security 2015 - Sicherheit und Zuverl{\"a}ssigkeit f{\"u}r automobile Informationstechnik; Stuttgart, 21.-22. April, 2015}},
address = {Bonn},
publisher = {K{\"o}llen Druck+Verlag GmbH},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
series = {Lecture Notes in Informatics},
volume = {P-240},
pages = {152},
type = {Proceedings},
month = {April},
year = {2015},
isbn = {978-3-88579-634-3},
language = {German},
cr-category = {A.0 General Literature, General,
C.3 Special-Purpose and Application-Based Systems,
J.7 Computers in Other Systems},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers;
University of Stuttgart, Institute of Software Technology},
abstract = {Tagungsband},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=PROC-2015-01&engl=1}
}
@proceedings {PROC-2014-01,
editor = {E. Ploedereder and L. Grunske and E. Schneider and D. Ull},
title = {{INFORMATIK 2014 - Big Data - Komplexit{\"a}t meistern, 22.-26. September 2014, Stuttgart}},
address = {Bonn},
publisher = {K{\"o}llen Druck+Verlag GmbH},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
series = {Lecture Notes in Informatics (LNI)},
volume = {P-232},
pages = {2586},
type = {Proceedings},
month = {September},
year = {2014},
isbn = {978-3-88579-626-8},
issn = {1617-5468},
language = {None},
cr-category = {A.0 General Literature, General},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers;
University of Stuttgart, Institute of Software Technology},
abstract = {Proceedings},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=PROC-2014-01&engl=1}
}
@proceedings {PROC-2013-01,
editor = {Hubert B. Keller and Erhard Pl{\"o}dereder and Peter Dencker and Herbert Klenk},
title = {{Reliable Software Technologies - Ada-Europe 2013 18th Ada-Europe International Conference, Berlin, Germany, June 10 - 14, 2013}},
publisher = {Springer},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
series = {Lecture Notes in Computer Science (LNCS)},
volume = {7896},
pages = {177},
type = {Proceedings},
month = {June},
year = {2013},
keywords = {middleware; nondeterminism; parallelism; safty critical systems; software reliability},
language = {English},
cr-category = {D.2 Software Engineering},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers;
University of Stuttgart, Institute of Software Technology},
abstract = {Proceedings},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=PROC-2013-01&engl=1}
}
@proceedings {PROC-2010-01,
editor = {Hubert B. Keller and Erhard Pl{\"o}dereder and Peter Dencker and Herbert Klenk},
title = {{Automotive - Safety \& Security 2010 - Sicherheit und Zuverl{\"a}ssigkeit f{\"u}r automobile Informationstechnik, 22. und 23. Juni 2010, Stuttgart}},
address = {Stuttgart},
publisher = {Shaker Verlag},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
series = {Softwaretechnik},
pages = {176},
type = {Proceedings},
month = {June},
year = {2010},
isbn = {978-3-8322-9172-3},
issn = {1433-9986},
keywords = {Softwareentwicklung; Automotive; Sicherheit; Zuverl{\"a}ssigkeit; Eingebettete IT Systeme},
language = {German},
cr-category = {C.3 Special-Purpose and Application-Based Systems,
C.4 Performance of Systems,
D.2.4 Software Engineering Software/Program Verification,
J.7 Computers in Other Systems},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers;
University of Stuttgart, Institute of Software Technology},
abstract = {Tagungsband: Automotive - Safety \& Security 2010 - Sicherheit und
Zuverl{\"a}ssigkeit f{\"u}r automobile Informationstechnik},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=PROC-2010-01&engl=1}
}
@proceedings {PROC-2008-02,
editor = {Herbert Klenk and Hubert B. Keller and Erhard Pl{\"o}dereder and Peter Dencker},
title = {{Automotive - Safety \& Security 2008 - Sicherheit und Zuverl{\"a}ssigkeit f{\"u}r automobile Informationstechnik, 19. und 20. November 2008, Stuttgart}},
address = {Stuttgart},
publisher = {Shaker Verlag},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
series = {Softwaretechnik},
pages = {230},
type = {Proceedings},
month = {November},
year = {2008},
isbn = {978-3-8322-7681-2},
keywords = {Softwareentwicklung; Automotive; Sicherheit; Zuverl{\"a}ssigkeit; eingebettete Systeme; Softwaretechnik},
language = {German},
cr-category = {C.3 Special-Purpose and Application-Based Systems,
D.2.4 Software Engineering Software/Program Verification,
J.7 Computers in Other Systems},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {Tagungsband},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=PROC-2008-02&engl=1}
}
@proceedings {PROC-2006-06,
editor = {Erhard Pl{\"o}dereder and Hubert B. Keller and Peter Dencker and Michael Tonndorf},
title = {{Automotive - Safety \& Security 2006 – Sicherheit und Zuverl{\"a}ssigkeit f{\"u}r automobile Informationstechnik, 12. und 13. Oktober 2006, Universit{\"a}t Stuttgart}},
address = {Stuttgart},
publisher = {Shaker Verlag},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
series = {Softwaretechnik},
pages = {206},
type = {Proceedings},
month = {October},
year = {2006},
isbn = {978-3-8322-5551-0},
keywords = {Softwaretechnik; Automotive; Safety; Security; Sicherheit; Zuverl{\"a}ssigkeit},
language = {German},
cr-category = {C.3 Special-Purpose and Application-Based Systems,
C.4 Performance of Systems,
D.2.4 Software Engineering Software/Program Verification,
J.7 Computers in Other Systems},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {Tagungsband},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=PROC-2006-06&engl=1}
}
@proceedings {PROC-2005-03,
editor = {Hubert B. Keller and Peter Dencker and Erhard Pl{\"o}dereder and Herbert Klenk and Michael Tonndorf},
title = {{Zuverl{\"a}ssigkeit in eingebetteten Systemen Ada Deutschland Tagung 2005}},
address = {Aachen},
publisher = {Shaker Verlag},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
series = {Softwaretechnik},
pages = {100},
type = {Proceedings},
month = {October},
year = {2005},
isbn = {3-8322-4522-7},
keywords = {Softwaretechnik; Informationstechnik; Automatisierungstechnik; Eingebettete Systeme; Zuverl{\"a}ssigkeit; Sicherheit; Ada; embedded systems},
language = {German},
cr-category = {D.2.4 Software Engineering Software/Program Verification,
D.4.5 Operating Systems Reliability,
D.4.7 Operating Systems Organization and Design},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {Tagungsband},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=PROC-2005-03&engl=1}
}
@proceedings {PROC-2004-02,
editor = {Erhard Pl{\"o}dereder and Hubert B. Keller and Hans von Sommerfeld and Peter Dencker and Michael Tonndorf and Francesca Saglietti},
title = {{Automotive - Safety \& Security 2004 – Sicherheit und Zuverl{\"a}ssigkeit f{\"u}r automobile Informationstechnik Ada Deutschland Tagung 2004 – Zuverl{\"a}ssige Softwaresysteme}},
address = {Stuttgart},
publisher = {Shaker Verlag},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
series = {Softwaretechnik},
pages = {220},
type = {Proceedings},
month = {October},
year = {2004},
isbn = {978-3-8322-3283-2},
keywords = {Softwaretechnik; Informationstechnik; Automotive; Safety; Security; Ada; Sicherheit; Zuverl{\"a}ssigkeit},
language = {German},
cr-category = {C.4 Performance of Systems,
D.2.4 Software Engineering Software/Program Verification,
D.4.5 Operating Systems Reliability,
J.7 Computers in Other Systems},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {Tagungsband},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=PROC-2004-02&engl=1}
}
@proceedings {PROC-2000-03,
editor = {Hubert B. Keller and Erhard Pl{\"o}dereder},
title = {{Proceedings of Reliable Software Technologies - Ada Europe 2000}},
publisher = {Springer},
institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
series = {Lecture Notes in Computer Science},
volume = {1845},
pages = {304},
type = {Proceedings},
month = {June},
year = {2000},
isbn = {3-540-67669-4},
language = {English},
cr-category = {D.2.4 Software Engineering Software/Program Verification},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {Tagungsband},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=PROC-2000-03&engl=1}
}
@book {BOOK-2006-04,
editor = {S.T. Taft and R.A. Duff and R.L. Brukardt and E. Pl{\"o}dereder and P. Leroy},
title = {{Ada 2005 Reference Manual. Language and Standard Libraries, International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1 and Amendment 1}},
publisher = {Springer Verlag},
series = {Lecture Notes in Computer Science},
volume = {4348},
pages = {765},
type = {Book},
month = {December},
year = {2006},
isbn = {978-3-540-69335-2},
keywords = {Ada; Ada programming; compilation; distributed systems; exceptions; object-oriented programming; programming languages; reactive systems; real-time systems; safety; software engineering; systems design; systems security},
language = {English},
cr-category = {D.2 Software Engineering,
D.3 Programming Languages},
department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
abstract = {no abstract available},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=BOOK-2006-04&engl=1}
}
@book {BOOK-1998-01,
author = {Kerstin Schneider (Hrsg.) and Hiltrud Betz and Cora Burger and Volker Claus and Waltraud Schweikhardt},
title = {{Die Informatik AG - Telekooperation.}},
address = {Stuttgart},
publisher = {B.G. Teubner-Verlag},
pages = {158},
type = {Book},
month = {January},
year = {1998},
isbn = {3-519-12194-8},
keywords = {Studieninformation; Frauenf{\"o}rderung; gender; computer science},
language = {German},
cr-category = {K.3 Computers and Education},
ee = {http://www.informatik.uni-stuttgart.de/fakultaet/frauen/frauen.html,
http://medoc.informatik.uni-stuttgart.de/~medoc/},
department = {University of Stuttgart, Institute of Parallel and Distributed High-Performance Systems, Applications of Parallel and Distributed Systems (Prof. Reuter);
University of Stuttgart, Institute of Computer Science, Formal Concepts;
University of Stuttgart, Institute of Computer Science, Programming Languages and Compilers;
University of Stuttgart, Institute of Parallel and Distributed High-Performance Systems, Distributed Systems;
University of Stuttgart, Institute of Computer Science, Visualisation and Interactive Systems},
abstract = {(not available)},
url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=BOOK-1998-01&engl=1}
}
|
|
Webmaster
)
| © University of Stuttgart |
Legal notice