Wissenschaftliche LiteraturModellInformatik

Margita Altus

Decision Support for Conceptual Database Design Based on the Evidence Theory

An Intelligent Dialogue Interface for Conceptual Database Design

Forschungsergebnisse zur Informatik

The aim of this work is to present a database design information system, which integrates two important cornerstones of communication. On the on side, it provides an intelligent dialogue interface for conceptual database design; the interactive behaviour of a design dialogue interface facilitates the communication…

Heike Wenzel-Däfler

Reverse Business Engineering

Ableitung von betriebswirtschaftlichen Modellen aus produktiven Softwarebibliotheken

Studien zur Wirtschaftsinformatik

Je mehr sich betriebswirtschaftliche Standardanwendungssysteme durchsetzen, desto öfter vernimmt man auch "Klagen" der Anwender und Systemverantwortlichen: Komplexe und teure Einführungsprozesse, fehlende Übersicht, mangelndes Wissen über die Arbeitsweise des Systems und Schwierigkeiten bei der Anpassung werden…

Thomas Kunstmann

Rechnergestützte Simulation und Planung auf der Grundlage von Tabellenkalkulation

Forschungsergebnisse zur Informatik

Tabellenkalkulationsprogramme werden heute oft zur Simulation und Planung eingesetzt. Da sie dafür aber ursprünglich nicht vorgesehen waren, haben sie in diesem Bereich einige Beschränkungen.

In dieser Arbeit werden diese Beschränkungen analysiert und wird mit dem Ergebnis ein leistungsfähiges Simulations-…

Chun Du

RelCAD: A Relational CAD System with Constraint-Based Geometric Modelling

Forschungsergebnisse zur Informatik

Most conventional CAD systems have been proved to be Computer-Aided Drafting systems. They do not offer sufficient support for the design activity. The reason is that they cannot understand the semantic information and keep the semantic information throughout the whole design process. The semantic information here…

Silvia Brink

Evaluation hypertextbasierter Lernumgebungen

Anforderungsanalyse, theoretisches Modell und exemplarische Umsetzung

Studien zur Wirtschaftsinformatik

Moderne Informations- und Kommunikationstechnologien verändern in Kombination mit neuen lern- und motivationstheoretischen Erkenntnissen immer stärker die Praxis des Lernens. Traditionelle Formen der Wissensvermittlung werden durch computer- und telekommunikationsunterstützte Formen unterstützt und teilweise sogar…

Ruggero Costantini

Abstraktion in ereignisbasierten Modellen verteilter Systeme

Ein Beitrag zum formalen Entwurf verteilter Systeme

Forschungsergebnisse zur Informatik

Der Entwurf und die Verifikation verteilter Systeme stellen den Entwicklungsingenieur immer noch vor große Probleme. Das komplexe parallele Verhalten solcher Systeme entzieht sich wegen der Nicht-Determiniertheit der zeitliche Abläufe der menschlichen Vorstellungskraft. Der korrekte Entwurf bzw. die Verifikation…

Leo Brecht

Process Leadership

Methode des informationssystemgestützten Prozessmanagement

Studien zur Wirtschaftsinformatik

Ansprüche auf Qualität und Preis allein genügen nicht mehr, um im globalen Wettbewerb bestehen zu können. Entscheidend ist, wie sich Unternehmen hinsichtlich Service, Liefergeschwindigkeit und Erfüllung spezifischer Kundenwünsche positionieren. Nationale Märkte sind nicht länger geschützt. Der jeweils beste setzt…

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…

Reiner Abel

Spieltheoretische Modelle zur Optimierung von stichprobenartigen Vor-Ort-Inspektionen

Studien zur Wirtschaftsinformatik

Vertraglich geregelte Vereinbarungen ziehen die Notwendigkeit einer Verifikation der Einhaltung aller hierdurch von den beteiligten Parteien eingegangenen Verpflichtungen nach sich. Ausschließlich mit Hilfe einer formalen Verifikationsmethode als quantitativer Basis ist die Analyse optimaler Inspektionsverfahren…

Martin Härtig

Objektorientierte Integration von autonomen Datenhaltungssystemen

Studien zur Datenbankforschung

In vielen Einsatzbereichen der Informatik müssen Anwendungen heute Daten aus mehreren eigenständigen Datenbasen bearbeiten und verknüpfen. Da hierbei meist verschiedenste Datenhaltungssysteme - von Dateisystemen über konventionelle bis hin zu fortgeschrittenen objektorientierten Datenbanksystemen - im Spiel sind,…