teaching

Eine Auswahl der abgeschlossenen Diplomarbeiten und Praktische Semesterarbeiten am Lehrstuhl Broy

Diplomarbeiten

  • Richtlinienkonforme Softwareentwicklung von Medizinprodukten am Beispiel eines internetbasierten CTG-Monitors mit LabVIEW
    Bearbeiter: Christian Harböck
    Betreuer: Bernhard Schätz und Martin Daumer (Trium)
    Zeit: 15.10.00 - 15.04.01
  • Konzeption einer Integration von EXPRESS- und UML-Modellen, als PDF-File
    Bearbeiter:Bernd Lercher
    Betreuer:Robert Sander
    Zeit:15.08.99 - 15.02.00
  • Specification Based Determination of Test Sequences in Embedded Systems
    Bearbeiter: Guido Wimmel
    Betreuer: Dr. Oscar Slotosch, Heiko Loetzbeyer
    Zeit: 15.8.1999 - 15.2.2000

  • Das V-Modell 97 als Softwareentwicklungsprozess aus der Sicht des Capability Maturity Models (CMM) für Software.
    (DA in Zusammenarbeit mit Siemens ZT SE 3)
    Bearbeiter: Viktor Schuppan
    Betreuer: Veronika Thurner, Sascha Vogel und Dr. Winfried Rußwurm (Siemens)
    Abstract
    Zeit: 15.2.1999 - 16.8.1999

  • Technologie- und Werkzeugauswahl für die Systemarchitektur beimbergang vom Fachkonzept zum Technischen Entwurf
    (DA bei der Vereinsbank)
    Bearbeiter: Rainer Stuchlik
    Betreuer: Andreas Rausch und Werner Langer (Vereinsbank)
    Ausarbeitung
    Vortrag
    Zeit: 15.5.1998 - 15.11.1998

  • Web Site Engineering - Konfigurationsmanagement fuer die Verwaltung von Web Sites
    (DA bei sd&m)
    Bearbeiter: Thomas Rassmann
    Betreuer: Andreas Rausch und Peter Eilfeld
    Ausarbeitung
    Zeit: 15.2.1998 - 15.8.1998

  • Sprachdefinition und Compilerimplementierung der objektorientierten Sprache "Frisco J",

    Mathias Ortmann.
    Betreuer: Dr. Bernhard Rumpe.

  • Sprachbeschreibung und Parserimplementierung der funktionalen Sprache "Frisco F",

    Christian Lesny.
    Betreuer: Dr. Bernhard Rumpe.

  • Transformation von MSCs in temporallogische Formeln,

    Markus Haubner.
    Betreuer: Dr. Christian Facchi, Ursula Hinkel.

  • Texteditor als GOS-Framework,

    Ulf Schünemann.
    Betreuer:     Bernhard Rumpe.

  • Specification and Verification of an Electronic Height Control System using Hybrid Automata

    Thomas Stauner.
    Betreuung: Olaf Müller, Max Fuchs, BMW AG.

  • Interpretation und Werkzeugunterstützung von Message Sequence Charts (MSC'96)

    Stefan Loidl.
    Betreuung: Ursula Hinkel ,Ekkart Rudolph, Herr Kolb, Siemens ZFE.

  • Unterstützung von Strukturverfeinerungen in FOCUS durch Isabelle

    - Verifikation einer Fertigungszelle -

    Robert Sandner.
    Betreuung: Olaf Müller, Franz Regensburger.

  • Verteilte Anwendungen: Grundlagen, Stand der Technologie und Architekturvarianten

    Andreas Rausch.
    Betreuung: Eckhart Horn.

  • Verifikation einer Entwicklung von AVL-Bäumen in Isabelle

    Cornelia Pusch.
    Betreuung: Franz Regensburger.

  • Tutorial und Referenzhandbuch für das Gofer Objekt System

    Boris Gruschke.
    Betreuung: Bernhard Rumpe.

  • Entwicklung einer Debugging-Komponente für das Gofer Objekt System

    Michael Guntersdorfer.
    Betreuung: Bernhard Rumpe.

  • Spezifikation eines Dienstes und Protokolls in FOCUS -- Die Abracadabra-Fallstudie

    Christine Klein
    Betreuung: Christian Facchi

  • Konzeption eines Werkzeuges zur Modellierung von Geschäftsprozessen

    Clemens Dietl
    Betreuung: Veronika Thurner,Franz Huber.

  • Datentypspezifikationen in HOLCF,

    David von Oheimb,
    Betreuung: Franz Regensburger.

  • Entwurf und Implementierung eines Modulkonzepts für die Sprache GOS,

    Marc Sihling.
    Betreuung: Bernhard Rumpe.

  • Scanner- und Parser-Generator für das Gofer Objekt System,

    Carsten Clasohm.
    Betreuung: Bernhard Rumpe.

  • Übersetzung von SPECTRUM - in the Large nach ML

    Alfred Hottarek, Betreuung:Oscar Slotosch
    Abstract, Postscript (247 K) , BibTeX entry

  • Ein generisches Werkzeug zur Bearbeitung von Graphen und deren Umsetzung in Textdarstellungen,

    Franz Huber.
    Betreuung: Rudi Hettler.

  • Die Methode Objectory, Zusammenfassung und Bewertung anhand von Beispielen,

    Kristian Butorac.
    Betreuung: Bernhard Rumpe.

  • Formale Entwicklung eines Funkgerätesteuermoduls,

    Max Breitling.
    Betreuung: Max Fuchs, Bernhard Rumpe.

  • Entwicklung einer Werkzeugumgebung für die Systementwicklungsmethode FOCUS auf Basis von Maestro II,

    Bernhard Klein.
    Betreuung: Wolfgang Bartsch, Thomas Gritzner.

  • Spezifikation von Busstrukturen - Eine Fallstudie in FOCUS -,

    Roberto Della Mura.
    Betreuung: Max Fuchs.

  • Spezifikation einer Fertigungszelle - Eine Fallstudie in FOCUS -,

    Jan Philipps.
    Betreuung: Max Fuchs.

  • Entwicklung einer Liftsteuerung, Fallstudie in FOCUS,

    Jürgen Rudolph.
    Betreuung: Katharina Spies.

  • Ein um Subtyping erweitertes Verfahren für das Gofer Objekt System,
    Manfred Korger.
    Betreuung: Bernhard Rumpe.

    • Praktische Semesterarbeiten, Systementwicklungspraktika

  • Implementierung  eines Frameworks für ein CASE-Tool Repository auf der Basis von OODBMS und CORBA (SEP)

    Tobias Miller
    Betreuer: Andreas Rausch und Marc Sihling
    Ausarbeitung
    Vortrag
    Zeit: 15.11.1997 - 15.5.1997
  • Verifikation einer Hubschrauberüberwachungskomponente mit Isabelle und STeP ,

    Tobias Hamberger.
    Betreuer: Olaf Müller.

  • Frisco Diagramm Editor,

    Michael Fahrmair
    Betreuer: Bernhard Rumpe.

  • Towards a Framework for Form-Based HTML User Interfaces,

    Saulius Narkevicius
    Betreuer: Ingolf Krüger.

  • Meta-modeling in ConceptBase demonstrated on FUSION,
    Eckhart von Hahn.
    Betreuung: Barbara Paech.

  • Erweiterung des Isabelle Theorie-Parsers um die Sektionen `axioms' und `ops',

    Tobias Mayr.
    Betreuung: Franz Regensburger.

  • Entwicklung einer graphischen Benutzeroberfläche und Realisierung von Betriebssystemfunktionen für das Gofer Objekt System,

    Dirk Daniel, Rene Mühlstein, Kurt Rohde.
    Betreuung: Bernhard Rumpe.

  • Implementierung der Laufzeitkomponente des GOS_Interpreters,

    Ingolf Krüger, Marc Sihling.
    Betreuung: Bernhard Rumpe.

  • Parser und operationelle Semantik für GOS - Gofer Objekt System,

    Klaus Bichler, Ulf Schünemann.
    Betreuung: Bernhard Rumpe.