Research Work Carried Out by Students (Peck00)

Patrick Peck.
Rigorose objektorientierte Analyse mit LOTOS: Spezifikation eines nebenläufigen, objektorientierten Datenflußsystems für die digitale Signalverarbeitung.
Theses, Institute of Computer Languages, Vienna University of Technology, 2000, in German.

Abstract:

Rigorose objektorientierte Analyse (ROOA) integriert eine formale Spezifikationssprache in den Prozess der objektorientierten Analyse, mit dem Ziel, bereits in einer frühen Phase der Softwareentwicklung über ein exaktes und ablauffähiges Modell des zu entwickelnden Systems zu verfügen. Wir zeigen ROOA anhand der formalen Spezifikationssprache LOTOS und entwickeln damit eine objektorientierte Spezifikation eines Datenflußsystems für die digitale Signalverarbeitung. Das Datenflußsystem verwendet einfache Rechenelemente, die zu komplexeren Signalverarbeitungsfunktionen zusammengeschaltet werden können. Es soll so spezifiziert werden, dass einerseits eine einfache Erweiterbarkeit gegeben ist, andererseits nebenläufige Abarbeitung unterstützt wird. Das gesteckte Ziel konnte erreicht werden und es stellte sich heraus, dass ROOA sehr gut für diese Aufgabenstellung geeignet war, wenngleich die Verwendung von LOTOS als Spezifikationssprache nicht die optimale Wahl darstellte.

Thesis

@MastersThesis{Peck00,
  author  = {Patrick Peck},
  title   = {Rigorose objektorientierte {A}nalyse mit {LOTOS}},
  school  = {Institute of Computer Languages, Vienna University of Technology},
  year    = 2000,
  address = {Vienna, Austria},
  url     = {http://www.complang.tuwien.ac.at/Diplomarbeiten/peck00.ps.gz}
}