zurück zur Startseite der Softwaretechnik-Trends

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 pdf 23:4 (2003/11)  
Arinir, Doga: Multidimensionale Separierung der Belange in der Softwareentwicklung durch Feature-Komponenten ~ Ein Ansatz zur dynamischen Komposition von Anwendungen pdf 28:2 (2008/05)  
Armaç, Ibrahim: Personalized eHomes: Mobility, Privacy, and Security pdf 32:3 (2012/08)  
Balz, Moritz: Embedding Model Specifications in Object-Oriented Program Code: A Bottom-up Approach forModel-based Software Development pdf 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 pdf 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 pdf 24:2 (2004/05)  
Beyer, Dirk: Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata pdf 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 pdf 29:3 (2009/08)  
Bluhm, Tobias: Intelligence in ELearning-Systemen - Ein Referenzmodell zur Unterstützung von prozessorientiertem Bildungscontrolling in E-Learning- Systemen pdf 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 pdf 30:1 (2010/02)  
Böhlen, Boris: Ein parametrisierbares Graph-Datenbanksystem für Entwicklungswerkzeuge pdf 27:4 (2007/11)  
Cramer, J.: Interconnecting and Reusing Component Specifications gif 15:1 (1995/02)  
Cremer, Katja: Graphbasierte Werkzeuge für das Reverse Engineering und Reengineering jpg 19:3 (1999/08)  
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 html 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)  
Ebert, Christof: Ein Verfahren zur Verfolgung des Komplexitätsverlaufs im Software-Entwicklungsprozeß S1.gif - S2.gif 15:2 (1995/05)  
Emmerich, W.: Process-Centred Software Development Environments based on Object Databases latex 15:4 (1995/11)  
Facchi, Christian: Methodik zur formalen Spezifikation des ISO/OSI Schichtenmodells latex 15:2 (1995/05)  
Fraikin, Falk: Entwicklungsbegleitendes Testen mittels UML Sequenzdiagrammen pdf 24:2 (2004/05) pdf
Fritz, Martin: Eine Softwarearchitektur zur Modellierung und Simulation von rezepturgesteuerten Mehrproduktanlagen html - postscript 19:3 (1999/08)  
Fronk, Alexander: Algebraische Semantik einer objektorientierten Sprache zur Spezifikation von Hyperdokumenten postscript 22:1 (2002/02)  
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 pdf 27:4 (2007/11)  
Geiger, Leif: Fehlersuche im Modell ~ Modellbasiertes Testen und Debuggen pdf 32:3 (2012/08)  
Giesecke, Simon: Architectural Styles for Early Goal-driven Middleware Platform Selection pdf 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)  
Hampp, Tilmann: Ein Kosten-Nutzen-Modell für die Softwareprüfung pdf 31:1 (2011/02)  
Hasselbring, Wilhelm: Prototyping Parallel Algorithms in a Set-Oriented Language latex 15:2 (1995/05)  
Heer, Thomas: Controlling Development Processes pdf 32:3 (2012/08)  
Herzberg, Dominikus: Modeling Telecommunication Systems: From Standards to System Architectures pdf 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)  
Johannes, Jendrik: Component-Based Model-Driven Software Development pdf 32:1 (2012/02)  
Jungmayr, Stefan: Improving testability of object-oriented systems pdf 24:2 (2004/05)  
Junkermann, Gerald: SCAPE - Eine graphische Sprache zur Spezifikation von Software-Prozessen html - latex 16:4 (1996/11) ps.gz
Jäger, Dirk: Support of Inter-organizational Cooperation within Complex Development Process pdf 23:3 (2003/08)  
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 pdf 27:4 (2007/11)  
Klar, Felix: Efficient and Compatible Bidirectional Formal Language Translators based on Extended Triple Graph Grammars pdf 32:1 (2012/02)  
Klein, Peter: Architecture Modeling of Distributed and Concurrent Software Systems pdf 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 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 pdf 27:4 (2007/11)  
Krinke, Jens: Advanced Slicing of Sequential and Concurrent Programs pdf 24:2 (2004/05) pdf
Krüger, Sandra P. C.: Eine allgemeine Versionsverwaltung für E-Learning-Systeme - Ein Ansatz zur Versionierung von Content pdf 29:4 (2009/11)  
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 pdf 23:2 (2003/05)  
Marburger, André: Reverse Engineering of Complex Legacy Telecommunication Systems pdf 27:4 (2007/11)  
Matevska, Jasminka: Modellbasierte erreichbarkeitsoptimierte Rekonfiguration komponentenbasierter Softwaresysteme zur Laufzeit pdf 30:1 (2010/02)  
Mende, Thilo: On the Evaluation of Defect Prediction Models pdf 32:1 (2012/02)  
Meyer, Oliver: aTool: Typographie als Quelle der Textstruktur pdf 27:4 (2007/11)  
Monecke, Marc: Adaptierbare CASE-Werkzeuge in prozeßorientierten Software-Entwicklungsumgebungen pdf 23:2 (2003/05) pdf
Müller, Uwe: Prüf- und Testprozesse in der Softwareentwicklung html - postscript 20:1 (2000/02)  
Münch, Manfred: Generic Modelling with Graph Rewriting Systems pdf 23:3 (2003/08)  
Nazareth, Dieter: A Polymorphic Sort System for Axiomatic Specification Languages latex 15:2 (1995/05)  
Neumann, Roland: Orthogonalisierte Softwaremaße in der Fehlerprognose pdf 31:3 (2011/08)  
Niemann, Heinrich: Regelbasierte Replikationsstrategie für heterogene, autonome Informationssysteme pdf 30:1 (2010/02)  
Niere, Jörg: Inkrementelle Entwurfsmustererkennung pdf 25:1 (2005/02)  
Nils, Göde: Clone Evolution pdf 32:1 (2012/02)  
Norbisrath, Ulrich: Konfigurierung von eHome-Systemen pdf 27:4 (2007/11)  
Ohst, Dirk: Versionierungskonzepte mit Unterstützung für Differenz- und Mischwerkzeuge pdf 25:1 (2005/02) pdf
Oster, Sebastian: Feature Model-based Software Product Line Testing pdf 32:1 (2012/02)  
Pahl, Claus: Grundlagen für die formale Spezifikation modularer zustandsbasierter Systeme postscript 16:4 (1996/11) ps.gz
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 19:3 (1999/08)  
Pleumann, Jörg: Ein Ansatz zur Entwicklung von Modellierungswerkzeugen für die softwaretechnische Lehre pdf 27:4 (2007/11)  
Pritsch, Elmar: Flexible Access Concepts for Distributed Information Systems pdf 23:3 (2003/08)  
Radermacher, Ansgar: Tool Support for the Distribution of Object-Based Applications pdf 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 pdf 32:3 (2012/08)  
Riehle, Dirk: Framework Design: A Role Modelling Approach postscript - pdf 20:4 (2000/11)  
Rumpe, Bernhard: Formale Methodik des Entwurfs verteilter objektorientierter Systeme latex - postscript 17:1 (1997/02)  
Sachweh, Sabine: KoKoS - Ein Kooperatives Konfigurationsmanagement-System html - tex 19:3 (1999/08)  
Schleicher, Ansgar: Management of Development Processes - An Evolutionary Approach pdf 23:3 (2003/08)  
Schmitz-Hofbauer, Kai: Rapid-Content-Integration - Ein Ansatz zur schnellen Integration von Inhalten in Content-Management-Systeme pdf 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 pdf 32:2 (2012/05)  
Schwarz, Michael: Interaktionszentrierte Gestaltung von Informationssystemen als anwenderorientierte Vorgehensweise zur Entwicklung und Präzisierung von Anforderungen html - 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 pdf 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 pdf 32:2 (2012/05)  
Stuckenholz, Alexander: Kompatibilitätsbewahrende Komponentenupdates pdf 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 pdf 27:4 (2007/11)  
Söhnlein, Sven: Quantitative Bewertung der Softwarezuverlässigkeit komponentenbasierter Systeme durch statistische Auswertung der Betriebserfahrung pdf 32:1 (2012/02)  
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 pdf 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)  
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 html - latex 19:3 (1999/08)  
Wadsack, Jörg, P.: Data Oriented Reengineering pdf - postscript 25:1 (2005/02) pdf
Warns, Timo: Structural Failure Models for Fault-Tolerant Distributed Computing pdf 30:1 (2010/02)  
Weinell, Erhard: Ein Rahmenwerk für operationale Spezifikationssprachen pdf 32:3 (2012/08)  
Wende, Christian: Language Family Engineering with Features and Role-Based Composition pdf 32:3 (2012/08)  
Wendehals, Lothar: Struktur- und verhaltensbasierte Entwurfsmustererkennung pdf 28:2 (2008/05)  
Wenzel, Sven: Unique Identification of Elements in Evolving Models: Towards Fine-Grained Traceability in Model-Driven Engineering pdf 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 html - 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 pdf 32:3 (2012/08)  
Zeller, Andreas: Configuration Management with Version Sets - A Unified Software Visioning Model and its Applications html - latex - postscript 17:2 (1997/05)  
Zettel, Jörg: Anpassbare Methodenassistenz in CASE-Werkzeugen pdf 23:2 (2003/05)  
Ziesche, Peter: Business Intelligence für kleine Unternehmen; Komponentenbasiertes Data Warehousing mit Micromarts pdf 24:3 (2004/08)  
Zwintzscher, Olaf: Komponentenbasierte und generative Software-Entwicklung; Generierung komponentenbasierter Software aus erweiterten UML-Modellen pdf - pdf 23:3 (2003/08)  
Zündorf, Albert: Eine Entwicklungsumgebung für PROgrammierte GRaph-Ersetzungs-Systeme (Implementierung und Verwendung) gif 15:2 (1995/05)  
von der Maßen, Thomas: Feature-basierte Mo-dellierung und Analyse von Variabilität in Produktlinienanforderungen pdf 27:4 (2007/11)  


