Die Auswirkungen von fehlerhaften Programmabläufen reichen von Fehlern in Berechnungen und falschen Ausgaben bis zum Einfrieren oder Abstürzen des Programms. Bekannt und gefürchtet sind unter anderem Verwendungen von uninitialisierten Variablen oder Zugriffe auf bereits freigegebenen Speicher. Fehlerhafte Synchronisierung von parallelen Zugriffen durch Threads auf gemeinsame Datenobjekte führen...

The abnormal multimeric composition of plasma von Willebrand factor in type IIB von Willebrand's disease is transiently corrected after infusion of 1-deamino-[8-D-arginine]-vasopressin. However, the larger multimers released into the circulation disappear more rapidly in these patients than in type I von Willebrand's disease or normals. We demonstrate that the larger multimers of normal von Wil...

Wir untersuchen die Anwendbarkeit zweier klassischer Skalierungsverfahren (BTLSkalierung und Conjoint-Analyse) auf die Untersuchung ästhetisch motivierter Präferenzen zwischen Benutzungsoberflächen. Die Anwendung beider Verfahren wird jeweils an einer Studie zum Design von Eingabeformularen illustriert. Die Ergebnisse dieser beiden Studien zeigen, dass beide Skalierungsmethoden als effektive Un...

ZUSAMMENFASSUNG In dieser Arbeit präsentieren wir eine Möglichkeit, Funktionalitäten – in diesem Fall primär Indizes – in eine Datenbank einzubringen. Dies geschieht in einer Weise, dass weder die Datenbank noch eine Anwendung, welche die Datenbank nutzt, etwas davon bemerken soll. Auf diese Weise soll die aufwendige Anpassung der Anwendungen an eine zusätzliche Komponente vermieden werden. Zug...

Automatisierungssysteme werden oftmals aus wiederverwendbaren Einheiten diverser Disziplinen wie Mechanik, Hardwareplanung oder Software zusammengesetzt, welche unterschiedliche Granularitäten und Versionszyklen aufweisen. Die Kombinationsmöglichkeiten der Einheiten zu Varianten und deren Versionen sollen dokumentiert und visualisiert werden können. Hierfür bedarf es einer geeigneten Variantenm...

Im Bereich der Programmierung werden komplexe Abläufe als sequentiell angeordnete Programmtexte formuliert. Viele Lernende sind nicht in der Lage, diese Texte unmittelbar als sich dynamisch ändernde Systeme zu interpretieren und scheitern dann bei dem Versuch, komplexe Algorithmen oder Datenstrukturen anhand ihrer Programmtexte zu verstehen. Dieser Beitrag zeigt mit dem Einsatz von Rollenspiele...

Temporale Verifikation von Programmen befasst sich mit der Erstellung von Korrektheitsaussagen über Programmausführungen. Dabei besteht die Hauptherausforderung in der Synthese von geeigneten Hilfsaussagen, welche die Gültigkeit einer temporalen Eigenschaft implizieren. Es existieren bereits Verifikationswerkzeuge, die Sicherheitseigenschaften, d.h. die Abwesenheit von unerwünschten Ereignissen...

Der Beitrag beschreibt die Notwendigkeit zur erweiterten Untersuchung von Vorgehensmodellen und Entwicklungs-Werkzeugen für den Web ServiceKontext, die sich aus der mangelnden Integrationsfähigkeit von Web Services ergibt, die von unabhängigen Organisationen entwickelt werden. Bei der Betrachtung von Web Services als Softwarekomponenten, deren formale oder informale Spezifikation zur ausgelager...

Die Qualitätssicherung von Softwareprodukten kann effizient durch eine Automatisierung von Entwicklungsaktivitäten erfolgen. In meiner Dissertation schlage ich hierzu ein verbessertes modellbasiertes Vorgehen vor. Gegenüber bisher eingesetzten Metamodellierungstechniken erlaubt mein Ansatz eine deutlich mächtigere und kompaktere Form der Multiebenenmodellierung. Zur Realisierung von Modelltrans...

Kurzfassung. Beim Einbringen von Nadeln in Weichgewebe kommt es zu Bewegungen und Deformationen. Diese beeinträchtigen besonders hochaufgelöste Bildgebungsverfahren mit geringer Eindringtiefe wie die optische Kohärenztomographie, die jedoch auch kleine Strukturen auflösen kann und eine Möglichkeit zur ” optischen Biopsie“ darstellt. Die Korrektur von Bewegungsartefakten auf Basis anderer Bildda...