Wissenschaftliche LiteraturInformatik

Jürgen Dammert

Plattformübergreifende Konstruktion graphischer Benutzeroberflächen

Forschungsergebnisse der Programmentwicklung

Beim Entwurf graphischer Benutzeroberflächen lassen sich drei wesentliche Problembereiche unterscheiden: Fenstersysteme, Entwurfswerkzeuge und Entwurfsmethoden. Fenstersysteme bilden die Grundlage von graphischen Benutzeroberflächen. Dabei kommen häufig Toolkits mit vorgefertigten Oberflächenelementen zum Einsatz,…

Tobias Helbig

Kommunikation und Synchronisation multimedialer Datenströme in verteilten Systemen

Forschungsergebnisse zur Informatik

Durch Fortschritte in der Kommunikations- und Computertechnik wird die Einbeziehung von Audio- und Videodaten in Computeranwendungen möglich. Beispiele hierfür sind Telekonferenzanwendungen am Arbeitsplatz oder die Verarbeitung von digitalem Filmmaterial in Studios. Der Entwurf und die Implementierung solcher…

Bernhard Malle

Ein Beitrag zur Langzeitarchivierung von Produktdaten

Studien zur Wirtschaftsinformatik

Die zunehmende CA-Durchdringung und die erforderliche Aufbewahrung der CA-Daten über Jahrzehnte hinweg verschärfen das Archivierungsproblem. Die Archivierung wurde bei der Entwicklung von CA-Systemen vernachlässigt. Die verbreitete Methode, CA-Daten in den systemspezifischen Datei-Formaten abzulegen, sichert keine…

Jörg Röhrle

Ein regelbasierter Testdatengenerator für das Rapid Prototyping von Datenbankanwendungen

Studien zur Datenbankforschung

Die Unterstützung der Analysephase mittels Rapid Prototyping ist charakterisiert durch die Erstellung von Prototypen, die Aufschluss über nur vage vorhandene Vorstellungen über das zu erstellende Endprodukt geben sollen. Wesentlich bei dieser Vorgehensweise ist die Einbeziehung des Endbenutzers, der durch…

Thomas Fritsch

Neuronale Netze in Planung und Optimierung von mobilen Kommunikationssystemen

Forschungsergebnisse zur Informatik

Thema des Buches ist die Anwendung neuronaler Netze auf Planungsprobleme mobiler Kommunikationssysteme. Deren Planung ist dadurch gekennzeichnet, daß aufgrund von Erfahrungswerten und Expertenwissen bislang nur Speziallösungen für Mobilfunksysteme gefunden werden. Der Autor zeigt die Grundlagen der mobilen…

Werner Hans

Automatische Ausdrucksparallelisierung einer funktional-logischen Programmiersprache

Forschungsergebnisse der Programmentwicklung

Diese Arbeit beschäftigt sich mit der compilergestützten Parallelisierung der funktionallogischen Programmiersprache BABEL. Hiebei werden unter Berücksichtigung der verwendeten Auswertungsstrategie im Parallelisierungsprozess sich gegenseitig nicht-beeinflussende Ausdrücke durch Datenflussanalysemethoden und…

Michael Ryba

Planung und Durchführung methodischer Entwurfsaktivitäten

Forschungsergebnisse zur Informatik

Für den Entwurf integrierter Schaltungen steht eine Vielzahl hochentwickelter rechnergestützter Werkzeuge auf der Basis integrierter Entwurfsumgebungen zur Verfügung. Trotzdem ist auch der rechnergestützte Schaltungsentwurf nicht frei von Problemen.

Einerseits hat die Komplexität integrierter Schaltungen…

Guido Piehlmeier

Spieltheoretische Untersuchung von Problemen der Datenverifikation

Forschungsergebnisse zur Informatik

Ein Datenverifikationsproblem im Sinne der vorliegenden Arbeit ergibt sich aus der folgenden Situation: Eine Vertragspartei (der Inspizierte) verpflichtet sich aufgrund festgelegter Vereinbarungen zu legalem, d.h. zu vertragskonformem Verhalten und berichtet Daten, die dieses legale Verhalten bestätigen sollen.…

Klaus Rinderle

Mehrstufige sequentielle Inspektionsspiele mit statistischen Fehlern erster und zweiter Art

Forschungsergebnisse zur Informatik

In dieser Arbeit werden Überwachungssituationen im Rahmen von vertraglichen Vereinbarungen zwischen einem Inspektor und einem Inspizierten als Inspektionsspiele modelliert und analysiert. Typische Anwendungsmöglichkeiten in der Praxis liegen u.a. im Bereich der Kernmaterialbilanzierung, der Abrüstungskontrolle, der…

Klaus Spies

Transformationsbasierte temporallogische Programmierung

Forschungsergebnisse der Programmentwicklung

IIn dieser Arbeit wird die Möglichkeit der transformationsbasierten temporallogischen Programmierung untersucht. Dabei werden neben den einfacher zu handhabenden deterministischen zukunftsbezogenen Konstrukten wie etwa next sowohl nichtdeterministische Konstrukte wie or und sometimes als auch…