Wissenschaftliche LiteraturSystemInformatik

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…

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…

Jan-Hendrik Dörner

Personalisierung im Internet

Persönliche Empfehlungen mit Collaborative Filtering

INTERNET – Praxis und Zukunftsanwendungen des Internets

Das Buch thematisiert die grundlegenden Fragen rund um die Personalisierung im Internet. Dabei wird insbesondere auf die Gegenstände, den Ablauf, die Möglichkeiten und die Funktionsweisen eingegangen. Im Fokus steht dabei die State-of-the-Art Technologie der Personalisierung: Das Collaborative Filtering. …

Helmut Wächter

Fehlertolerantes Workflow-Management

Eine Architektur für die zuverlässige Ausführung verteilter Geschäftsprozesse

Studien zur Wirtschaftsinformatik

Gegenstand dieser Arbeit ist die zuverlässige Ausführung von langandauernden Geschäftsprozessen auf Datenbanken und anderen gemeinsam genutzten Ressourcen. Bei komplexen Produkten kann sich beispielsweise der Prozess Auftragsabwicklung von der Anfrage eines Kunden über die Angebotserstellung, Vorbereitung…

Karl A. Schniz

Zur prozessorientierten Analyse interaktiver Gefechtssimulationen

Forschungsergebnisse zur Informatik

Interaktive Gefechtssimulationen modellieren komplexe militärische Abläufe und erzeugen während des Simulationslaufs einen umfangreichen Satz verschiedenster Ereignisdaten; die Möglichkeit des steuernden Eingriffs in den Simulationslauf durch den Anwender (interaktive Steuerung) erhöht die Komplexität und stellt…

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

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…

Uwe Langer

Ein Konzept zur entwurfsbegleitenden Leistungsanalyse von Rechensystemen

Forschungsergebnisse zur Informatik

Kurze Innovationszyklen und die ständig wachsende Komplexität von Rechensystemen erfordern eine möglichst frühzeitige Aufdeckung von Entwurffehlern und Leistungs-Engpässen. Daher sind entwurfsbegleitende quantitative Leistungsanalysen meist zu spät in den Entwurfsprozess einbezogen und unvollständig oder auch…

Rudolf Keller

Prototypingorientierte Systemspezifikation

Konzepte, Methoden, Werkzeuge und Konsequenzen

Forschungsergebnisse der Programmentwicklung

Die Ermittlung, Beschreibung und Analyse der Anforderungen an Softwaresysteme ist aufwendig und fehleranfällig, die Kommunikation zwischen Entwicklern und Benutzern ist oft ungenügend und häufig wird das Falsche spezifiziert. Es wird gezeigt, dass mit Prototyping ein wesentlicher Beitrag zur Lösung dieser Probleme…

Jan-Juan Hiemer

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…