Bild von Institut mit Unilogo
home uni uni suche suche sitemap sitemap kontakt kontakt
unilogo Universität Stuttgart

Programming Languages and Compilers : Publications

Bibliography 2005 BibTeX

germanicon
 
@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}
}
@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}
}
@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}
}
@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}
}