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

Programming Languages and Compilers : Publications

Bibliography 2006 BibTeX

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