Verzeichnis der Dissertationen in der Softwaretechnik
von denen eine Zusammenfassung in den Softwaretechnik-Trends erschienen ist
Nach Autorennamen sortierte Liste
Name, Titel | Kurz- fassung | ... erschienen in Heft | Voll- Text |
|---|---|---|---|
| Alfert, Klaus: Virtuv: Specifying Temporal Aspects of Multimedia Presentations - A Transformational Approach based on Intervals | 23:4 (2003/11) | ||
Arinir, Doga: Multidimensionale Separierung der Belange in der Softwareentwicklung durch Feature-Komponenten ~ | 28:2 (2008/05) | ||
| Armaç, Ibrahim: Personalized eHomes: Mobility, Privacy, and Security | 32:3 (2012/08) |
Name, Titel | Kurz- fassung | ... erschienen in Heft | Voll- Text |
|---|---|---|---|
| Balz, Moritz: Embedding Model Specifications in Object-Oriented Program Code: A Bottom-up Approach forModel-based Software Development | pdf not found | 32:1 (2012/02) | |
| Baumann, R.: Ein Datenbankmanagementsystem für verteilte, integrierte Software-Entwicklungsumgebungen | jpg | 19:3 (1999/08) | |
| Becker, Simon M.: Integratoren zur Konsistenzsicherung von Dokumenten in Entwicklungsprozessen | 27:4 (2007/11) | ||
| Behle, Anita: Wiederverwendung von Softwarekomponenten im Internet | jpg | 19:3 (1999/08) | |
| Beydeda, Sami: The Self-Testing COTS Components (STECC) Method | 24:2 (2004/05) | ||
| Beyer, Dirk: Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata | 23:2 (2003/05) | ||
| Birk, Andreas: A Knowledge Management Infrastructure for Systematic Improvement in Software Engineering | postscript | 22:2 (2002/05) | |
| Bischofs, Ludger: Simulationsbasierte Analyse und Entwicklung von Peer-to-Peer-Systemen | 29:3 (2009/08) | ||
| Bluhm, Tobias: Intelligence in ELearning-Systemen - Ein Referenzmodell zur Unterstützung von prozessorientiertem Bildungscontrolling in E-Learning- Systemen | 29:4 (2009/11) | ||
| Bokowski, Boris: A Framework for Checking Programmer-Defined Constraints on the Definition and Use of Program Elements in Java | postscript | 20:4 (2000/11) | |
| Brose, Gerald: Access Control Management in Distributed Object Systems | postscript - pdf | 21:3 (2001/08) | |
| Bunse, Christian: Pattern-Based Refinement and Translation of Object-Oriented Models to Code | postscript | 22:2 (2002/05) | |
| Burkhardt, Rainer: Modellierung dynamischer Aspekte mit dem Objekt-Prozeß-Modell | gif | 15:2 (1995/05) | |
| Bärisch, Stefan: Model-Driven Test Case Construction by Domain Experts in the Context of Software System Families | 30:1 (2010/02) | ||
| Böhlen, Boris: Ein parametrisierbares Graph-Datenbanksystem für Entwicklungswerkzeuge | 27:4 (2007/11) |
Name, Titel | Kurz- fassung | ... erschienen in Heft | Voll- Text |
|---|---|---|---|
| Deifel, Bernhard: Requirements Engineering komplexer Standardsoftware | postscript | 21:3 (2001/08) | |
| Dettmer, Thomas: Ein Modell für CAD-Entwurfsumgebungen Beschreibung und Formalisierung wesentlicher Konzepte auf der Basis von Hypermedia | 16:4 (1996/11) | ||
| Differding, Christiane: Adaptive Measurement Plans for Software Development | postscript | 22:2 (2002/05) | |
| Düwel, Stephan: BASE - ein begriffsbasiertes Analyseverfahren für die Software-Entwicklung | postscript | 20:4 (2000/11) |
Name, Titel | Kurz- fassung | ... erschienen in Heft | Voll- Text |
|---|---|---|---|
| Facchi, Christian: Methodik zur formalen Spezifikation des ISO/OSI Schichtenmodells | latex | 15:2 (1995/05) | |
| Fraikin, Falk: Entwicklungsbegleitendes Testen mittels UML Sequenzdiagrammen | 24:2 (2004/05) | ||
| Fritz, Martin: Eine Softwarearchitektur zur Modellierung und Simulation von rezepturgesteuerten Mehrproduktanlagen | pdf - postscript | 19:3 (1999/08) | |
| Fronk, Alexander: Algebraische Semantik einer objektorientierten Sprache zur Spezifikation von Hyperdokumenten | postscript | 22:1 (2002/02) |
Name, Titel | Kurz- fassung | ... erschienen in Heft | Voll- Text |
|---|---|---|---|
| Gabriel, R.: Eine Methode zur Spezifikation von Geometrie und Struktur zweidimensionaler Darstellungen | gif | 16:1 (1996/02) | |
| Gatzemeier, Felix H.: CHASID:A semantics-oriented authoring environment | 27:4 (2007/11) | ||
| Geiger, Leif: Fehlersuche im Modell ~ Modellbasiertes Testen und Debuggen | 32:3 (2012/08) | ||
| Giesecke, Simon: Architectural Styles for Early Goal-driven Middleware Platform Selection | 29:3 (2009/08) | ||
| Gruner, Stefan: Eine schematische und grammatische Korrespondenzmethode zur Spezifikation konsistent verteilter Datenmodelle | rtf | 19:3 (1999/08) | |
| Gryczan, Guido: Prozeßmuster zur Unterstützung kooperativer Tätigkeit | gif | 16:4 (1996/11) |
Name, Titel | Kurz- fassung | ... erschienen in Heft | Voll- Text |
|---|---|---|---|
| Hampp, Tilmann: Ein Kosten-Nutzen-Modell für die Softwareprüfung | 31:1 (2011/02) | ||
| Hasselbring, Wilhelm: Prototyping Parallel Algorithms in a Set-Oriented Language | latex | 15:2 (1995/05) | |
| Heer, Thomas: Controlling Development Processes | 32:3 (2012/08) | ||
| Herzberg, Dominikus: Modeling Telecommunication Systems: From Standards to System Architectures | 27:4 (2007/11) | ||
| Hettler, Rudolf: Entity/Relationship-Datenmodellierung in axiomatischen Spezifikationssprachen | latex | 15:2 (1995/05) | |
| Hunt, James. J.: Erweiterbare, sprachenbewusste Differenz und Verschmelzung (Extensible, Language Aware Differencing and Merging) | postscript | 21:3 (2001/08) |
Name, Titel | Kurz- fassung | ... erschienen in Heft | Voll- Text |
|---|---|---|---|
| Johannes, Jendrik: Component-Based Model-Driven Software Development | pdf - not found | 32:1 (2012/02) | |
| Jungmayr, Stefan: Improving testability of object-oriented systems | 24:2 (2004/05) | ||
| Junkermann, Gerald: SCAPE - Eine graphische Sprache zur Spezifikation von Software-Prozessen | pdf - latex | 16:4 (1996/11) | |
| Jäger, Dirk: Support of Inter-organizational Cooperation within Complex Development Process | 23:3 (2003/08) |
Name, Titel | Kurz- fassung | ... erschienen in Heft | Voll- Text |
|---|---|---|---|
| Kamsties, Erik: Surfacing Ambiguity in Natural Language Requirements | postscript | 22:2 (2002/05) | |
| Kauer, Stefan: Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme | rtf | 20:1 (2000/02) | |
| Kirchhof, Michael: Integrated Low-Cost eHome Systems: Prozesse und Infrastrukturen | 27:4 (2007/11) | ||
| Klar, Felix: Efficient and Compatible Bidirectional Formal Language Translators based on Extended Triple Graph Grammars | pdf - not found | 32:1 (2012/02) | |
| Klein, Peter: Architecture Modeling of Distributed and Concurrent Software Systems | 23:3 (2003/08) | ||
| Knapp, Alexander: A Formal Appraoach to Object-Oriented Software-Engineering | postscript | 21:3 (2001/08) | |
| Koch, Nora: Software Engineering for Adaptive Hypermedia Systems: Reference Model, Modeling Techniques and Development Process | postscript - latex | 21:1 (2001/02) | |
| Kohring, Christina: Ausführung von Anforderungsdefinitionen zum Rapid Prototyping | latex - postscript | 17:2 (1997/05) | |
| Koschel, Arne: Ereignisgetriebene CORBA-Dienste für heterogene, verteilte Informationssysteme | postscript - not found | 20:2 (2000/05) | |
| Koschke, Rainer: Atomic Architectural Component Recovery for Program Understanding and Evolution | postscript | 20:4 (2000/11) | |
| Kraft, Bodo: Semantische Unterstützung des konzeptuellen Gebäudeentwurfs | 27:4 (2007/11) | ||
| Krinke, Jens: Advanced Slicing of Sequential and Concurrent Programs | 24:2 (2004/05) | pdf - not found | |
| Krüger, Sandra P. C.: Eine allgemeine Versionsverwaltung für E-Learning-Systeme - Ein Ansatz zur Versionierung von Content | 29:4 (2009/11) |
Name, Titel | Kurz- fassung | ... erschienen in Heft | Voll- Text |
|---|---|---|---|
| Laitenberger, Oliver: Cost-effective Detection of Software Defects through Perspective-based Inspections | postscript | 22:2 (2002/05) | |
| Landes, Dieter: Die Entwurfsphase in MIKE - Methode und Beschreibungssprache | S1.gif - S2.gif | 15:2 (1995/05) | |
| Löbbert, Arnd: Beurteilung der Eignung von Softwaresystemen für eine lange Lebensdauer | 23:2 (2003/05) |
Name, Titel | Kurz- fassung | ... erschienen in Heft | Voll- Text |
|---|---|---|---|
| Marburger, André: Reverse Engineering of Complex Legacy Telecommunication Systems | 27:4 (2007/11) | ||
| Matevska, Jasminka: Modellbasierte erreichbarkeitsoptimierte Rekonfiguration komponentenbasierter Softwaresysteme zur Laufzeit | 30:1 (2010/02) | ||
| Mende, Thilo: On the Evaluation of Defect Prediction Models | pdf - not found | 32:1 (2012/02) | |
| Meyer, Oliver: aTool: Typographie als Quelle der Textstruktur | 27:4 (2007/11) | ||
| Monecke, Marc: Adaptierbare CASE-Werkzeuge in prozeßorientierten Software-Entwicklungsumgebungen | 23:2 (2003/05) | ||
| Müller, Uwe: Prüf- und Testprozesse in der Softwareentwicklung | html - postscript -not found | 20:1 (2000/02) | |
| Münch, Manfred: Generic Modelling with Graph Rewriting Systems | 23:3 (2003/08) |
Name, Titel | Kurz- fassung | ... erschienen in Heft | Voll- Text |
|---|---|---|---|
| Nazareth, Dieter: A Polymorphic Sort System for Axiomatic Specification Languages | latex | 15:2 (1995/05) | |
| Neumann, Roland: Orthogonalisierte Softwaremaße in der Fehlerprognose | 31:3 (2011/08) | ||
| Niemann, Heinrich: Regelbasierte Replikationsstrategie für heterogene, autonome Informationssysteme | 30:1 (2010/02) | ||
| Niere, Jörg: Inkrementelle Entwurfsmustererkennung | 25:1 (2005/02) | ||
| Nils, Göde: Clone Evolution | pdf - not found | 32:1 (2012/02) | |
| Norbisrath, Ulrich: Konfigurierung von eHome-Systemen | 27:4 (2007/11) |
Name, Titel | Kurz- fassung | ... erschienen in Heft | Voll- Text |
|---|---|---|---|
| Pahl, Claus: Grundlagen für die formale Spezifikation modularer zustandsbasierter Systeme | postscript | 16:4 (1996/11) | ps.gz - not found |
| Pfahl, Dietmar: An Integrated Approach to Simulation-Based Learning in Support of Strategic and Project Management in Software Organisations | postscript | 22:2 (2002/05) | |
| Platz, Dirk: Ein Werkzeugtransaktionskonzept für Objekt-Managementsysteme als Basis von Software-Entwicklungsumgebungen | latex - not found | 19:3 (1999/08) | |
| Pleumann, Jörg: Ein Ansatz zur Entwicklung von Modellierungswerkzeugen für die softwaretechnische Lehre | 27:4 (2007/11) | ||
| Pritsch, Elmar: Flexible Access Concepts for Distributed Information Systems | 23:3 (2003/08) |
Name, Titel | Kurz- fassung | ... erschienen in Heft | Voll- Text |
|---|---|---|---|
| Radermacher, Ansgar: Tool Support for the Distribution of Object-Based Applications | 23:3 (2003/08) | ||
| Rausch, Andreas: Componentware: Methodik des evolutionären Architekturentwurfs | postscript | 21:3 (2001/08) | |
| Reißing, Ralf: Bewertung der Qualität objektorientierter Entwürfe | postscript | 22:4 (2002/11) | |
| Retkowitz, Daniel: Software support for adaptive eHome Systems | 32:3 (2012/08) | ||
| Riehle, Dirk: Framework Design: A Role Modelling Approach | postscript not found - pdf | 20:4 (2000/11) | |
| Rumpe, Bernhard: Formale Methodik des Entwurfs verteilter objektorientierter Systeme | latex - postscript | 17:1 (1997/02) |
Name, Titel | Kurz- fassung | ... erschienen in Heft | Voll- Text |
|---|---|---|---|
| Sachweh, Sabine: KoKoS - Ein Kooperatives Konfigurationsmanagement-System | pdf - tex | 19:3 (1999/08) | |
| Schleicher, Ansgar: Management of Development Processes - An Evolutionary Approach | 23:3 (2003/08) | ||
| Schmitz-Hofbauer, Kai: Rapid-Content-Integration - Ein Ansatz zur schnellen Integration von Inhalten in Content-Management-Systeme | 29:4 (2009/11) | ||
| Schroeder, U.: Inkrementelle, syntaxbasierte Revisions- und Variantenkontrolle mit interaktiver Konfigurationsunterstützung | S1.gif - S2.gif | 15:1 (1995/02) | |
| Schuler, David: Assessing Test Quality | 32:2 (2012/05) | ||
| Schwarz, Michael: Interaktionszentrierte Gestaltung von Informationssystemen als anwenderorientierte Vorgehensweise zur Entwicklung und Präzisierung von Anforderungen | pdf - pdf | 24:1 (2004/02) | |
| Schwille, J.: Dokumenten- und Prozeßmodelle für die Software-Verwaltung | latex | 15:4 (1995/11) | |
| Seifert, Dirk: Automatisiertes Testen asynchroner nichtdeterministischer Systeme mit Daten | 28:1 (2008/02) | ||
| Simon, Frank: Meßwertbasierte Qualitätssicherung - Ein generisches Distanzmaß zur Erweiterung bisheriger Softwareproduktmaße - | postscript | 21:3 (2001/08) | |
| Streekmann, Nils: Clustering-Based Support for Software Architecture Restructuring | 32:2 (2012/05) | ||
| Stuckenholz, Alexander: Kompatibilitätsbewahrende Komponentenupdates | 28:1 (2008/02) | ||
| Störrle, Harald: Models of Software Architecture | postscript - pdf | 21:3 (2001/08) | |
| Störzer, Maximilian: Impact-Analyse für AspectJ - Eine kritische Analyse mit werkzeuggestütztem Ansatz | 27:4 (2007/11) | ||
| Söhnlein, Sven: Quantitative Bewertung der Softwarezuverlässigkeit komponentenbasierter Systeme durch statistische Auswertung der Betriebserfahrung | pdf - not found | 32:1 (2012/02) |
Name, Titel | Kurz- fassung | ... erschienen in Heft | Voll- Text |
|---|---|---|---|
| Tautz, Carsten: Customizing Software Engineering Experience Management Systems to Organizational Needs | postscript | 22:2 (2002/05) | |
| Teschke, Thorsten: Semantische Komponentensuche auf Basis von Geschäftsprozessmodellen | 24:2 (2004/05) | ||
| Tochtermann, K.: Ein Modell für Hypermedia - Beschreibung und integrierte Formalisierung wesentlicher Hypermediakonzepte | gif | 15:1 (1995/02) | |
| Trescher, J.: Wohlgeformtheits-Kriterien für kompositionelle Spezifikationen paralleler zeitkritischer Systeme | gif | 16:1 (1996/02) |
Name, Titel | Kurz- fassung | ... erschienen in Heft | Voll- Text |
|---|---|---|---|
| Vosseberg, Karin: Sichere Ausführungsumgebungen für Objekte | gif | 16:4 (1996/11) | |
| Völker, Norbert: Ein Rahmen zur Verifikation von SPS-Funktionsbausteinen in HOL | pdf - latex | 19:3 (1999/08) | |
| von der Maßen, Thomas: Feature-basierte Mo-dellierung und Analyse von Variabilität in Produktlinienanforderungen | 27:4 (2007/11) |
Name, Titel | Kurz- fassung | ... erschienen in Heft | Voll- Text |
|---|---|---|---|
| Wadsack, Jörg, P.: Data Oriented Reengineering | pdf - postscript | 25:1 (2005/02) | |
| Warns, Timo: Structural Failure Models for Fault-Tolerant Distributed Computing | 30:1 (2010/02) | ||
| Weinell, Erhard: Ein Rahmenwerk für operationale Spezifikationssprachen | 32:3 (2012/08) | ||
| Wende, Christian: Language Family Engineering with Features and Role-Based Composition | 32:3 (2012/08) | ||
| Wendehals, Lothar: Struktur- und verhaltensbasierte Entwurfsmustererkennung | 28:2 (2008/05) | ||
| Wenzel, Sven: Unique Identification of Elements in Evolving Models: Towards Fine-Grained Traceability in Model-Driven Engineering | pdf - not found | 32:1 (2012/02) | |
| Wieczorek, Isabella: Improved Software Cost Estimation - A Robust and Interpretable Modeling Method and a Comprehensive Investigation | postscript | 22:2 (2002/05) | |
| Winter, Andreas: Referenz-Metaschema für visuelle Modellierungssprachen | postscript - latex | 21:1 (2001/02) | |
| Winter, Andreas J.: Visuelles Programmieren mit Graphtransformationen | rtf | 19:3 (1999/08) | |
| Winter, Mario: Qualitätssicherung für objektorientierte Software: Anforderungsermittlung und Test gegen die Anforderungsspezifikation | pdf - latex - postscript | 20:2 (2000/05) | |
| Wolf, Stefan: Ein transaktionsbasierter Ansatz zur Unterstützung kooperativer Softwareentwicklung | postscript | 15:2 (1995/05) | |
| Wörzberger, René: Management of dynamic business processes based on static process management systems, doctoral thesis | 32:3 (2012/08) |
Name, Titel | Kurz- fassung | ... erschienen in Heft | Voll- Text |
|---|---|---|---|
| Zeller, Andreas: Configuration Management with Version Sets - A Unified Software Visioning Model and its Applications | pdf - latex - postscript | 17:2 (1997/05) | |
| Zettel, Jörg: Anpassbare Methodenassistenz in CASE-Werkzeugen | 23:2 (2003/05) | ||
| Ziesche, Peter: Business Intelligence für kleine Unternehmen; Komponentenbasiertes Data Warehousing mit Micromarts | 24:3 (2004/08) | ||
| Zwintzscher, Olaf: Komponentenbasierte und generative Software-Entwicklung; Generierung komponentenbasierter Software aus erweiterten UML-Modellen | 23:3 (2003/08) | ||
| Zündorf, Albert: Eine Entwicklungsumgebung für PROgrammierte GRaph-Ersetzungs-Systeme (Implementierung und Verwendung) | gif | 15:2 (1995/05) |
Nach Heftnummern bzw. Erscheinungsdatum sortierter Index
Heft 32:3 (2012/08): Armaç, Ibrahim - Geiger, Leif - Heer, Thomas - Retkowitz, Daniel - Weinell, Erhard - Wende, Christian - Wörzberger, René
Heft 32:2 (2012/05): Streekmann, Nils - Schuler, David
Heft 32:1 (2012/02): Wenzel, Sven - Söhnlein, Sven - Oster, Sebastian - Mende, Thilo - Klar, Felix - Johannes, Jendrik - Nils, Göde - Balz, Moritz
Heft 31:3 (2011/08): Neumann, Roland
Heft 31:1 (2011/02): Hampp, Tilmann
Heft 30:1 (2010/02): Bärisch, Stefan - Matevska, Jasminka - Niemann, Heinrich - Warns, Timo
Heft 29:4 (2009/11): Bluhm, Tobias - Krüger, Sandra P. C. - Schmitz-Hofbauer, Kai
Heft 29:3 (2009/08): Bischofs, Ludger - Giesecke, Simon
Heft 28:2 (2008/05): Arinir, Doga - Wendehals, Lothar
Heft 28:1 (2008/02): Stuckenholz, Alexander - Seifert, Dirk
Heft 27:4 (2007/11): Gatzemeier, Felix H. - Herzberg, Dominikus - Kirchhof, Michael - Kraft, Bodo - Pleumann, Jörg - Meyer, Oliver - Marburger, André - Norbisrath, Ulrich - Störzer, Maximilian - von der Maßen, Thomas - Böhlen, Boris - Becker, Simon M.
Heft 25:1 (2005/02): Niere, Jörg - Ohst, Dirk - Wadsack, Jörg, P.
Heft 24:3 (2004/08): Ziesche, Peter
Heft 24:2 (2004/05): Beydeda, Sami - Fraikin, Falk - Jungmayr, Stefan - Krinke, Jens - Teschke, Thorsten
Heft 24:1 (2004/02): Schwarz, Michael
Heft 23:4 (2003/11): Alfert, Klaus
Heft 23:3 (2003/08): Jäger, Dirk - Klein, Peter - Münch, Manfred - Pritsch, Elmar - Radermacher, Ansgar - Schleicher, Ansgar - Zwintzscher, Olaf
Heft 23:2 (2003/05): Beyer, Dirk - Löbbert, Arnd - Monecke, Marc - Zettel, Jörg
Heft 22:4 (2002/11): Reißing, Ralf
Heft 22:2 (2002/05): Birk, Andreas - Bunse, Christian - Differding, Christiane - Kamsties, Erik - Laitenberger, Oliver - Pfahl, Dietmar - Tautz, Carsten - Wieczorek, Isabella
Heft 22:1 (2002/02): Fronk, Alexander
Heft 21:3 (2001/08): Brose, Gerald - Deifel, Bernhard - Hunt, James. J. - Knapp, Alexander - Rausch, Andreas - Simon, Frank - Störrle, Harald
Heft 21:1 (2001/02): Koch, Nora - Winter, Andreas
Heft 20:4 (2000/11): Bokowski, Boris - Düwel, Stephan - Koschke, Rainer - Riehle, Dirk
Heft 20:2 (2000/05): Koschel, Arne - Winter, Mario
Heft 20:1 (2000/02): Kauer, Stefan - Müller, Uwe
Heft 19:3 (1999/08): Baumann, R. - Behle, Anita - Cremer, Katja - Fritz, Martin - Gruner, Stefan - Platz, Dirk - Sachweh, Sabine - Völker, Norbert - Winter, Andreas J.
Heft 17:2 (1997/05): Kohring, Christina - Zeller, Andreas
Heft 17:1 (1997/02): Rumpe, Bernhard
Heft 16:4 (1996/11): Dettmer, Thomas - Gryczan, Guido - Junkermann, Gerald - Pahl, Claus - Vosseberg, Karin
Heft 16:1 (1996/02): Gabriel, R. - Trescher, J.
Heft 15:4 (1995/11): Emmerich, W. - Schwille, J.
Heft 15:2 (1995/05): Burkhardt, Rainer - Ebert, Christof - Facchi, Christian - Hasselbring, Wilhelm - Hettler, Rudolf - Landes, Dieter - Nazareth, Dieter - Wolf, Stefan - Zündorf, Albert
Heft 15:1 (1995/02): Cramer, J. - Schroeder, U. - Tochtermann, K.