Software system testing and quality assurance
Software system testing and quality assurance
A spiral model of software development and enhancement
ACM SIGSOFT Software Engineering Notes
Independent verification & validation: a life cycle engineering process for quality software
Independent verification & validation: a life cycle engineering process for quality software
A history of discrete event simulation programming languages
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Validation and verification of simulation models
WSC '92 Proceedings of the 24th conference on Winter simulation
Aggregate level simulation protocol (ALSP) managing confederation development
WSC '94 Proceedings of the 26th conference on Winter simulation
The aggregate level simulation protocol: an evolving system
WSC '94 Proceedings of the 26th conference on Winter simulation
Marine air ground task force (MAGTF) tactical warfare simulation (MTWS)
WSC '94 Proceedings of the 26th conference on Winter simulation
Case tool integration and utilization within the joint theater level simulation (JTLS)
WSC '95 Proceedings of the 27th conference on Winter simulation
Real time validation of man-in-the-loop simulations
WSC '95 Proceedings of the 27th conference on Winter simulation
Scalability issues in enhancement of the MAGTF tactical warfare simulation system
WSC '95 Proceedings of the 27th conference on Winter simulation
Evolving the VV&A process for the ALSP Joint Training Confederation
WSC '96 Proceedings of the 28th conference on Winter simulation
The Corps Battle Simulation for military training
WSC '93 Proceedings of the 25th conference on Winter simulation
ALSP—theory, experience, and future directions
WSC '93 Proceedings of the 25th conference on Winter simulation
Naval modeling and simulation verification, validation, and accreditation
WSC '93 Proceedings of the 25th conference on Winter simulation
Guidelines for successful simluation studies (tutorial session)
WSC' 90 Proceedings of the 22nd conference on Winter simulation
The time and state relationships in simulation modeling
Communications of the ACM - Special issue on simulation modeling and statistical computing
Asynchronous distributed simulation via a sequence of parallel computations
Communications of the ACM - Special issue on simulation modeling and statistical computing
A Revolution in Simulation: Distributed Interaction in the '90s and Beyond
A Revolution in Simulation: Distributed Interaction in the '90s and Beyond
Simulation Modeling and Analysis
Simulation Modeling and Analysis
Introduction to Simulation Using SIMAN
Introduction to Simulation Using SIMAN
Simulation Validation - a Confidence Assessment Methodology
Simulation Validation - a Confidence Assessment Methodology
Advanced Distributed Simulation through the Aggregate Level Simulation Protocol
HICSS '96 Proceedings of the 29th Hawaii International Conference on System Sciences Volume 1: Software Technology and Architecture
SIMULATION OF PACKET COMMUNICATION ARCHITECTURE COMPUTER SYSTEMS
SIMULATION OF PACKET COMMUNICATION ARCHITECTURE COMPUTER SYSTEMS
Evolving the VV&A process for the ALSP Joint Training Confederation
WSC '96 Proceedings of the 28th conference on Winter simulation
Web-based simulation in Simjava using remote method invocation
Proceedings of the 29th conference on Winter simulation
Introduction to military training simulation: a guide for discrete event simulationists
Proceedings of the 30th conference on Winter simulation
The rise of Web-based simulation: implications for the high level architecture
Proceedings of the 30th conference on Winter simulation
Developing interest management techniques in distributed interactive simulation using Java
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 1
Automated distributed system testing: designing an RTI verification system
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 2
Parallel and distributed simulation
Applied system simulation
Philosophical foundations of computer simulation validation
Simulation and Gaming
Distributed simulation in industry -- a survey, part 3 -- the HLA standard in industry
Proceedings of the 40th Conference on Winter Simulation
ConceVE: Conceptual modeling and formal validation for everyone
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Hi-index | 0.00 |
The techniques and methodologies for verification and validation of software-based systems have arguably realized their greatest utility within the context of simulation. Advanced Distributed Simulation (ADS), a major initiative within the defense modeling and simulation community, presents a variety of challenges to the classical approaches. A case study of the development process and concomitant verification and validation activities for the Joint Training Confederation (JTC) is presented. The JTC is one of the largest current ADS efforts, and the primary application of the Aggregate Level Simulation Protocol. A dichotomy between classical verification and validation approaches and the requirements of a prototypical ADS environment is illustrated. Mechanisms and research directions to resolve these differences are briefly discussed.