Wissenschaftliche LiteraturSystemInformatik

Wolfram Amme

Datenabhängigkeitsanalyse in Programmen mit Zeigern

Forschungsergebnisse zur Informatik

Die Bestimmung von Datenabhängigkeiten spielt eine entscheidende Rolle in vielen Bereichen der Softwareentwicklung, wie beispielsweise in der Optimierungsphase herkömmlicher Übersetzer oder in der Analysephase von Restrukturierungssystemen. Für die Datenabhängigkeitsanalyse von Programmen, die ausschließlich auf…

Stefan Scherrer

Specification and Prototypical Execution of Integrity Concepts for Domain-Specific Database Management Systems

Studien zur Datenbankforschung

Die Datenqualität ist ein kritischer Erfolgsfaktor in der Informationsverarbeitung. Komponenten in Datenbankver-waltungssystemen (DBVSen), die es dem Anwendungsentwickler erlauben, Integritätsbedingungen zu definieren und die Konzepte für deren Überwachung anbieten, tragen entscheidend zur Sicherung der Qualität…

Bettina Martelli

Leitlinien einer Methodik zur Validierung und zum Vergleich von kognitionswissenschaftlichen Modellen

am Beispiel der Helligkeitswahrnehmung

Forschungsergebnisse zur Informatik

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 Helligkeitswahrnehmung. [...]

Peter Luksch

Parallelisierung ereignisgetriebener Simulationsverfahren auf Mehrprozessorsystemen mit verteiltem Speicher

Forschungsergebnisse zur Informatik

Ziel dieser Arbeit ist es, einen objektiven Vergleich unterschiedlicher Ansätze zur Parallelisierung ereignisgetriebener Simulationsverfahren zu ermöglichen. In der Vergangenheit sind eine Reihe von Parallelisierungsansätzen für die ereignisgetriebene Simulation vorgeschlagen, auf verschiedene Simulationsprobleme…

Rainer Fehling

Hierarchische Petrinetze

Forschungsergebnisse zur Informatik

Ausgehend von Netzmorphismen werden “hierarchische Petrinetze” definiert, die dazu dienen, große dynamische, diskrete Systeme zu modellieren und sie in geeigneten Ausschnitten auf unterschiedlichen Abstraktionsebenen darzustellen. Dies ist nur mit Hilfe eines graphischen Struktureditors möglich, der ein…

Dirk Hoppen

Organisation und Informationstechnologie

Studien zur Wirtschaftsinformatik

Bevor sich das Management eines Unternehmens der Herausforderung stellen kann, eine auf Information basierende Organisation aufzubauen, muß es sich Klarheit darüber verschaffen, welcher Zusammenhang zwischen Organisation (der Tätigkeit des Organisierens) und Informationstechnologie besteht. Diese Frage gewinnt…

Ludger Schäfers

Temporal Modeling in Relational Database-Systems

Studien zur Datenbankforschung

Die Fähigkeit der Modellierung von Zeitaspekten der Realwelt in Datenbanken ist seit längerer Zeit bereits als eine in vielen Anwendungen wichtige Eigenschaft eines Datenmodells erkannt worden. Zu einer solchen Modellierung gehört in jedem Falle auch eine entsprechende Anfragesprache, mit der man die in einer…

Thomas Pálffy

Rechnergestützte Qualitätssicherung im betrieblichen Software-Entwurf

Studien zur Wirtschaftsinformatik

In seiner Studie zeigt Pálffy, wie der Rechner im betrieblichen Software-Entwurf zur Qualitätssicherung eingesetzt werden kann.

Die Hauptschwierigkeit bei der Sicherung der Qualität betrieblicher Software liegt in der Komplexität der entwickelten Informationssysteme. Die Vielzahl der Teilaspekte und ihrer…

Markus Hudec

TEWIDOK II.

Ein computergestütztes theaterwissenschaftliches Dokumentationssystem

Forschungsergebnisse zur Informatik

1.    Einleitung

2.    Datenmodellierung

2.1   Allgemeine Aspekte der Datenmodellierung

2.2   Das konzeptionelle Datenmodell von TEWIDOK II [...]