„software requirements validation“

Suchergebnisse

1.000+ Treffer

• Hazard Relation Diagrams: a diagrammatic representation to increase validation objectivity of requirements-based hazard mitigations
  Tenbergen, Bastian ; Weyer, Thorsten ; Pohl, Klaus
• Selecting CRM packages based on architectural, functional, and cost requirements: Empirical validation of a hierarchical ranking model
  Colombo, Enzo ; Francalanci, Chiara
• Empirical comparisons of animation and narration in requirements validation
  Gemino, Andrew
• A method of software requirements specification and validation for global software development
  Ali, Naveed ; Lai, Richard
• Requirements engineering – fundamentals, principles, and techniques
  Pohl, Klaus 2025 Springer
• 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
• 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
• 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
• 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
• 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
• Requirements Engineering
  Zowghi, Didar ; Jin, Zhi 2011 Springer London
• Requirements Engineering – Fundamentals, Principles, and Techniques
  Pohl, Klaus 2010 Springer Berlin Heidelberg
• Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification – First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
  Lecomte, Thierry ; Pinger, Ralf ; Romanovsky, Alexander 2016 Springer International Publishing
• Requirements engineering – requirements engineering provides a focus for the dissemination of new results about the elicitation, representation and validation of requirements of software intensive systems and applications
  1996 Springer
• Challenges and practices in aligning requirements with verification and validation: a case study of six companies
  Bjarnason, Elizabeth ; Runeson, Per ; Borg, Markus ; Unterkalmsteiner, Michael ; Engström, Emelie ; Regnell, Björn ; Sabaliauskaite, Giedre ; Loconsole, Annabella ; Gorschek, Tony ; Feldt, Robert
• Design Science Methodology for Information Systems and Software Engineering
  Wieringa, Roel 2014 Springer Berlin Heidelberg
• Requirements Engineering – Fundamentals, Principles, and Techniques
  Pohl, Klaus 2010 Springer Berlin
• An Introduction to Design Science
  2021 Springer International Publishing
• Handbook of Software Engineering
  Cha, Sungdeok 2019 Springer International Publishing