„Software-Testen“
Suchergebnisse
464 Treffer
-
Model Driven Engineering Languages and Systems – 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings
-
Computer Safety, Reliability, and Security – 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings
-
NASA Formal Methods – 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings
-
Testen, Analysieren und Verifizieren von Software – Arbeitskreis <Emphasis Type="Italic">Testen, Analysieren und Verifizieren von Software</Emphasis> der Fachgruppe Software-Engineering der GI Proceedings der Treffen in Benthe und Bochum, Juni 1991 und Februar 1992
-
Computer Safety, Reliability, and Security – 30th International Conference,SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings
-
NASA Formal Methods – Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings
-
Testing of software and communication systems – 21st IFIP WG 6.1 international conference ; proceedings
-
Testing of software and communicating systems – 20th IFIP TC 6 WG 6.1 international conference ; proceedings
-
Management und Orchestrierung von virtualisierten Netzwerkfunktionen im 5G Mobilfunknetz – Überblick, Sicherheitsbetrachtung und SCAS-Testentwurf
-
Modellgetriebenes Testen von Simulationsmodellen unter Verwendung SysML
-
Testkonzepte für Microservice-basierte Systeme am Beispiel des MARS Frameworks
-
Ein Ansatz für IoT-Sicherheitstests basierend auf dem MQTT-Protokoll
-
Testing life cycle-related properties of mobile applications
-
Automatisiertes Testen asynchroner nichtdeterministischer Systeme mit Daten
-
Multikriterielle Minimierung und Priorisierung von Test-Suiten für Software-Produktlinien
-
Eine Technologie für das durchgängige und automatisierte Testen eingebetteter Software
-
Model-based Regression Testing of Evolving Software Systems
-
Eine Technologie für das durchgängige und automatisierte Testen eingebetteter Software
-
Methoden und Werkzeuge für die Entwicklung von Software im Kontext verteilter Ausführung
-
A bioinformatic study on transcriptome conservation patterns in animal and plant development – [kumulative Dissertation]