Informationswissenschaft
Wissenschaftliche Fachliteratur
Falls bei Ihnen die Veröffentlichung der Dissertation, Habilitation oder Masterarbeit ansteht, kontaktieren Sie uns jederzeit gern.
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, die in Form von Bibliotheken bereitgestellt werden. Selbst unter Verwendung solcher Toolkits gestaltet sich der Entwurfsprozess äußerst kompliziert. Daher […]
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 Programmtransformation approximativ bestimmt und zugehörige Annotationen in das zu übersetzende Quellprogramm eingebettet. [...]
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 vergangenheitsbezogene Operationen wie previous und always-in-the-past berücksichtigt.
Zu diesem Zweck wird zunächst die Temporallogik EITeL […]
Martin Kramer
Ein planungsorientiertes Betriebssystemmodell
Forschungsergebnisse zur Informatik
Der kostenintensivste Teil bei früher eingesetzten Computern war die jeweils benötigte Rechenzeit. Daher wurde bei der Entwicklung von Programmsystemen jeder Art auf alles verzichtet, was nur den Rechenzeitbedarf erhöhte und nicht zur gewünschten Funktionalität beitrug. Dieser Vorgabe fiel natürlich zuerst der Bedienungskomfort zum Opfer. Darüber hinaus wurde bei der Weiterentwicklung der Hard- und Software oft auf die Integration neuer Möglichkeiten verzichtet, um […]
Sabine Kämper
PEGROS
Ein Konzept zur Entwicklung eines graphischen, objektorientierten Modellbildungs- und Simulationswerkzeugs auf der Basis von Petri-Netzen
Forschungsergebnisse zur Informatik
Sabine Kämper will Modellentwicklern aus unterschiedlichen Anwendungsbereichen ein methodisch fundiertes Werkzeug zur Verfügung stellen. Das Ziel ihres Buches ist es, mit PEGROS ein Modellbildungs- und Simulationswerkzeug zu entwickeln, das besonders den unerfahrenen Anwender in systematischer Weise im Modellbildungsprozeß unterstützt und darin eine echte Alternative zu seiner bisherigen Praxis bietet.
Das Werkzeug sollte neben einer kurzen Einarbeitungszeit ein […]
Rudolf Jäger
Computer-Kommunikation für lokale Rechnernetze
Leistungsbewertung und Verbesserung der Realzeiteigenschaften bei Tokenbus-basierten LANs
Forschungsergebnisse zur Informatik
Das Buch befaßt sich mit Leistungsuntersuchungen des Mediumzugriffsverfahrens, wie es für das Manufacturing Automation Protocol (MAP) vorgeschlagen wurde.
Lokale Rechnernetze haben für die Verbindung der unterschiedlichen Komponenten, wie sie in einer Automatisierungsumgebung zu finden sind, eine besondere Bedeutung erlangt. In einem Netzwerk, in dem realzeitkritische Anwendungen abgewickelt werden sollen, müssen die auftretenden Kommunikationszeiten […]
Marcus Deininger
Quantitative Erfassung der Software und ihres Entstehungsprozesses
Forschungsergebnisse der Programmentwicklung
Auch 25 Jahre nach „Erfindung" des Software Engineerings sind die damit verbundenen Ziele noch nicht annähernd erfüllt. Die besonderen Eigenschaften des Produkts Software verhindern die erwartete einfache „Übertragung ingenieurmäßiger Prinzipien auf die Software-Entwicklung. Mehr als jedes andere industrielle Produkt entzieht sich Software (und ihr Entwicklungsprozess) unserer Wahrnehmung und Kontrolle. Dieser fehlende Einblick ist eine der Ursachen der Software-Krise. […]
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 Datenbank abgelegten Informationen einem Benutzer auch angemessen zugänglich macht. Das relationale Datenmodell stellt nur sehr eingeschränkte Möglichkeiten zur […]
Wilhelm Hasselbring
Prototyping Parallel Algorithms in a Set-Oriented Language
Forschungsergebnisse der Programmentwicklung
In diesem Buch wird der Entwurf und die Implementation eines Ansatzes zum Prototyping paralleler Algorithmen in der mengenorientierten Sprache ProSet präsentiert. Für eine Prototyping-Sprache ist es notwendig, zum Prototyping paralleler Algorithmen einfache, aber mächtige Konstrukte zur dynamischen Prozesskreation und zur Koordination paralleler Prozesse zur Verfügung zustellen.
Parallele Programmierung ist konzeptionell schwieriger durchzuführen und zu […]
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 Zusammenhänge lässt sich gerade bei den heute vorherrschenden integrierten Informationssystemen kaum noch überblicken. Dadurch wird insbesondere die lange […]