Obwohl der entscheidende Einfluss der Software-Qualität auf die Produktivität der Wartung und Weiterentwicklung von Software-Systemen allgemein akzeptiert ist, werden Qualitätsaspekte, speziell bei der Entwicklung unter hohem Zeitund Kostendruck, oft vernachlässigt. Zur Durchführung kosteneffizienter, kontinuierlicher Qualitätssicherungsmaßnahmen bedarf es daher der Unterstützung durch Werkzeug...

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...

Zusammenfassung: Daten stellen die wichtigste Grundlage für Entscheidungen dar. Aber die meisten Unternehmen nutzen diese wertvollen Informationen nicht zur Entscheidungsfindung. Dabei liefert die Analyse, Verteilung und Anwendung von Wissen einen entscheidenden Wettbewerbsvorteil. Stetig anwachsende Berge unterschiedlichster Daten erschweren die Umwandlung in nutzbare, strukturierte Informatio...

Die Modernisierung von Benutzeroberflächen ist ein wichtiges Thema in Softwaremigrationsprojekten. Dabei beschleunigt der Einsatz von Tools das Projekt und gestaltet es kostengünstiger. Gegenstand der folgenden Ausführungen ist MaTriX 1, ein Werkzeug für die Entwicklung und Modernisierung von Bildschirmmasken unter Beibehaltung der verarbeitenden Serverprogramme sowie der Middleware und unter V...

Mit der vorliegenden Arbeit wird eine Verbesserung des MAGIC (Manual And Gaze Input Cascaded) Pointing vorgestellt. Die Idee hinter dem MAGIC-Pointing ist die Positionierung des Mauszeigers auf die Blickposition auf dem Bildschirm bei der ersten Bewegung der Maus nach einer Ruhephase. Die Problematik beim MAGIC-Pointing liegt darin, dass die initiierte Mausbewegung dazu führt über das Ziel hina...

Syntheses of neutral 'buS2'-, 'S /and 'buS4'and of anionic buS: -complexes with various main group and transition metals are described. The complexes were prepared by reacting the neutral sulfur ligands or their alkali salts with the metal halide or alkoxide. The ligands coordinate to metal ions in normal as well as high oxidation states. No redox reactions occur in the latter case. The complex...

This letter suggests that in biological organisms, the perceived structure of reality, in particular the notions of body, environment, space, object, and attribute, could be a consequence of an effort on the part of brains to account for the dependency between their inputs and their outputs in terms of a small number of parameters. To validate this idea, a procedure is demonstrated whereby the ...

Steigende Anforderungen an den Landwirt, den Produktionsprozess landwirtschaftlicher Basisprodukte immer detaillierter zu dokumentieren, erfordern umfangreichere und lückenlosere Datenerhebung und –haltung denn je zuvor. In Folge dessen steigt die Notwendigkeit für einerseits einfach zu handhabende, möglichst automatisiert arbeitende Systeme zur Erhebung von Dokumentationsdaten bereits bei der ...