Signal Detection using Disproportionality Analysis

Die Wiederholbarkeitsgrenze, [latex]r[/latex], ist ein kritischer Wert, der von der Wiederholbarkeitsstandardabweichung ([latex]s_r[/latex]) abgeleitet ist. Sie stellt die maximal zu erwartende absolute Differenz zwischen zwei einzelnen Prüfergebnissen dar, die unter Wiederholbarkeitsbedingungen mit einer Wahrscheinlichkeit von 95% erzielt werden. Sie wird üblicherweise berechnet als [latex]r = 2,8 \mal s_r[/latex]. Wenn die Differenz [latex]r[/latex] übersteigt, gelten die Ergebnisse als verdächtig.

Das Spiralmodell ist ein risikoorientiertes Softwareentwicklungsprozessmodell, das Elemente des Prototypings und des Wasserfallmodells kombiniert. Es handelt sich um eine Art iterativer Entwicklung, bei der das Projekt in jeder Iteration (Spirale) vier Phasen durchläuft: Ziele festlegen, Risiken identifizieren und beheben, entwickeln und testen sowie die nächste Iteration planen. Der Schwerpunkt liegt auf der kontinuierlichen Risikoanalyse.

Jakob Nielsen, ein bekannter Usability-Berater, vor allem in den Bereichen UI und Webdesign, definierte Usability anhand von fünf Qualitätskomponenten: Erlernbarkeit (wie leicht ist es für Benutzer, grundlegende Aufgaben beim ersten Mal zu erledigen?), Effizienz (wie schnell können sie einmal erlernte Aufgaben erledigen?), Einprägsamkeit (können Benutzer ihre Kenntnisse nach einer Zeit der Nichtbenutzung wiederherstellen?), Fehler (wie viele Fehler machen Benutzer?) und Zufriedenheit (wie angenehm ist die Nutzung?).

Die internationale Norm ISO 9241-11 definiert Usability als das „Ausmaß, in dem ein Produkt von bestimmten Benutzern in einem bestimmten Nutzungskontext effektiv, effizient und zufriedenstellend genutzt werden kann, um bestimmte Ziele zu erreichen.“ Diese Definition bietet einen Rahmen für die Messung der Usability, indem sie diese in drei verschiedene, quantifizierbare Komponenten unterteilt und so über rein subjektive Bewertungen hinausgeht.

Unter formaler Verifikation versteht man den Einsatz mathematischer Methoden, um die Korrektheit des Entwurfs eines Systems in Bezug auf eine formale Spezifikation zu beweisen oder zu widerlegen. Im Gegensatz zum Testen, das nur das Vorhandensein von Fehlern für bestimmte Eingaben nachweisen kann, kann die formale Verifikation das Fehlen von Fehlern für alle möglichen Eingaben beweisen. Sie umfasst die Erstellung eines formalen Modells des Systems und die Anwendung von Techniken wie Model Checking oder Theorem Proving.

BFT (Akronym für Byzantine Fault Tolerance) ist eine Eigenschaft eines Systems, die es ihm ermöglicht, auch dann korrekt zu arbeiten und einen Konsens zu erreichen, wenn einige seiner Komponenten auf willkürliche, unvorhersehbare Weise ausfallen, einschließlich böswilligen Verhaltens (byzantinische Ausfälle). Dies ist eine viel stärkere Garantie als das Tolerieren einfacher Ausfälle. Es sind mindestens [latex]3f+1[/latex] Gesamtkomponenten erforderlich, um [latex]f[/latex] fehlerhafte, böswillige Komponenten zu tolerieren.

RAID (acronym of Redundant Array of Independent Disks) is a data storage virtualization technology that combines multiple physical disk drives into one or more logical units for data redundancy, performance improvement, or both. Different RAID levels provide varying balances of reliability, availability, performance, and capacity. For example, RAID 1 mirrors data across two disks, while RAID 5 stripes data and parity across at least three disks.

Agiles Projektmanagement ist ein iterativer Ansatz zur Umsetzung eines Projekts über seinen gesamten Lebenszyklus. Große Projekte werden dabei in kleinere, überschaubare Aufgaben unterteilt, die in kurzen Iterationen oder „Sprints“ abgeschlossen werden. Dies ermöglicht eine regelmäßige Neubewertung, Anpassung von Plänen und Flexibilität bei der Reaktion auf Veränderungen. Die Zusammenarbeit mit dem Kunden, funktionierende Software und die Reaktion auf Veränderungen haben dabei Vorrang vor umfassender Dokumentation und starren Plänen.