„software verification and validation“

Suchergebnisse

1.000+ Treffer

• 10431 Report – Software Engineering for Self-Adaptive Systems
  de Lemos, Rogerio ; Giese, Holger ; Müller, Hausi ; Shaw, Mary
• Enterprise and Organizational Modeling and Simulation – 13th International Workshop, EOMAS 2017, Held at CAiSE 2017, Essen, Germany, June 12-13, 2017, Selected Papers
  Pergl, Robert ; Lock, Russell ; Babkin, Eduard ; Molhanec, Martin 2017 Springer Berlin Heidelberg
• Agent Technology from a Formal Perspective
  Hinchey, Michael ; Rash, James ; Truszkowski, Walt ; Gordon-Spears, Diana F. ; Rouff, Christopher A. 2006 Springer London
• Software Quality Assurance – Consistency in the Face of Complexity and Change
  Walkinshaw, Neil 2017 Springer International Publishing
• The Agile Safety Case
  Myklebust, Thor ; Stålhane, Tor 2018 Springer International Publishing
• Certus: an organizational effort towards research-based innovation in software verification and validation
  Sen, Sagar ; Marijan, Dusica ; Gotlieb, Arnaud
• Model-Driven Dependability Assessment of Software Systems
  Bernardi, Simona ; Merseguer, Jose ; Petriu, Dorina C. 2013 Springer Berlin Heidelberg
• Verification and Validation of Logic Control Algorithms by Model Checking – Verifikation und Validierung von Steuerungsalgorithmen mittels Model Checking
  Weng, Xiying 2003 Shaker
• Verification and Validation of Logic Control Safety Applications – Verifikation und Validierung von Steuerungssoftware für Sicherheitsanwendungen
  Soliman, Doaa 2013 Shaker
• Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change – 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
  Margaria, Tiziana ; Steffen, Bernhard 2014 Springer Berlin Heidelberg
• Testing Software and Systems – 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings
  Merayo, Mercedes G. ; Montes de Oca, Edgardo 2014 Springer Berlin Heidelberg
• Fundamental Approaches to Software Engineering – 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
  Gnesi, Stefania ; Rensink, Arend 2014 Springer Berlin Heidelberg
• Software Engineering and Formal Methods – SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
  Counsell, Steve ; Núñez, Manuel 2014 Springer International Publishing
• Computer Applications for Communication, Networking, and Digital Contents – International Conferences, FGCN and DCA 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings
  Kim, T'ae-hun ; Ko, Dae-sik ; Vasilakos, Thanos ; Stoica, Adrian ; Abawajy, Jemal 2012 Springer Berlin Heidelberg
• Leveraging Applications of Formal Methods, Verification, and Validation – International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
  Hähnle, Reiner ; Knoop, Jens ; Margaria, Tiziana ; Schreiner, Dietmar ; Steffen, Bernhard 2012 Springer Berlin Heidelberg
• Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change – 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
  2012 Springer Berlin Heidelberg
• Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies – 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
  Margaria, Tiziana ; Steffen, Bernhard ; Merten, Maik 2012 Springer Berlin Heidelberg
• Engineering Secure Software and Systems – Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings
  Erlingsson, Úlfar ; Wieringa, Roel ; Zannone, Nicola 2011 Springer Berlin Heidelberg
• Leveraging Applications of Formal Methods, Verification, and Validation – 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
  2010 Springer Berlin Heidelberg
• Leveraging Applications of Formal Methods, Verification, and Validation – 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
  Margaria, Tiziana ; Steffen, Bernhard 2010 Springer Berlin Heidelberg