Das Thema "Messen" erläutert die Theorie des Messens und gibt einen Überblick darüber, welche Maße im Umfeld des Software Engineering eine Rolle spielen.
Mit Hilfe der Verifikationstechnik Model Checking ist es möglich, die Modellierung eines Systems daraufhin zu überprüfen, ob sie die Eigenschaften aus einer bestimmten Spezifikation erfüllt (...)
Die Modellbildung ist ein typischer Abstraktionsprozess in der Informatik und der Mathematik, mit dem man versucht, die Komplexität eines Systems auf ein „bewältigbares“ Maß zu reduzieren.
Der Prozess zur Durchführung einer Software-Produktanalyse lässt sich hinsichtlich verschiedener Phasen unterteilen. Jede dieser Phasen ist durch verschiedene Aktivitäten gekennzeichnet, die explizit erläutert werden.
Software Inspektion ist eine statische Methode zur Softwarequalitätsverbesserung und Fehlerkostenreduktion. Dabei wird ein Softwaredokument von einem oder mehreren Inspektoren auf Fehler oder Mängel hin untersucht.
Mit Hilfe der vom OFFIS und der Universität Oldenburg entwickelten Verifikationsumgebung für Statemate kann die Erfüllung der Anforderungen einer in Symbolic Timing Diagrams vorliegenden Spezifikation durch ein als State-Chart vorliegendes (...)
Unter Theorem Proving versteht man den Beweis der Korrektheit von Programmen bezüglich einer mathematisch formulierten Spezifikation. Der Korrektheitsbeweis erfolgt auf der Grundlage von formalen (...)
Durch eine (formale) Verifikation im Software- und Hardwareengineering wird die Übereinstimmung der Eigenschaften der erstellten Entitäten (z.B. Dokumente, Modelle, Implementierung) einer (Entwicklungs-)Phase gegenüber der nächsten sichergestellt (...)
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights 
Messen-Einstieg
Produktlinien-Architektur
Prozess der Qualitätsanalyse - Überblick