| 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)
|
|
|
Baumann,
R.:
Ein Datenbankmanagementsystem für verteilte,
integrierte Software-Entwicklungsumgebungen
|
jpg |
19:3
(1999/08)
|
|
|
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)
|
|
|
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)
|
|
|
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)
|
|
|
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)
|
|
|
Hasselbring,
Wilhelm:
Prototyping Parallel Algorithms in a Set-Oriented
Language
|
latex |
15:2
(1995/05)
|
|
|
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)
|
|
|
Jäger,
Dirk:
Support of Inter-organizational Cooperation within
Complex Development Process
|
pdf |
23:3
(2003/08)
|
|
|
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
|
|
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)
|
|
|
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)
|
|
|
Krinke,
Jens:
Advanced Slicing of Sequential and Concurrent
Programs
|
pdf |
24:2
(2004/05)
|
pdf
|
|
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)
|
|
|
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)
|
|
|
Niere,
Jörg:
Inkrementelle Entwurfsmustererkennung
|
pdf |
25:1
(2005/02)
|
|
|
Ohst,
Dirk:
Versionierungskonzepte mit Unterstützung für
Differenz- und Mischwerkzeuge
|
pdf |
25:1
(2005/02)
|
pdf
|
|
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)
|
|
|
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)
|
|
|
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,
abine:
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)
|
|
|
Schroeder,
U.:
Inkrementelle, syntaxbasierte Revisions- und
Variantenkontrolle mit interaktiver
Konfigurationsunterstützung
|
S1.gif - S2.gif
|
15:1
(1995/02)
|
|
|
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)
|
|
|
Simon,
Frank:
Meßwertbasierte Qualitätssicherung - Ein
generisches Distanzmaß zur Erweiterung bisheriger
Softwareproduktmaße -
|
postscript |
21:3
(2001/08)
|
|
|
Störrle,
Harald:
Models of Software Architecture
|
postscript - pdf
|
21:3
(2001/08)
|
|
|
Stürmer,
Ingo:
Systematic Testing of Code Generation Tools - A
Test-suite Oriented Approach for Safeguarding
Model-based Code Generation
|
pdf
|
26:2
(2006/05)
|
|
|
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)
|
|
|
Völker,
Norbert:
Ein Rahmen zur Verifikation von
SPS-Funktionsbausteinen in HOL
|
html - latex
|
19:3
(1999/08)
|
|
|
Vosseberg,
Karin:
Sichere Ausführungsumgebungen für Objekte
|
gif |
16:4
(1996/11)
|
|
|
Wadsack,
Jörg, P.:
Data Oriented Reengineering
|
pdf - postscript
|
25:1
(2005/02)
|
pdf
|
|
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)
|
|
|
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)
|
|
|
Zündorf,
Albert:
Eine Entwicklungsumgebung für PROgrammierte
GRaph-Ersetzungs-Systeme (Implementierung und Verwendung)
|
gif |
15:2
(1995/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)
|
|