Nach Heftnummern bzw. Erscheinungsdatum sortierter Index

Heft 15:1 (1995/02): Cramer, J. - Schroeder, U. - Tochtermann, K.
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:4 (1995/11): Emmerich, W. - Schwille, J.
Heft 16:1 (1996/02): Gabriel, R. - Trescher, J.
Heft 16:4 (1996/11): Dettmer, Thomas - Gryczan, Guido - Junkermann, Gerald - Pahl, Claus - Vosseberg, Karin
Heft 17:1 (1997/02): Rumpe, Bernhard
Heft 17:2 (1997/05): Kohring, Christina - Zeller, Andreas
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 20:1 (2000/02): Kauer, Stefan - Müller, Uwe
Heft 20:2 (2000/05): Koschel, Arne - Winter, Mario
Heft 20:4 (2000/11): Bokowski, Boris - Düwel, Stephan - Koschke, Rainer - Riehle, Dirk
Heft 21:1 (2001/02): Koch, Nora - Winter, Andreas
Heft 21:3 (2001/08): Brose, Gerald - Deifel, Bernhard - Hunt, James. J. - Knapp, Alexander - Rausch, Andreas - Simon, Frank - Störrle, Harald
Heft 22:1 (2002/02): Fronk, Alexander
Heft 22:2 (2002/05): Birk, Andreas - Bunse, Christian - Differding, Christiane - Kamsties, Erik - Laitenberger, Oliver - Pfahl, Dietmar - Tautz, Carsten - Wieczorek, Isabella
Heft 22:4 (2002/11): Reißing, Ralf
Heft 23:2 (2003/05): Beyer, Dirk - Löbbert, Arnd - Monecke, Marc - Zettel, Jörg
Heft 23:3 (2003/08): Jäger, Dirk - Klein, Peter - Münch, Manfred - Pritsch, Elmar - Radermacher, Ansgar - Schleicher, Ansgar - Zwintzscher, Olaf
Heft 23:4 (2003/11): Alfert, Klaus
Heft 24:1 (2004/02): Schwarz, Michael
Heft 24:2 (2004/05): Beydeda, Sami - Fraikin, Falk - Jungmayr, Stefan - Krinke, Jens - Teschke, Thorsten
Heft 24:3 (2004/08): Ziesche, Peter
Heft 25:1 (2005/02): Niere, Jörg - Ohst, Dirk - Wadsack, Jörg, P.
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 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 28:1 (2008/02): Stuckenholz, Alexander - Seifert, Dirk
Heft 28:2 (2008/05): Arinir, Doga - Wendehals, Lothar
Heft 29:3 (2009/08): Bischofs, Ludger - Giesecke, Simon
Heft 29:4 (2009/11): Bluhm, Tobias - Krüger, Sandra P. C. - Schmitz-Hofbauer, Kai
Heft 30:1 (2010/02): Bärisch, Stefan - Matevska, Jasminka - Niemann, Heinrich - Warns, Timo
Heft 31:1 (2011/02): Hampp, Tilmann
Heft 31:3 (2011/08): Neumann, Roland
Heft 32:1 (2012/02): Wenzel, Sven - Söhnlein, Sven - Oster, Sebastian - Mende, Thilo - Klar, Felix - Johannes, Jendrik - Nils, Göde - Balz, Moritz
Heft 32:2 (2012/05): Streekmann, Nils - Schuler, David
Heft 32:3 (2012/08): Armaç, Ibrahim - Geiger, Leif - Heer, Thomas - Retkowitz, Daniel - Weinell, Erhard - Wende, Christian - Wörzberger, René