Testen, Analysieren und Verifizieren von Software—eine klassifizierende Übersicht der Verfahren
P Liggesmeyer - Testen, Analysieren und Verifizieren von Software …, 1992 - Springer
Zusammenfassung Der Einsatz von Computern und Programmen dringt in immer weitere
Bereiche ein, die steigende Anforderungen an die Zuverlässigkeit und Korrektheit der …
Bereiche ein, die steigende Anforderungen an die Zuverlässigkeit und Korrektheit der …
[PDF][PDF] Automatic Test Generation Based on Formal Specifications
M Schmitt - 2003 - Citeseer
Modern telecommunication systems involve complex interactions between distributed
components. Very often, these systems are heterogeneous and their components come from …
components. Very often, these systems are heterogeneous and their components come from …
[PDF][PDF] Protein dynamics in the nucleus: Implications for gene expression
G Ficz - 2005 - scholar.archive.org
2 Materials and methods __________________________________… 6 2.1 Assessment
methods................................................................................................ 6 2.2 LCA …
methods................................................................................................ 6 2.2 LCA …
Szenariobasierte Validierung von Produktprofilen in der Frühen Phase der PGE-Produktgenerationsentwicklung
F Marthaler, V Kutschera, J Reinemann… - … Entwickeln Erleben in …, 2019 - tore.tuhh.de
In der Frühen Phase der PGE-Produktgenerationsentwicklung werden Entscheidungen
unter einem hohen Grad an Unsicherheit getroffen. Gleichzeitig haben diese …
unter einem hohen Grad an Unsicherheit getroffen. Gleichzeitig haben diese …
Dynamische Äquivalenzklassen im Klassifikationsbaum für zustandsbehaftete Systeme
H Cichos, A Schürr - 2010 - dl.gi.de
Die Klassifikationsbaummethode ist eine weit verbreitete funktionsorientierte Methode zum
Test von kombinatorischen Systemen. In der vorliegenden Arbeit wird eine Erweiterung der …
Test von kombinatorischen Systemen. In der vorliegenden Arbeit wird eine Erweiterung der …
[PS][PS] ausgef uhrt zum Zwecke der Erlangung des akademischen Grades eines Doktors der technischen Wissenschaften
J Overbeck - dbai.tuwien.ac.at
Integrationstesten ist das Testen der Interaktion zwischen Einheiten, die als alleinstehende
Einheiten bereits getestet sind. In objektorientierten Systemen sind die zu testenden …
Einheiten bereits getestet sind. In objektorientierten Systemen sind die zu testenden …
The Inter-Domain Key Exchange Protocol
RA Soltwisch - 2006 - ediss.uni-goettingen.de
Diese Dissertation beschreibt und evaluiert ein neuartiges Schlüsselaustauschverfahren
namens IDKE (Inter-Domain Key Exchange Protocol), um nahtlose Handover in IP-basierten …
namens IDKE (Inter-Domain Key Exchange Protocol), um nahtlose Handover in IP-basierten …