Die Arbeit beschreibt neue Verfahren, um Flächen mit vorgegebenem Krümmungsverhalten zu konstruieren. Diese finden u. a. in der interaktiven Optimierung von Gleitsichtgläsern Anwendung.

Fuer die Konfiguration einer verteilten Umgebung mit deren gewaltiger Menge an Netz- und Verwaltungsdaten gibt es bislang kaum Unterstuetzung in bezug darauf, wie Heterogenitaet und Komplexitaet solcher Umgebungen effizient handhabbar gemacht werden koennen.

Die Arbeit stellt verschiedene Techniken zur Automatisierung der Generierung eines 2D Objektmodells vor. Eingabebilder, die das zu modellierende Objekt zeigen, werden mit Hilfe von Bildmerkmalen klassifiziert.

This thesis deals with issues in the interplay between two important fields of research in computer science: Graphical user interfaces (GUIs) and formal techniques in software engineering.

In dieser Arbeit wird eine formale Grundlage für eine objektorientierte Methodik entwickelt. Zur Spezifikation von Struktur und Verhalten verteilter objektorientierter Systeme werden Beschreibungstechniken für Objektmodelle, Klassen und Transitionssysteme definiert.

In der Arbeit werden Konzepte und Verfahren vorgestellt und bewertet, die einen Beitrag zur effizienten Realisierung der verteilten Programmiersprache INSEL leisten.

Prozeßverlagerung ist die Verschiebung eines sich in Ausführung befindenden Programmes von einem Rechner auf einen anderen.