Wissenschaftliche LiteraturModellInformatik

Unscharfe Validierung strukturierter Daten

Ein Modell auf der Basis unscharfer Logik

Kölner Beiträge zu einer geisteswissenschaftlichen Fachinformatik

Die unscharfe Logik ist eine Erweiterung der klassischen zweiwertigen Logik. Zusätzlich zu den Wahrheitswerten „wahr“ und „falsch“ werden in der unscharfen Logik Wahrheitsgrade eingeführt, die einen stufenlosen Übergang von „wahr“ zu „falsch“ ermöglichen. Bildhaft gesprochen unterscheidet die klassische Logik die…

Digitale Daten als Quelle der Geschichtswissenschaft

Eine Einführung

Kölner Beiträge zu einer geisteswissenschaftlichen Fachinformatik

Quellen sind das tägliche Brot des Historikers. In Computersystemen liegen sie ihm in digitaler Form vor. Diese Systeme werden durch Konzepte der Informatik gesteuert. Hier wird die Frage beantwortet, was ein Historiker von Informatik verstehen muss, um seine Arbeit an digitalen Quellen ausführen zu können. Wie…

Organisation der Unternehmensarchitektur

Entwicklung der aufbau- und ablauforganisatorischen Strukturen unter besonderer Berücksichtigung des Gestaltungsziels Konsistenzerhaltung

Studien zur Wirtschaftsinformatik

Unternehmen sehen sich seit einigen Jahren permanenten Veränderungen ihrer gesellschaftlichen und wirtschaftlichen Rahmenbedingungen ausgesetzt. Infolgedessen müssen sie ihre Strategie in regelmässigen Abständen anpassen und die Unternehmensstrukturen, d. h. die internen Prozesse und Organisationsstrukturen sowie…

Ein Modell zur Repräsentation binokularer Information

Forschungsergebnisse der Programmentwicklung

In dieser Arbeit werden zweidimensionale Repräsentationen binokularer Informationen erzeugt und untersucht. Sie werden nach Prinzipien organisiert, die bei der frühen visuellen Informationsverarbeitung im Cortex gefunden werden. Die Erzeugung künstlicher neuronaler Karten ermöglicht einerseits den qualitativen…

Ordnungsrahmen zur prozessorientierten Organisationsgestaltung

Modelle für das Management komplexer Reorganisationsprojekte

Studien zur Wirtschaftsinformatik

Prozessmanagement ist eines der meist genannten Schlagwörter, wenn die Sprache auf die Optimierung von Abläufen in Unternehmen kommt. Unter dieser Überschrift findet man eine Vielzahl von einzelnen Ansätzen, welche jeweils ein Teilgebiet mehr oder minder intensiv behandeln. In der Regel fehlt aber eine…

Ein Modell für CAD-Entwurfsumgebungen

Beschreibung und Formalisierung wesentlicher Konzepte auf der Basis von Hypermedia

Forschungsergebnisse zur Informatik

Dieses Buch präsentiert ein formales Modell zur Verwaltung der Entwurfsdaten mikroelektronischer Systeme. Das vorgestellte Modell kann als Grundlage für die Entwicklung von Frameworks und Entwicklungsumgebungen verwendet werden. Im Gegensatz zu anderen Ansätzen bestimmen die Bedürfnisse von Benutzern die…

Integrating Smart Devices in Java Applications

Forschungsergebnisse zur Informatik

This book deals with the question of how to integrate Smart Devices in Java applications. Therefore, it provides a motivation why Smart Devices should be integrated in Java applications. This motivation basically looks at the CSCL/CSCW domain and uses the latest research in this domain to motivate the necessity of…

Statecharts in CSP

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

Forschungsergebnisse zur Informatik

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 unterstützt wird. Bei der bestehenden Komplexität der Softwaremodelle…

Methodical Construction of Database Management Systems

Studien zur Datenbankforschung

Datenbankverwaltungssysteme (DBVSe) spielen eine immer größere Rolle in der Datenverarbeitung von Organisationen. Sie dringen in immer neue Bereiche vor, und ihre Funktionalität wird zunehmend erweitert. Angesichts der deshalb "großen" Anzahl zu realisierender DBVSe ist es ein dringendes Problem, ihre Konstruktion…

Implizite Darstellung von Parallelität auf der Ebene des Programmiermodells

Forschungsergebnisse der Programmentwicklung

Das Buch hat die Beschreibung und Darstellung von Parallelität als eine der zentralen Aufgaben bei der parallelen Programmierung zum Gegenstand. Zur Zeit ist die parallele Programmierung noch geprägt durch eine komplexe und sehr fehleranfällige Programmierweise. Der parallele Ablauf wird in allen Einzelheiten durch…