Zur Webseite der Informatik

Abteilung Programmiersprachen und Übersetzerbau

2017, 2016, 2015, 2014, 2013, 2012, 2011, 2010, 2009, 2008, 2007, 2006, 2005, 2004, 2003, 2002, 2001, 2000, 1999 - 1992

Publikationen

von Mitarbeitern der Abteilung

2017

Felden, Timm
* The SkilL Language V1.0.
Technischer Bericht Informatik Nr. 2017/01 (TR-2017-01), Universität Stuttgart, 2017

2016

Wittiger, Martin
* Eliminating Data Race Warnings Using CSP
(In: Proceedings of the 21.Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016)
https://www.springer.com/us/book/9783319390826

Felden, Timm; Wittiger, Martin
* Migrating Bauhaus from IML to SKilL
(In: 18. Workshop Software-Reengineering & -Evolution (WSRE), 02.-04. Mai 2016, Bad Honnef, Softwaretechnik-Trends, Band 36, Heft 2, GI, Mai 2016)

Görg, Torsten
* Interprocedural PDG-based Code Clone Detection
(In: 18. Workshop Software-Reengineering & -Evolution (WSRE), 02.-04. Mai 2016, Bad Honnef, Softwaretechnik-Trends, Band 36, Heft 2, GI, Mai 2016)

2015

Koutsopoulos, Nikolaos; Northover, Mandy; Felden, Timm; Wittiger, Martin
* Advancing Data Race investigation and Classification through Visualization
(In: 3rd IEEE Working Conference on Software Visualization (VISSOFT 2015), September 27-28 2015, Bremen

Wittiger, Martin; Felden, Timm
* Recognition of Real-World State-Based Synchronization
(In: 17. Workshop Software-Reengineering & -Evolution (WSRE), 04.-06. Mai 2015, Bad Honnef, Softwaretechnik-Trends, Band 35, Heft 2, GI, Mai 2015)

Görg, Torsten
* Performance Tuning of PDG-based Code Clone Detection
(In: 17. Workshop Software-Reengineering & -Evolution (WSRE), 04.-06. Mai 2015, Bad Honnef, Softwaretechnik-Trends, Band 35, Heft 2, GI, Mai 2015)

Klenk, Herbert; Keller, Hubert B.; Plödereder, Erhard; Dencker, Peter; (Hrsg.)
* Automotive - Safety & Security 2015 - Sicherheit und Zuverlässigkeit für automobile Informationstechnik
Bonn, Köllen Druck + Verlag GmbH, 2015, volume P-240 of Lecture Notes in Informatics, ISBN 978-3-88579-634-3, April 2015

Felden, Timm
* Improving Lava Flow Based Software Development
(In: 22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2015), Canada, Montreal, 2 - 6 March 2015)

Felden, Timm
* SKilLed Communication for Toolchains
(In: 22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2015), Canada, Montreal, 2 - 6 March 2015)

2014

E. Plödereder, L. Grunske, E. Schneider, D. Ull (Hrsg.)
* INFORMATIK 2014 - Big Data - Komplexität meistern, 22.-26. September 2014 in Stuttgart
Bonn, Köllen Druck + Verlag GmbH, 2014, GI-Edition - Lecture Notes in Informatics (LNI), P-232
ISBN 978-3-88579-626-8, ISSN 1617-5468,  September 2014

Felden, Timm
* Efficient and Change-Tolerant Serialization for Program Analysis
(In: 16. Workshop Software-Reengineering & -Evolution (WSRE), 28.-30. April 2014, Bad Honnef, Softwaretechnik-Trends, Band 34, Heft 2, GI, April 2014)

Görg, Torsten; Northover, Mandy
* A Canonical Form of Arithmetic and Conditional Expression
(In: 16. Workshop Software-Reengineering & -Evolution (WSRE), 28.-30. April 2014, Bad Honnef, Softwaretechnik-Trends, Band 34, Heft 2, GI, April 2014)

2013

S. Tucker Taft, Robert A. Duff, Randall Brukardt, Erhard Plödereder, Pascal Leroy, Edmond Schonberg
* Ada 2012 Reference Manual. Language and Standard Libraries - International Standard ISO/IEC 8652/2012 (E). Lecture Notes in Computer Science 8339, Springer 2013, ISBN 978-3-642-45418-9
http://www.springer.com/978-3-642-45418-9

