Informatik Schriftenreihe
Forschungsergebnisse zur Informatik

Sönke S. Gold

Transparenter Schutz der Aufenthaltsinformation in Mobilfunksystemen

Hamburg 1999, Band 49

Gerätemobilität, eine wesentliche Eigenschaft von Mobilfunksystemen, setzt eine Infrastruktur voraus, mit der einer Mobilstation funkgebundener Netzzugang über die nächstgelegene Basisstation gewährt werden kann. Mobility Management-Prozeduren…

Jan-Juan Hiemer

Statecharts in CSP

Ein Prozeßmodell in CSP zur Analyse von STATEMATE-Statecharts

Hamburg 1999, Band 48

Graphische Notationen werden heute standardmäßig zur Modellierung komplexer Softwaresysteme eingesetzt. Eine gängige Notation für die Entwicklung von Steuerungssystemen sind die von Harel eingeführten Statecharts, die durch das Werkzeug Statemate…

Thomas Kühne

A Functional Pattern System for Object-Oriented Design

Hamburg 1999, Band 47

This book integrates the vital areas of object-orientation, functional programming, design patterns, and language design. The most important concepts from functional programming are captured with six design patterns: [...]

Sybille Hellebrand

Selbsttestbare Steuerwerke

Strukturen und Syntheseverfahren

Hamburg 1999, Band 46

Die großen Fortschritte in der Fertigungstechnologie für mikroelektronische Systeme erlauben mittlerweile, hochkomplexe Systeme auf einem Chip zu realisieren. Solche Systeme, die in der Regel verschiedene Komponenten, wie zum Beispiel…

Bettina Martelli

Leitlinien einer Methodik zur Validierung und zum Vergleich von kognitionswissenschaftlichen Modellen

am Beispiel der Helligkeitswahrnehmung

Hamburg 1999, Band 45

In dieser Arbeit werden theoretische und methodische Grundlagen für die Validierung und den Vergleich von kognitionswissenschaftlichen Modellen gelegt und praktisch angewendet. Die Autorin behandelt dabei den speziellen Fall von Modellen der…

Joachim Engel

Tree Structured Function Estimation with Haar Wavelets

Hamburg 1999, Band 44

Baumstrukturierte Methoden sind ein sehr nützliches Werkzeug zur statistischen Analyse hochdimensionaler Daten. Baumdarstellungen sind in der Regel intuitiv, leicht anzuwenden und führen zu übersichtlichen Darstellungen komplexer Datenstrukturen.…

Jinhua Li

Statistische Programmanalyse zur Unterstützung der Wartung objektorientierter Applikationen

Hamburg 1999, Band 43

Heute stellen Softwaresysteme in vielen Unternehmen beachtliche Vermögenswerte dar. Ihre Funktionen sind unverzichtbar für betriebliche Abläufe. Neuentwicklung und Ablösung bestehender Software würde größere Risiken mit sich bringen, als die…

Jan Lichtermann

Eine Architektur zur Echtzeitvisualisierung von Volumendaten

Hamburg 1999, Band 42

Die Visualisierung von Volumendaten in Echtzeit mittels des elementebasierten Verfahrens Ray-casting erfordert sehr hohe Rechenleistung und Speicherbandbreite, die mit einer universellen Monoprozessorarchitektur nicht realisierbar sind. Nach…

Ralf Schneider

Verfahren zur effizienten Zellularen Verarbeitung

Hamburg 1999, Band 41

Ausgehend von bekannten Optimierungsverfahren für die Zellulare Verarbeitung wird ein Verfahren vorgestellt, welches eine Beschleunigung des Berechnungsprozesses in der zellularen Verarbeitung für verschiedene Modelle und Rechensysteme erlaubt.…

Sadegh Sadeghipour

Testing cycling software components of reactive systems on the basis of formal specifications

Hamburg 1999, Band 40

Testing is the primary method through which the producer of software and the user or customer gain confidence that the software will work as intended or specified. Using formal methods, which is highly recommended by safety standard and legal…