Wissenschaftliche LiteraturInformatik

Thomas Dettmer

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…

Timo Hickl

Rechtwinkliges Layout von hierarchisch strukturierten Graphen

Forschungsergebnisse zur Informatik

Zunächst führt Hickl in alle graphentheoretischen und geometrischen Begriffe ein, die zur Beschreibung des Ansatzes nötig sind. Sodann befaßt er sich mit Graph–Grammatiken, insbesondere mit Ableitungen in Graph–Grammatiken, der Sprache einer Graph–Grammatik und speziellen Eigenschaften von…

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,…

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…

Thomas Tolxdoff

Wissensbasierte Bildanalyse in der Diagnostik von Knochenprozessen

HIPPOKRATES – Schriftenreihe Medizinische Forschungsergebnisse

Dieses Buch befasst sich mit dem Problembereich der wissensbasierten, rechnergestützten Bildanalyse. Die dargestellten Anwendungsfelder sind Bilder oder Bildfolgen der klinischen Radiologie. Es wird sowohl die rechnergestützte Bildanalyse beschrieben als auch eine spezielle Anwendung in der medizinischen…

Frank Rabe

Schnelle Bilddatenkompression für Raumfahrtanwendungen

Forschungsergebnisse zur Informatik

Der Autor beschreibt ein spezialisiertes Verfahren zur Kompression der Bilddaten einer CCD-Kamera. Es wird bei der wissenschaftlichen Weltraummission Cassini zum Planeten Saturn eingesetzt (Start geplant für 1997). Sämtliche Darstellungen werden am Beispiel der DISR-Kamera der europäischen Cassini-Huygens-Probe zum…

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…

Stella Gatziu

Events in an Active, Object-Oriented Database System

Studien zur Datenbankforschung

Neue Entwicklungen der Datenbanktechnologie haben häufig zum Ziel, mehr Umweltsemantik in der Datenbank selbst modellieren zu können. Aktive Datenbanksysteme sind Repräsentanten für dieses Bestreben; sie sind in der Lage, zusätzlich zu den bekannten Fähigkeiten eines konventionellen Datenbanksystems definierte…

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…

Andreas Geppert

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…