„Software-Testen“

Suchergebnisse

464 Treffer

• Model Driven Engineering Languages and Systems – 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings
  France, Robert B. ; Kazmeier, Jürgen ; Breu, Ruth ; Atkinson, Colin 2012 Springer Berlin Heidelberg
• Computer Safety, Reliability, and Security – 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings
  Ortmeier, Frank ; Daniel, Peter 2012 Springer Berlin Heidelberg
• NASA Formal Methods – 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings
  Goodloe, Alwyn E. ; Person, Suzette 2012 Springer Berlin Heidelberg
• 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
  Liggesmeyer, Peter 1992 Springer Berlin Heidelberg
• Computer Safety, Reliability, and Security – 30th International Conference,SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings
  Flammini, Francesco ; Bologna, Sandro ; Vittorini, Valeria 2011 Springer Berlin Heidelberg
• NASA Formal Methods – Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings
  Bobaru, Mihaela ; Havelund, Klaus ; Holzmann, Gerard J. ; Joshi, Rajeev 2011 Springer Berlin Heidelberg
• Testing of software and communication systems – 21st IFIP WG 6.1 international conference ; proceedings
  Núñez, Manuel 2009 Springer
• Testing of software and communicating systems – 20th IFIP TC 6 WG 6.1 international conference ; proceedings
  Suzuki, Kenji 2008 Springer
• Management und Orchestrierung von virtualisierten Netzwerkfunktionen im 5G Mobilfunknetz – Überblick, Sicherheitsbetrachtung und SCAS-Testentwurf
  Sabitzer, Eric 2022 Hochschule Mittweida
• Modellgetriebenes Testen von Simulationsmodellen unter Verwendung SysML
  Lorenz, Daniel ; Buth, Bettina ; Korf, Franz 2011 Hochschule für Angewandte Wissenschaften Hamburg
• Testkonzepte für Microservice-basierte Systeme am Beispiel des MARS Frameworks
  Piehl, Alexander ; Buth, Bettina ; Lehmann, Thomas 2018 Hochschule für Angewandte Wissenschaften Hamburg
• Ein Ansatz für IoT-Sicherheitstests basierend auf dem MQTT-Protokoll
  Chen, Kai 2021 Universitätsbibliothek der Universität Stuttgart
• Testing life cycle-related properties of mobile applications
  Franke, Dominik ; Kowalewski, Stefan ; Lichter, Horst 2015 Universitätsbibliothek der RWTH Aachen
• Automatisiertes Testen asynchroner nichtdeterministischer Systeme mit Daten
  Seifert, Dirk 2007 Shaker
• Multikriterielle Minimierung und Priorisierung von Test-Suiten für Software-Produktlinien
  Baller, Hauke 2017 Verlag Dr. Hut
• Eine Technologie für das durchgängige und automatisierte Testen eingebetteter Software
  Fischer, Till 2017 KIT Scientific Publishing
• Model-based Regression Testing of Evolving Software Systems
  Farooq, Qurat-Ul-Ann ; Riebisch, Matthias 2017 Staats- und Universitätsbibliothek Hamburg
• Eine Technologie für das durchgängige und automatisierte Testen eingebetteter Software
  Fischer, Till ; Müller-Glaser, K. D. 2016 KIT-Bibliothek
• Methoden und Werkzeuge für die Entwicklung von Software im Kontext verteilter Ausführung
  Koch, Andreas 2016 Kassel University Press
• A bioinformatic study on transcriptome conservation patterns in animal and plant development – [kumulative Dissertation]
  Drost, Hajk-Georg ; Große, Ivo ; Quint, Marcel ; Theißen, Günther 2016 Universitäts- und Landesbibliothek Sachsen-Anhalt