Independent verification & validation: a life cycle engineering process for quality software
Independent verification & validation: a life cycle engineering process for quality software
Strategic directions in software quality
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Principles of simulation model validation, verification, and testing
Transactions of the Society for Computer Simulation International
Software quality assurance metrics
Handbook of software quality assurance (3rd ed.)
Verification, validation, and accreditation
Proceedings of the 30th conference on Winter simulation
Validation and verification of simulation models
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 1
Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
A methodology for certification of modeling and simulation applications
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Proceedings of the 32nd conference on Winter simulation
Proceedings of the 32nd conference on Winter simulation
Planning for verification, validation, and accreditation of modeling and simulation applications
Proceedings of the 32nd conference on Winter simulation
Proceedings of the 32nd conference on Winter simulation
V&A; III: verification and validation without independence: a recipe for failure
Proceedings of the 32nd conference on Winter simulation
Handbook of Walkthroughs, Inspections, and Technical Reviews: Evaluating Programs, Projects, and Products
Software Evaluation for Certification
Software Evaluation for Certification
Planning and Certifying Software System Reliability
IEEE Software
Software Safety Certification: A Multidomain Problem
IEEE Software
Toward Credible IT Testing and Certification
IEEE Software
Certifying Software for High-Assurance Environments
IEEE Software
Elicitation of Knowledge from Multiple Experts Using Network Inference
IEEE Transactions on Knowledge and Data Engineering
Certification of Software Components
IEEE Transactions on Software Engineering
Certifying High Assurance Software
COMPSAC '98 Proceedings of the 22nd International Computer Software and Applications Conference
Can Generic Software Be Assured?
COMPSAC '99 23rd International Computer Software and Applications Conference
Software Certification for Industry - Verification and Validation Issues in Expert Systems
DEXA '98 Proceedings of the 9th International Workshop on Database and Expert Systems Applications
Reliability Certification of Software Components
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Quality assessment of knowledge-based software: some certification considerations
ISESS '97 Proceedings of the 3rd International Software Engineering Standards Symposium (ISESS '97)
An Engineering Approach to Critical Software Certification
HICSS '99 Proceedings of the Thirty-second Annual Hawaii International Conference on System Sciences-Volume 8 - Volume 8
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
A methodology for certification of modeling and simulation applications
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Proceedings of the 35th conference on Winter simulation: driving innovation
Proceedings of the 35th conference on Winter simulation: driving innovation
Quality assessment, verification, and validation of modeling and simulation applications
WSC '04 Proceedings of the 36th conference on Winter simulation
Foundations of validating reusable behavioral models in engineering design problems
WSC '04 Proceedings of the 36th conference on Winter simulation
Verification and validation of simulation models
WSC '05 Proceedings of the 37th conference on Winter simulation
Verification and validation of simulation models
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Exploiting web service techniques for composing simulation models
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Verification and validation of simulation models
Proceedings of the 40th Conference on Winter Simulation
A new procedure model for verification and validation in production and logistics simulation
Proceedings of the 40th Conference on Winter Simulation
Verification and validation of simulation models
Winter Simulation Conference
Winter Simulation Conference
Expert Systems with Applications: An International Journal
Proceedings of the Winter Simulation Conference
Verification and validation of simulation models
Proceedings of the Winter Simulation Conference
Verification and validation of simulation models
Proceedings of the Winter Simulation Conference
| Hi-index | 0.00 |
Many different types of modeling and simulation (M&S) applications, consisting of a combination of software, hardware, and humanware, are used in dozens of disciplines under diverse objectives including acquisition, analysis, education, entertainment, research, and training. Certification of sufficient accuracy of an M&S application by conducting verification, validation, and accreditation (VV&A) requires multifaceted knowledge and experience, and poses substantial technical and managerial challenges for researchers, practitioners, and managers. The challenges can only be met by using a very broad spectrum of approaches and expanding our horizons in VV&A. This paper presents 13 strategic directions to meet those challenges. The strategic directions provide guidelines for successful VV&A research and practice.