|
|
@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 = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, series = {Lecture Notes in Computer Science}, volume = {3967}, pages = {534--543}, type = {Konferenz-Beitrag}, month = {Juni}, year = {2006}, isbn = {3-540-34166-8}, language = {Deutsch}, cr-category = {D.1.3 Concurrent Programming}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Softwaretechnologie, Programmiersprachen und {\"U}bersetzerbau}, abstract = {no abstract available}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2006-99&engl=0} }
@inproceedings {INPROC-2006-111, author = {Gunther Vogel}, title = {{Statische Extraktion von Protokollen}}, booktitle = {8. Workshop Software-Reengineering}, publisher = {Universit{\"a}t Koblenz-Landau}, institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, pages = {52--53}, type = {Workshop-Beitrag}, month = {Mai}, year = {2006}, keywords = {Programmabl{\"a}ufe; Statische Analysen}, language = {Deutsch}, cr-category = {D.3.3 Programming Language Constructs and Features,
F.3.3 Studies of Program Constructs}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Softwaretechnologie, Programmiersprachen und {\"U}bersetzerbau}, 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=0} }
@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 = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, pages = {171--188}, type = {Konferenz-Beitrag}, month = {Dezember}, year = {2006}, keywords = {Reengineering}, language = {Englisch}, cr-category = {D.2 Software Engineering}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Softwaretechnologie, Programmiersprachen und {\"U}bersetzerbau}, abstract = {Kein Abstract verf{\"u}gbar.}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2006-101&engl=0} }
@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 = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, series = {Lecture Notes in Computer Science}, volume = {4006}, pages = {71--82}, type = {Konferenz-Beitrag}, month = {Juni}, year = {2006}, isbn = {978-3540346630}, language = {Englisch}, 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 = {Universit{\"a}t Stuttgart, Institut f{\"u}r Softwaretechnologie, Programmiersprachen und {\"U}bersetzerbau}, abstract = {no abstract available}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2006-100&engl=0} }
@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 = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany}, series = {Softwaretechnik}, pages = {206}, type = {Tagungsband}, month = {Oktober}, year = {2006}, isbn = {978-3-8322-5551-0}, keywords = {Softwaretechnik; Automotive; Safety; Security; Sicherheit; Zuverl{\"a}ssigkeit}, language = {Deutsch}, 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 = {Universit{\"a}t Stuttgart, Institut f{\"u}r Softwaretechnologie, Programmiersprachen und {\"U}bersetzerbau}, abstract = {Tagungsband}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=PROC-2006-06&engl=0} }
@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 = {Buch}, month = {Dezember}, 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 = {Englisch}, cr-category = {D.2 Software Engineering,
D.3 Programming Languages}, department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Softwaretechnologie, Programmiersprachen und {\"U}bersetzerbau}, abstract = {no abstract available}, url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=BOOK-2006-04&engl=0} }
|
|