Entwurf -> Qualitätsanalyse und Evaluation
Eintrags-ID: 4506
Externe Quellen zum Thema NEU: Externe Quellen zum Thema suchen 
 Derzeit sind 10 Einstiege in dieser Kategorie verzeichnet
Verfahren
Verfahren - Methode/Technik Messen-Einstieg
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.
Verfahren - Methode/Technik Metrikbasierte Qualitätsanalyse - Einstieg
Die Metrikbasierte Qualitätsanalyse ist ein Verfahren, das eine objektive und effektive Einschätzung der Qualität großer Software-Systeme erlaubt.
Verfahren - Methode/Technik Model Checking
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 (...)
Verfahren - Methode/Technik Modellbildung
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.
Verfahren - Aktivität Produktlinien-Architektur
Das Design einer Produktlinienarchitektur bestimmt die Struktur der Produkte einer Produktlinie
Verfahren - Prozessmuster Prozess der Qualitätsanalyse - Überblick
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.
Verfahren - Prozessmuster Software Inspektionen
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.
Verfahren - Methode/Technik Statemate Verifikation
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 (...)
Verfahren - Methode/Technik Theorem Proving
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 (...)
Verfahren - Methode/Technik Verifikation (formal)
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 (...)

 
Zum Seitenanfang Top Drucken Impressum AGB
Home

VSEK ©2001-2018