Wissenschaftliche Literatur Programmierung

Jinhua Li

Statistische Programmanalyse zur Unterstützung der Wartung objektorientierter Applikationen

Forschungsergebnisse zur Informatik

Heute stellen Softwaresysteme in vielen Unternehmen beachtliche Vermögenswerte dar. Ihre Funktionen sind unverzichtbar für betriebliche Abläufe. Neuentwicklung und Ablösung bestehender Software würde größere Risiken mit sich bringen, als die Wartung bestehender Software. Diese Situation macht eine verbesserte Unterstützung der Softwarewartung durch entsprechenden Methoden und Werkzeuge immer dringlicher. Mit der Ausbreitung der Objektorientierung stellt sich die gleiche…

Kai-Olaf Kruse

Anreizsysteme in Abnehmer-Zulieferer-Kooperationen

Schriftenreihe innovative betriebswirtschaftliche Forschung und Praxis

Unternehmen haben sich in jüngster Vergangenheit auf Ihre Kernkompetenzen beschränken müssen. Nun werden in größerem Umfang Fremdfirmen in den Wertschöpfungsprozess einbezogen, um deren Know-how-, Spezialisierungs-, Effizienz- und Flexibilitätsvorteile zu nutzen. Die Auslagerung von Kompetenzen bedeutet aber, dass sich Abnehmer und Zulieferer in die verstärkte Abhängigkeit langfristiger Kooperationsbeziehungen mit hohen spezifischen Investitionen begeben. [...]

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…

Claudia Oertel

Betriebsaufgabe und Rückzugsstrategien in der Landwirtschaft

Schriftenreihe agrarwissenschaftliche Forschungsergebnisse

Agrarstruktureller Wandel und fortlaufender Anpassungsdruck auf die landwirtschaftlichen Unternehmen rücken die Betriebsaufgabe bzw. den sukzessiven Rückzug aus der landwirtschaftlichen Produktion als eine Option für die Betriebsplanung immer stärker in den Vordergrund. Die vorliegende Arbeit enthält sowohl einen inhaltlichen Überblick über die landwirtschaftliche Betriebsaufgabe als auch ein Konzept für einen Planungsansatz im Sinne eines "Betriebsabwicklungsplanes". Im…

Peter E. H. Hofmann

Entwicklung objektorientierter Konzepte zur Erstellung paralleler und verteilter Systeme des rechnergestützten Schaltungsentwurfs

Forschungsergebnisse der Programmentwicklung

Der rechnergestützte Entwurf von integrierten Schaltungen muss vor allem die ständige Weiterentwicklung der Schaltkreistechnologie berücksichtigen. Durch immer feinere Strukturgrößen bei gleichzeitig zunehmender Chipfläche wurde es möglich, immer umfassendere und komplexere Schaltungen auf einem Chip zu integrieren. Bei diesem Prozess spielen die Entwurfswerkzeuge eine zentrale Rolle; ohne ihre Unterstützung wäre die Entwicklung höchstintegrierter Schaltungen nicht…

Manuel Castaneda-Falcon

Minimale spannende Aborescencen mit Zeitfenstern

Heuristische Verfahren und untere Schranken

Schriftenreihe naturwissenschaftliche Forschungsergebnisse

In dieser Arbeit werden Verfahren vorgestellt, um Schranken für die Gesamtsumme der Kantenbewertungen eines MSAZF (minimaler spannender Arborescence mit Zeitfenstern) zu bestimmen: Ein heuristisches Verfahren und Verfahren zur Bestimmung von unteren Schranken.

Zuerst werden die für diese Arbeit notwendigen Grunddefinitionen bei endlichen Graphen angegeben. Anschließend werden einige bekannte Lösungsverfahren für das MST-Problem sowie für das MSA-Problem…

Marion Kremer

Entwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler Semantikbeschreibungen

Forschungsergebnisse zur Informatik

Da Software in zunehmendem Maße auch in sicherheitsrelevanten Anwendungen eingesetzt wird, steigt der Bedarf an Software-Prüfung, die über das Testen hinausgeht. In dieser Arbeit wird ein System zur Prüfung von mit Zusicherungen angereicherten Programmen entwickelt, dessen Kern konstant ist und bei dem die sprachspezifischen Anteile aus der für die Erstellung eines Compilers vorhandenen Sprachbeschreibung generiert werden können. Die Grundidee für ein solches System…

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 Ableitungen und Graph–Sprachen, die zur Klassifikation der nachfolgenden Layout–Probleme herangezogen werden. [...]

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 auf methodische Art und Weise zu unterstützen. Das Ziel ist dabei nicht nur die methodische Implementierung einer bestimmten Funktionalität, sondern besonders…

Jutta Otto

Lebensqualität im Alter

Wege zur Verringerung des Pflegerisikos

Studien zur Gerontologie

Der selbstbestimmte Lebensvollzug ist einer der wichtigsten Aspekte des Lebens und vor allem des Alterns. Die Autorin befasst sich mit dem selbstbestimmten Lebensvollzug als dem wohl wichtigsten Kriterium zur Verringerung des Pflegerisikos. Dazu werden Faktoren in einen Zusammenhang gebracht, die sonst eher isoliert betrachtet werden. Jedoch erst ihre Verknüpfung gibt praktische und nützliche Hinweise auf eine Verbesserung der Lebensqualität im Alter für jedermann. …