Keller, Hubert B., Plödereder, Erhard, Dencker, Peter, Klenk, Herbert (eds.)
* Reliable Software Technologies - Ada-Europe 2013 18th Ada-Europe International Conference, Berlin, Germany, June 10 - 14, 2013, (Springer LNCS 7896, 2013.)

Felden, Timm
* The SKilL Language
Technischer Bericht Informatik Nr. 2013/06 (TR-2013-06), Universität Stuttgart, 2013

Görg, Torsten
* Incremental Detection of Parameterized Code Clones
(In: 15. Workshop Software-Reengineering (WSR 2013) Softwaretechnik-Trends, Band 33, Heft 2. GI, Mai 2013)

Degiorgi, Sandro; Wittiger, Martin
* Ergebnisbewertung konservativer statischer Data-Race-Analysen
(In: 15. Workshop Software-Reengineering (WSR 2013) Softwaretechnik-Trends, Band 33, Heft 2. GI, Mai 2013)

Felden, Timm; Görg, Torsten
* Werkzeugunterstützte Eliminierung von Data-Races in Eclipse
(In: 15. Workshop Software-Reengineering (WSR 2013) Softwaretechnik-Trends, Band 33, Heft 2. GI, Mai 2013)


2012

Plödereder, Erhard.; Dencker, Peter; Klenk, Herbert; Keller, Hubert B.; Spitzer, Silke (Hrsg.)
* Automotive - Safety & Security 2012 - Sicherheit und Zuverlässigkeit für automobile Informationstechnik
Bonn, Köllen Druck + Verlag GmbH, 2012, volume P-210 of Lecture Notes in Informatics, ISBN 978-3-8857-9604-4, November 2012

Wittiger, Martin; Keul, Steffen
* Extraktion von Interthread-Kommunikation in eingebetteten Systemen
(In: Automotive - Safety & Security 2012, Lecture Notes in Informatics, volume P-210, pages 55-67, Nov. 2012)
Received Best Paper Award.

Prokharau, Mikhail
* Aspects of Code Pattern Removal
(In: 14. Workshop Software-Reengineering (WSR 2012) Softwaretechnik-Trends, Band 32, Heft 2. GI, Mai 2012)

Görg, Torsten
* A Model-Based Approach to Type-3 Clone Elimination
(In: 14. Workshop Software-Reengineering (WSR 2012) Softwaretechnik-Trends, Band 32, Heft 2. GI, Mai 2012)


2011

