%\documentstyle[german,twocolumn,dina4]{article}
\documentstyle[german,twocolumn]{article}
\input{trendsstyle_v2.tex}
\begin{document}

\setlength{\topmargin}{-2.0cm}
\setlength{\textheight}{26cm}
\setlength{\headheight}{0.5cm}
\setlength{\headsep}{0cm}
\setlength{\topskip}{0cm}
\twocolumn[{\vspace*{0mm}

\huge\sf Dissertationen
\\ %[0.5cm]
}]


\baselineskip12.0pt

% \small
\noindent
{\bf Christine Kohring: Ausf"uhrung von Anforderungsdefinitionen zum
Rapid Prototyping}

\medskip

\noindent {\bf 1. Referent: } Prof. Dr.-Ing. Manfred Nagl\\
{\bf 2. Referent: } Prof. Dr. rer. nat. Gregor Engels\\
{\bf Datum der Pr"ufung: } 12. Februar 1996

\medskip

\noindent {\bf Zusammenfassung:} Prototyping wird im Requirements Engineering 
dazu eingesetzt, die formulierten 
Systemanforderungen zu "uberpr"ufen. Insbesondere bei der Entwicklung
von
eingebetteten Systemen ist es wichtig, schon fr"uhzeitig das dynamische und
zeitliche Verhalten des angestrebten Systems anhand eines vorl"aufigen Modells
zu validieren und Aspekte der Verteilung auf mehrere, m"oglicherweise
unterschiedliche Zielrechner zu ber"ucksichtigen.

Den Schwerpunkt der Arbeit bilden die Konzeption und Realisierung eines
flexiblen 
und adaptablen Ausf"uhrungswerkzeugs, mit dessen Hilfe Anforderungsdefinitionen 
direkt interpretiert werden k"onnen. Auf diese Weise wird ein spezieller Prototyping-Ansatz 
verfolgt. Voraussetzung f"ur die Entwicklung eines Interpreters f"ur Anforderungsdefinitionen 
war zun"achst die Existenz einer ausf"uhrbaren Modellierungssprache, die den 
besonderen Eigenschaften eingebetteter Systemen Rechnung tr"agt.

Bei der Entwicklung der integrierten Entwicklungsumgebung wurde besonderer 
Wert auf Flexibilit"at und Adaptabilit"at an ge"anderte Benutzeranforderungen 
gelegt. Flexibilit"at wurde dabei auf drei Ebenen definiert. So wurden bereits 
bei der Auswahl einer geeigneten Modellierungssprache (1) mehrere Varianten 
ber"ucksichtigt. Diese wurden bei der Realisierung der integrierten Werkzeugumgebung 
(2) auf verschiedene Weise umgesetzt. Editor- und Analysewerkzeug k"onnen weitgehend 
aus der EBNF der Sprache generiert werden. Au"serdem bietet die Werkzeugumgebung 
(3) die M"oglichkeit einer verschr"ankten Vorgehensweise, so da"s der Benutzer 
w"ahrend der Ausf"uhrung erkannte fehlerhafte oder unvollst"andige Teile der Spezifikation 
sofort verbessern kann. Eine weitere Forderung an den RE-Interpreter lautete, 
(4) eine einfache Simulation der Zielsystemeigenschaften anzubieten.

Das Interpreterwerkzeug ist modular aufgebaut und umfa"st eine allgemein verwendbare 
Basisschicht, die verschiedenen Varianten der Modellierungssprache - eine integrierte 
SA/CM/IM-Sprache - unterst"utzt. Der zentrale Interpretationszyklus besteht 
aus dem globalen Netzflu"sinterpreter mit darin enthaltenen Interpretern f"ur 
Kontroll- und Proze"sspekifikationen und einem Scheduler, der die Simulation 
einer verteilten Zielhardware erlaubt. Zur "Uberwachung und Auswerteung des 
Ausf"uhrungsvorgangs beinhaltet die RE-Entwicklungsumgebung Werkzeuge f"ur Instrumentierung 
und Monitoring. Diese Anteile geben w"ahrend der Ausf"uhrung Aufschlu"s "uber die 
aktuellen Laufzeitdaten, wie z.B. die Zust"ande der Prozesse, die Belegungen 
der Datenfl"usse, die Warteschlangen der simulierten Prozessoren
etc.\\

\medskip

\noindent
{\bf Andreas Zeller: Configuration Management with Version Sets --
A Unified Software Versioning Model and its Applications}

\medskip

\noindent
{\bf Anschrift:} TU Braunschweig, Abteilung Softwaretechnologie,
D-38092 Braunschweig

\medskip

\noindent
{\bf 1. Referent: } Prof.\ Dr.\ Gregor Snelting \\
{\bf 2. Referent: } Prof.\ Dr.\ Walter F.\ Tichy \\
{\bf Datum der Pr"ufung: } 01.04.1997

\medskip

\noindent {\bf Zusammenfassung: } Das
Software-Konfigurations\-management (SCM) kennt eine Vielzahl von
Konzepten, die nur schwer miteinander zusammenarbeiten.  Diese Arbeit
stellt ein vereinheitlichtes Versionierungs-Modell vor, das Modell der
{\sl Versionsmengen.}  Versionsmengen kennzeichnen Versionen,
Komponenten und Konfigurationen durch {\sl Feature-Terme} --
Boolesche Terme "uber Ausdr"ucke der Art ({\it Eigenschaft}: {\it
  Wert}).  {\sl Feature-Logik,} ein etablierter Formalismus f"ur
Wissensrepr"asentation und logische Programmierung, definiert Aufgaben
und Konzepte des SCM.  Die Ergebnisse sind wie folgt:

{\bf Vereinheitlichte Versionierung.}  Versionsmengen sind ein
einheitlicher Formalismus, mit dem alle Dimensionen der
Versionierung (Revisionen, Varianten, Arbeitsumgebungen) als auch
Querbeziehungen integriert werden.
  
{\bf Integration von "Anderungen und Revisionen.}
Konfigurationsbedin\-gungen in Feature-Logik decken das gesamte
Spektrum zeitlicher Versionierung ab -- von der Strenge der
versionsorientierten SCM-Modelle bis zur Kombinationsfreudigkeit der
"anderungsorientierten SCM-Modelle.

{\bf Konsistenzpr"ufung unter Mehrdeutigkeit.}  Feature-Logik bestimmt
Eigenschaften und Konsistenz von Konfigurationen wie auch abgeleiteter
Komponenten und beschreibt so, wie sich Eigenschaften im SCM-Proze"s
fortpflanzen.  Unstimmigkeiten werden auch bei unvoll\-st"an\-digen
und mehrdeutigen Konfigurationsbeschreibungen erkannt.

Das Modell der Versionsmengen wurde in einem experimentellen
SCM-System namens ICE implementiert.  "Uber ein virtuelles Dateisystem
k"onnen Anwender beliebige Versionsmengen bearbeiten.  Einzelne
Versionen werden als Dateien angesprochen; Versionsmengen als ganzes
k"onnen "uber Versions-Verzeichnisse oder "uber die wohlbekannte
C-Pr"aprozessor-Dar\-stellung bearbeitet werden.  Die bekannten
SCM-Verfahren werden durch einfache Dateioperationen auf
Versionsmengen effizient realisiert.  Dies macht ICE zu einer
universellen Plattform f"ur SCM-Anwendungen und unterstreicht die
praktische Bedeutung von Versionsmengen.

(Erh"altlich "uber den Autor, zeller@acm.org)

\end{document}