Keul, Steffen
* Tuning Static Data Race Analysis for Automotive Control Software.
(In 11th IEEE International Working Conference on Source Code Analysis and Manipulation, pages 45-54, IEEE, Sept 2011)
[dblp2.uni.trier.de/db/conf/scam/scam2011.html#Keul11]

von Hanxleden, Reinhard; Holsti, Niklas; Lisper, Björn; Plödereder, Erhard;
Wilhelm, Reinhard et.al.
* WCET Tool Challenge 2011: Report
(In: Proceedings of the 11th International Workshop on Worst-Case Execution Time (WCET) Analysis, July 2011, Porto, Portugal [PDF]

Raza, Aoun; Franke, Stefan; Plödereder, Erhard
* Detecting High-Level Synchronization Errors in Parallel Programs.
(In: Reliable Software Technologies, Ada-Europe 2011, LNCS(6652), Juni 2011, S.17-30)
Received Best Paper Award.
[dblp2.uni-trier.de/db/conf/adaEurope/adaEurope2011.html#RazaFP11]

Plödereder, Erhard
* Programming Languages Meet Multicore.
(In: Reliable Software Technologies, Ada-Europe 2011, LNCS(6652), Juni 2011, S.189-192)
[dblp2.uni-trier.de/db/conf/adaEurope/adaEurope2011.html#Ploedereder11]

Prokharau, Mikhail; Gerlach, Daniel; Keul, Steffen
* Static Analysis of Predicate-based Synchronisation.
(In: 13. Workshop Software-Reengineering (WSR 2011), Softwaretechnik-Trends, Band 31, Heft 2, S.16-17. GI, Mai 2011)

Görg, Torsten
* Detection of Intentions in Context-Free Grammars.
(In: 13. Workshop Software-Reengineering (WSR 2011), Softwaretechnik-Trends, Band 31, Heft 2, S.20-21. GI, Mai 2011)


2010

Burns, Alan; Tokar, Joyce L.; Baird, Stephen; Barnes, John; Chapman, Rod; Dismukes, Gary; Gonzales-Harbour, Michael; Michell, Stephen; Moore, Brad; Pinho Miguel; Ploedereder, Erhard; Real, Jorge; Rosen, J. P.; Schonberg, Ed; Taft, S. Tucker; Vardanega, T.
* Ada and the Software Vulnerabilities Project
(In: Ada Lett., volume 30, number 2, pages 27 - 52, ACM, New York, ISSN 1094-3641, DOI 10.1145/2593988.2593992 [http://doi.acm.org/10.1145/2593988.2593992], August 2010)

Keller, Hubert B.; Plödereder, Erhard; Dencker, Peter; Klenk, Herbert (Hrsg.)
* Automotive - Safety & Security 2010 - Sicherheit und Zuverlässigkeit für automobile Informationstechnik
Stuttgart, Shaker Verlag, ISBN 978-3-8322-9172-3, ISSN 1433-9986, Juni 2010

Keul, Steffen
* Static Versioning of Global State for Race Condition Detection.
(In: Ada-Europe 2010, volume 6106 of LNCS, pages 111-124. Springer, 2010)

Keul, Steffen; Prokharau, Mikhail; Gerlach, Daniel; Jenke, Carola; Raza, Aoun
* RaceVis: Ein Werkzeug zur Visualisierung von Data Races.
(In: 12. Workshop Software-Reengineering, Softwaretechnik-Trends, Band 30, Heft 2. S. 82-83. GI, Mai 2010)

Aoun Raza
* Thinking Beyond Race Conditions.
(In 12. Workshop Software Reengineering, Softwaretechnik-Trends, Band 30, Heft 2, S. 80-81. GI, Mai 2010)


2009

Staiger-Stöhr, Stefan
* Kombinierte statische Ermittlung von Zeigerzielen, Kontroll- und Datenfluss.
Dissertation, Institut für Softwaretechnologie, Fakultät Informatik, Elektrotechnik und Informationstechnik, 2009 [DIS-2009-06]

Staiger-Stöhr, Stefan
* Implementing Sparse Flow-Sensitive Andersen Analysis
Technischer Bericht TR-2009-03, Universität Stuttgart, Februar 2009


2008

Klenk, Herbert; Keller, Hubert B.; Plödereder, Erhard; Dencker, Peter (Hrsg.)
* Automotive - Safety & Security 2008 - Sicherheit und Zuverlässigkeit für automobile Informationstechnik
Stuttgart, Shaker Verlag, ISBN 978-3-8322-7681-2, Nov. 2008

Lösch, Felix
* Optimization of Variability in Software Product Lines
A Semi-Automatic Method for Visualization, Analysis, and Restructuring of Variability in Product Lines
Dissertation, Institut für Softwaretechnologie, Fakultät Informatik, Elektrotechnik und Informationstechnik, 2008
Logos Verlag, Berlin, ISBN 978-3-8325-2105-9, 2008 [DIS-2008-06]

Raza, Aoun; Vogel, Gunther
* RCanalyser: A  Flexible Framework for the Detection of Data Races in Parallel Programs.
(In: Reliable Software Technologies, Ada-Europe 2008, LNCS(5026), Juni 2008, S.226-239)
[dblp2.uni-trier.de/conf/adaEurope/adaEurope2008.html#RazaV08]

Wiebe, Eduard; Keul, Steffen; Staiger, Stefan; Vogel, Gunther; Haufler, Andreas; Scherer, Wolfgang
* Entwurfsmuster-Erkennung mit Bauhaus
(In: Lecture Notes in Informatics (LNI), Proceedings of the 10th Workshop Software Reengineering (P-126), S. 181-185, 2008)


2007

Staiger, Stefan; Vogel, Gunther; Keul, Steffen; Wiebe, Eduard
* Interprocedural Static Single Assignment Form
(In: Proceedings of the 14th Working Conference on Reverse Engineering (WCRE), p. 1-10, IEEE Computer Society, 2007)
[dblp2.uni-trier.de/db/conf/wcre/wcre2007.html]

Staiger, Stefan
* Reverse Engineering Graphical User Interfaces using Static Analyses
(In: Proceedings of the 14th Working Conference on Reverse Engineering (WCRE), p. 189-198, IEEE Computer Society, 2007)
[dblp2.uni-trier.de/db/conf/wcre/wcre2007.html]

Staiger, Stefan
* Statische Analyse von graphischen Oberflächen
(In: Proceedings of the Workshop on Applied Program Analysis, p. 247-253, Gesellschaft für Informatik: GI Lecture Notes in Informatics, 2007)

Vogel, Gunther
* Transformation und Vergleich von endlichen Automaten zur Analyse von Software-Protokollen
(In: Proceedings of the Workshop on Applied Program Analysis, p. 268-274, Gesellschaft für Informatik: GI Lecture Notes in Informatics)

Lösch, Felix; Plödereder, E.
* Optimization of Variability in Software Product Lines
(In: Proceedings of the 11th International Software Product Line Conference, p. 151-162 (SPLC 2007), Kyoto, Japan, 10.-14. September 2007)

Lösch, Felix; Plödereder, E.
* Restructuring Variability in Software Product Lines using Concept Analysis of Product Configurations
(In: Proceedings of the 11th European Conference on Software Maintenance and Reengineering  (CSMR 2007), Amsterdam, p. 159-170, 21-23. März 2007)

Staiger, Stefan
* Static Analysis of Programs with Graphical User Interface
(In: Proceedings of the 11th European Conference on Software Maintenance and Reengineering (CSMR 2007), Amsterdam, p. 252 - 261)


2006

Plödereder, Erhard; Keller, H. B.; Dencker, P.; Tonndorf M. (Hrsg.)
* Automotive - Safety & Security 2006 - Sicherheit und Zuverlässigkeit für automobile Informationstechnik
Stuttgart, Shaker Verlag, ISBN 3-8322-5551-6, Okt. 2006

Simon, Daniel
* Lokalisierung von Merkmalen in Softwaresystemen
A Semi-Automatic Method for Visualization, Analysis, and Restructuring of Variability in Product Lines
Dissertation, Institut für Softwaretechnologie, Fakultät Informatik, Elektrotechnik und Informationstechnik, 2006, Logos Verlag, Berlin, ISBN 978-3-8325-1176-8, 2006 [DIS-2006-06]

Taft, Tucker; Duff, R.; Brukardt, R.L.; Plödereder, E.; Leroy, P. (Eds.):
* Ada 2005 Reference Manual, Language and Standard Libraries
Springer LNCS 4348, 2006

Koschke, Rainer; Canfora, Gerardo; Czeranski, Jörg
* Revisiting the Delta-IC Approach
(In: Journal of Science of Computer Programming 70 (2006), Nr. 2, S. 171-188)

Raza, Aoun
* A Review of Race Detection Mechanisms
(In: First International Computer Science Symposium in Russia CSR 2006, 2006, S. 534-543)

Raza, Aoun; Vogel, Gunther; Plödereder, Erhard
* Bauhaus - A Tool Suite for Program Analysis and Reverse Engineering
(In: Reliable Software Technologies, Ada-Europe 2006, LNCS(4006), Juni 2006, S.71-82)

Vogel, Gunther
* Statische Extraktion von Protokollen
(In: 8. Workshop Software-Reengineering, Universität Koblenz-Landau, Mai 2006)


2005

Keller, Hubert B; Dencker, P.; Plödereder, E.; Klenk, H.; Tonndorf M. (Hrsg.)
* Zuverlässigkeit in eingebetteten Systemen
Ada Deutschland Tagung 2005, Aachen, Shaker Verlag, ISBN 3-8322-4522-7, Okt. 2005

Christl, Andreas; Koschke, Rainer; Storey, Margaret-Anne
* Equipping the Reflexion Method with Automated Clustering.
(In: Working Conference on Reverse Engineering, IEEE Computer Society Press, November 2005, S.89-98)

Eisenbarth, Thomas; Koschke, Rainer; Vogel, Gunther
* Static Object Trace Extraction for Programs with Pointers
(In: Journal of Systems and Software 77 (2005), Nr. 3, S. 263-284)

Simon, Daniel; Vogel, Gunther; Plödereder, Erhard
* Teaching Software Engineering with Ada95
(In: Reliable Software Technologies -- Ada-Europe 2005, Springer LNCS 3555, S. 115-128, 2005.)


 

2004

Plödereder, Erhard; Keller, H. B.; von Sommerfeld, H.; Dencker P.; Tonndorf M.; Saglietti, F. (Hrsg.):
* Automotive - Safety & Security 2004 - Sicherheit und Zuverlässigkeit für automobile Informationstechnik
* Zuverlässige Softwaresysteme, Ada Deutschland Tagung 2004
Stuttgart, Shaker Verlag, ISBN 3-8322-3283-4, Okt. 2004

Lethbridge, T.; Tichelaar, S.; Plödereder, E.
* The Dagstuhl Middle Metamodel: A Schema for Reverse Engineering
(In: Electr. Notes Theor. Compu.Sci. 94, 7-18, 2004.)

Bellon, Stefan; Czeranski, Jörg; Eisenbarth, Thomas; Simon, Daniel
* A Product Line Asset Management Tool
(In: Workshop on Software Variability Management: Software Product Families and Populations. Groningen, Dezember 2004)

Vrandecic, Zdenko; Simon, Daniel; Bellon, Stefan
* XML4Ada95: DOM-Zugriff auf die XML in Ada95
Ada Deutschland Tagung, Oktober 2004.

Vrandecic, Zdenko; Simon, Daniel
* XML4Ada95 Accessing XML Using the DOM in Ada95
Realiable Software Technologies: Ada-Europe 2004, June, pages 178-189

Koschke, Rainer; Simon, Daniel
* Symphony Fallstudie: Hierarchische Reflexion Modelle
Workshop Software-Reengineering, Mai 2004, Bad Honnef

Koschke, Rainer
* Rekonstruktion von Software-Architekturen: Blickwinkel, Sichten, Ansichten und Aussichten
(In: Informatik - Forschung und Entwicklung, Springer Verlag. 2004)


2003

Koschke, Rainer; Simon, Daniel
* Hierarchical Reflexion Models
(In: Proc. of the Working Conference on Reverse Engineering, IEEE Computer Society Press, 2003)

Koschke, Rainer
* Software Visualization in Software Maintenance, Reverse Engineering, and Reengineering: A Research Survey
Journal on Software Maintenance and Evolution, John Wiley & Sons, Ltd., Vol. 15, No. 2, March/April 2003, pages 87-109.

Bellon, Stefan; Simon, Daniel
* Vergleich von Klonerkennungstechniken
Workshop Software-Reengineering, Mai 2003, Bad Honnef, Germany
(In: Softwaretechnik-Trends, Band 23, Heft 2, S. 10-11, GI)

Vogel, Gunther
* Extraktion statischer Objekt-Prozess-Graphen
(In: 5. Workshop Software-Reengineering, Universität Koblenz-Landau, Mai 2003, S.25-26)

Eisenbarth, Thomas; Koschke, Rainer; Simon, Daniel
* Locating Features in Source Code
IEEE Transactions on Software Engineering, Vol. 29, No. 3, March, pages 195-209


2002

Koschke, Rainer; Zhang, Yan
* Component Recovery, Protocol Recovery and Validation
(In: 3. Workshop Software-Reengineering, Bad Honnef (10./11.Mai 2001), Fachberichte Informatik, Universität Koblenz-Landau, Nr. 1/2002, pages 73-76, Januar 2002)

Koschke, Rainer
* Software Visualization for Reverse Engineering
(In: Springer Lecture Notes on Computer Science (LNCS) 2269: Software Visualization, State-of-the-Art Survey (Herausgeber: Stephan Diehl), 2002)

Eisenbarth, Thomas; Koschke, Rainer; Vogel, Gunther
* Static Trace Extraction
(In: Proceedings of the Working Conference on Reverse Engineering, IEEE Computer Society Press, Oktober 2002)

Eisenbarth, Thomas; Koschke, Rainer; Simon, Daniel
* Incremental Location of Combined Features for Large-Scale Programs
(In: Proceedings of the International Conference on Software Maintenance, Montreal, Canada, October 2002)

Koschke, Rainer
* Atomic Architectural Component Recovery for Program Understanding and Evolution
(In: Proceedings of the International Conference on Software Maintenance, Montreal, Canada, October 2002)

Eisenbarth, Thomas; Koschke, Rainer; Simon, Daniel
* A Formal Method for the Analysis of Product Maps
Requirements Engineering for Product Lines Workshop, Essen, Germany, September 2002

Simon, Daniel; Eisenbarth, Thomas
* Evolutionary Introduction of Software Product Lines
(In: Proceedings of the Second International Software Product Line Conference, Springer LNCS 2379, pages 272-283), August 2002, San Diego, CA, USA)

Czeranski, Jörg; Eisenbarth, Thomas; Simon, Daniel
* Softwarevisualisierungstool Gravis
Workshop Software-Reengineering, April 2002, Bad Honnef, Germany

Czeranski, Jörg; Eisenbarth, Thomas; Simon, Daniel
* Softwarevisualisierungstool Gravis
(In: 4. Workshop Software-Reengineering, Universität Koblenz-Landau, April 2002)

Eisenbarth, Thomas; Koschke, Rainer; Simon, Daniel
* Inkrementelle Lokalisierung funktionaler Eigenschaften
Workshop Software-Reengineering, April 2002, Bad Honnef, Germany

Bellon, Stefan
* Vergleich von Techniken zur Erkennung duplizierten Quellcodes
Diplom thesis, No. 1998, Institute for Software Technology, University of Stuttgart, 2002.


2001

Eisenbarth, Thomas; Koschke, Rainer; Simon, Daniel
* Aiding Program Comprehension by Static and Dynamic Feature Analysis
(In: Proceedings of the International Conference on Software Maintenance, IEEE Computer Society Press, November 2001. Pages 602-611)
Received Best Paper Award.
Received 2011 Most Influential Paper Award.

Ferenc, Rudolf; Gyimóthy, Tibor; Sim, Susan Elliott, Holt, Richard C.; Koschke, Rainer
* Towards a standard schema for C/C++
Working Conference on Reverse Engineering, October 2-5, Stuttgart, Germany, pages 49-58, IEEE Computer Society Press, 2001.

Eisenbarth, Thomas; Simon, Daniel
* Guiding Feature Asset Mining for Software Product Line Developement
(In: Proceedings of the First International Workshop on Product Line Engineering: The Early Steps: Planning, Modeling, and Managing (PLEES'01), Erfurt, Germany, Fraunhofer IESE, September 2001)

Eisenbarth, Thomas; Koschke, Rainer; Simon, Daniel
* Feature-Driven Program Understanding Using Concept Analysis of Execution Traces.
International Workshop on Program Comprehension, Toronto, Canada, IEEE Computer Society Press, May 12-13, 2001

Simon, Daniel; Eisenbarth, Thomas
* Feature Location and Connector Recovery: New Approaches for Software Understanding.
In: 3. Workshop Software-Reengineering, Bad Honnef, Deutschland, Fachberichte Informatik Universität Koblenz, May 2001)

Eisenbarth, Thomas; Koschke, Rainer; Simon, Daniel
* Derivation of the Feature Component Map by means of Concept Analysis
(In: Proceedings of the Conference on Software Maintenance and Reengineering, IEEE Computer Society Press, pages 176-179, March 2001)

Sim, Susan Elliott; Koschke, Rainer
* WoSEF: Workshop on Standard Exchange Format,
ACM SIGSOFT Software Engineering Notes, Vol 26, No 1, pages 44-49, January, 2001

Koschke, Rainer; Zhang, Yan
* Component Recovery, Protocol Recovery and Validation in Bauhaus
(In: 3. Workshop Software-Reengineering, Universität Koblenz- Landau, Mai 2001, S. 73-76)

Abteilung Programmiersprachen):
* Wie halte ich einen guten Seminarvortrag? [gnuzip-PostScript (40 kB)]

Plödereder E.; Brukardt, R. (Project Editors)
* ISO/IEC 8652:1995/Cor.1:2001, Programming Languages - Ada,
International Organization for Standardization (ISO), Geneva, 2001.

Taft T.; Duff, R.; Brukardt, R.; Plödereder, E. (Eds.)
* Consolidated Ada Reference Manual,
Language and Standard Libraries, (Springer LNCS 2219, 2001.)

Zendler, Andreas; Horn, Erika; Schwärtzel, Heinz ; Plödereder, Erhard
* Demonstrating the usage of single-case designs in experimental software engineering.
(In: Information & Software Technology 43(12), S. 681-691, 2001.)


2000

Plödereder, Erhard
* Informatikunterricht an Schulen -- Sicherheitstraining oder Schleuderkurs
(91. MNU, Kongress, Stuttgart, April 2000)
Anregungen für die Gestaltung des Informatikunterrichts, insbesondere auch hinsichtlich des Umgangs mit fehlerhalter Software und programmiersprachlicher Massnahmen zur Minimierung von Softwarefehlern und deren Auswirkungen, [Vortragsfolien PDF (297 kB)]

Keller, Hubert B., Plödereder, Erhard  (eds.)
* Proceedings of Reliable Software Technologies - Ada-Europe 2000
5th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000, (Springer LNCS 1845, 2000.)

Czeranski, J.; Eisenbarth, T.; Kienle, H.; Koschke, R.; Plödereder, E.; Simon, D.; Girard, J.-F.; Würthner, M.
Data Exchange in Bauhaus
(In: Proceedings of the Interoperability Workshop at the Working Conference on Reverse Engineering, WCRE'00, 23.-25. November 2000, Brisbane, Australia, pages 293-295, IEEE Computer Society Press, 2000.)

Koschke, Rainer
* Atomic Architectural Component Recovery for Program Understanding and Evolution.
Ph.D. Thesis, Institute for Computer Science, University of Stuttgart, 2000. [DIS-2000-05]

Gellerich, Wolfgang
* Ein datengesteuertes Ausführungsmodell für Programmiersprachen mit mehrfacher Wertzuweisung
Dissertation
Institut für Softwaretechnologie, Fakultät Informatik, Elektrotechnik und Informationstechnik, 2000
Shaker Verlag, Aachen, ISBN 3-8265-7900-3, ISSN 0945-0807, 2000 [DIS-2000-07]


1999

Gellerich, Wolfgang; Plödereder, Erhard
* The Evolution of GOTO Usage and its Effects on Software Quality
(In: GI Jahrestagung 1999, S. 380-389, 1999.)

Plödereder, Erhard (Project Editor)
* International Standard ISO/IEC 18009:1999,
Ada: Conformity assessment of a language processor.
(International Organization for Standardization (ISO), Genf, 1999.)


1998

Brouwer, Klaus; Gellerich, Wolfgang; Plödereder, Erhard
* Myths and Facts about the Efficient Implementation of Finite Automata and Lexical Analysis
(In: Compiler Construction - 7th International Conference, CC'98, Lecture Notes in Computer Science 1383, Springer 1998, S. 1-15)

Plödereder, Erhard
* A Readers' Guide to the Ada Issues
(In: ACM SIGAda Letters 18(3), S 20-112, Mai 19

Plödereder, Erhard
* Ada im praktischen Einsatz
(Ada-Deutschland, Bremen, 23. 4. 1998)
Beitragstext mit Überlegungen zur Technologieentwicklung im Bereich des industriellen Einsatzes von Programmiersprachen im allgemeinen und speziell von Ada
Vortragsfolien mit Statistiken über Ada in der Anwendung im Vergleich zu anderen Programmiersprachen

Gellerich, Wolfgang; Windholz, Rüdiger
* Bibliographie der Quellen zu "Ada im praktischen Einsatz"

Diese Bibliographie präsentiert Literaturquellen, die sich mit dem Einsatz von Ada befassen und obigen Arbeiten zugrundeliegen. [Ada Projects Bibliography]

Holzmüller, Bernd
* On Polymorphic Type Systems for Imperative Languages: An Approach using Sets of Types and Subprograms
(In: Object-Oriented Technology. ECOOP'98 Workshop Reader, lncs series, vol. 1543, 1998, S. 31)


1997

Holzmüller, B.; Plödereder, E.
* Finite Unions for Ada 95.
(In "Reliable Software Technologies -- Ada-Europe 1997", Springer LNCS 1251, S. 1-12, 1997.)

Holzmüller, Bernd ; Plödereder, Erhard
* Finite Unions for Ada 95
(In: Proceedings of the 1997 Ada-Europe International Conference on Reliable Software Technologies, Lecture Notes in Computer Science, Vol. 1251, Springer 1997, S. 1-14)

Girard, Jean-Francois; Koschke, Rainer; Schied, Georg
* A Metric-based Approach to Detect Abstract Data Types and State Encapsulations
(In: Proceedings of the Conference on Automated Software Engineering - ASE'97, IEEE Computer Society 1997, S. 82-89)

Girard, Jean-Francois; Koschke, Rainer; Schied, Georg
* Comparison of Abstract Data Type and Abstract State Encapsulation Detection Techniques for Architectural Understanding
(In: Proceedings of the Working Conference on Reverse Engineering - WCRE'97, IEEE Computer Society 1997, S. 66-75

Girard, Jean-Francois;  Koschke, Rainer
* Finding Components in a Hierarchy of Modules: A Step towards Architectural Understanding
(In: Proceedings of the International Conference on Software Maintenance - ICSM'97, IEEE Computer Society 1997, S. 58-65)

Gellerich, Wolfgang; Plödereder, Erhard
* Parameter-Induced Aliasing and Related Problems can be Avoided (Towards a More Abstract View of Variables)
(In: Proceedings of the 1997 Ada-Europe International Conference on Reliable Software Technologies, Lecture Notes in Computer Science, Vol. 1251, Springer 1997, S. 161-172)

Betz, Hiltrud; Holzmüller, Bernd; Koschke, Rainer
* Experiences in Adjusting a Compiler Toolkit to Generate Ada 95 Code
(In: Ada User Journal, Vol. 18, No. 1, March 1997, Ada Language UK Ltd., S. 29-40;  nachgedruckt in: SpAda, Vol. 34, Sept. 1997, Ada-Spain, Madrid, S. 12-23).


1996

Gellerich, Wolfgang; Kosiol, Markus; Plödereder, Erhard
* Where does GOTO go to?
(In: Proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies, Lecture Notes in Computer Science, Vol. 1088, Springer 1996, S. 385-395)

Holzmüller, Bernd
* Extending the Object-Orientedness of Ada 95
(In: Proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies, Lecture Notes in Computer Science, Vol. 1088, Springer 1996, S. 357-369)

Koschke, Rainer;  Plödereder, Erhard
* Ansätze des Programmverstehens
(In: Franz Lehner (Hrsg.): Softwarewartung und Reengineering - Erfahrungen und Entwicklungen, Deutscher Universitätsverlag / Gabler Vieweg Westdeutscher Verlag 1996,S. 159-176)

Gellerich, Wolfgang; Gutzmann, Michael M.
* Massively Parallel Programming Languages - A Classification of Design Approaches
(In: Proceedings of the ISCA International Conference on Parallel and Distributed Computing Systems 1996, published by the International Society for Computers and Their Applications (ISCA) in cooperation with the IEEE Computer Society 1996, Vol. I, S. 110-118)  [Vortragsfolien (gnuzip-PostScript, 335 kB)]

 


1995

Schied, Georg; Barthelmann, Klaus
* Linear Types for Higher Order Processes with First Class Directed Channels
(In: Proc. Workshop on Graph Rewriting and Computation (SEGRAGRA '95), Electronic Notes in Theoretical Computer Science, Vol. 2, Elsevier Science B.V. 1995)

Schied, Georg
* Programmieren mit Prozessen höherer Ordnung und mit linearen Typen
(In: Proc. 12. Workshop GI-FG 2.1.4 "Alternative Konzepte für Sprachen und Rechner", Bad Honnef, 1995)

 


1994

Barthelmann,Klaus; Schied, Georg
* Graph-Grammar Semantics of a Higher-Order Programming Language for Distributed Systems
(In: Proc. Workshop on Graph Transformations in Computer Science 1993, LNCS 776, Springer 1994, S. 71-85)

Schied, Georg
* On Relating Rewriting Systems and Graph Grammars to Event Structures
(In: Proc. Workshop on Graph Transformations in Computer Science 1993, LNCS 776, Springer 1994, S. 326-340)

Schied, Georg
* Konstruktive Spezifikation verteilter Systeme mit Graphgrammatiken
(In: Verteilte Systeme - Grundlagen und zukünftige Entwicklungen aus der Sicht des Sonderforschungsbereichs 182 "Multiprozessor- und Netzwerkkonfigurationen", H. Wedekind (Hrsg.), BI-Wissenschaftsverlag 1994, S. 475-493)

 


1993

Plödereder, Erhard
* Software-Wiederverwendung als Wunderwaffe?
(In: Technische Rundschau 85 (2), Bern, Januar 1993; auch in: SAQ Bulletin, 1/93, Olten, Schweiz)


1992

Plödereder, Erhard
* Building Consensus for Ada 9X
(In: Communications of the ACM, Vol. 35, Nr. 11, p. 85-88, November 1992.)

Plödereder, Erhard
* How to Program in Ada 9X, Using Ada 83
(In: Ada Letters, Vol XII, Nr. 6, p. 50-58, ACM Press, November 1992.)