Independent Verification and Validation
Independent Verification and Validation

Author: Robert O. Lewis

Publisher: John Wiley & Sons

Published: 1992-11-11

Total Pages: 388

ISBN-13: 9780471570110

DOWNLOAD EBOOK

Comprehensive and up-to-date, it covers the most vital part of software development, independent verification and validation. Presents a variety of methods that will ensure better quality, performance, cost and reliability of technical products and systems. Features numerous hints, tips and instructions for better interaction between verification and validation personnel, development engineers and managers. Includes 8 case histories ranging from major engineering systems through information systems. Many of the principles involved also apply to computer hardware as well as the fields of science and engineering.

Verification and Validation in Scientific Computing
Verification and Validation in Scientific Computing

Author: William L. Oberkampf

Publisher: Cambridge University Press

Published: 2010-10-14

Total Pages: 782

ISBN-13: 1139491768

DOWNLOAD EBOOK

Advances in scientific computing have made modelling and simulation an important part of the decision-making process in engineering, science, and public policy. This book provides a comprehensive and systematic development of the basic concepts, principles, and procedures for verification and validation of models and simulations. The emphasis is placed on models that are described by partial differential and integral equations and the simulations that result from their numerical solution. The methods described can be applied to a wide range of technical fields, from the physical sciences, engineering and technology and industry, through to environmental regulations and safety, product and plant safety, financial investing, and governmental regulations. This book will be genuinely welcomed by researchers, practitioners, and decision makers in a broad range of fields, who seek to improve the credibility and reliability of simulation results. It will also be appropriate either for university courses or for independent study.

Verification and Validation of Software Related to Nuclear Power Plant Instrumentation and Control
Verification and Validation of Software Related to Nuclear Power Plant Instrumentation and Control

Author: International Atomic Energy Agency

Publisher:

Published: 1999

Total Pages: 144

ISBN-13:

DOWNLOAD EBOOK

This report provides practical guidance on the methods available for verification of the software and validation of computer based systems in nuclear power plants, and on how and when these methods can be effectively applied. It will be of particular interest to all those involved in the development, implementation, maintenance and use of software and computer based instrumentation and control systems in nuclear power plants.

Software Testing and Analysis
Software Testing and Analysis

Author: Mauro Pezze

Publisher: John Wiley & Sons

Published: 2008

Total Pages: 516

ISBN-13:

DOWNLOAD EBOOK

Teaches readers how to test and analyze software to achieve an acceptable level of quality at an acceptable cost Readers will be able to minimize software failures, increase quality, and effectively manage costs Covers techniques that are suitable for near-term application, with sufficient technical background to indicate how and when to apply them Provides balanced coverage of software testing & analysis approaches By incorporating modern topics and strategies, this book will be the standard software-testing textbook

Model Engineering for Simulation
Model Engineering for Simulation

Author: Lin Zhang

Publisher: Academic Press

Published: 2019-02-27

Total Pages: 456

ISBN-13: 0128135441

DOWNLOAD EBOOK

Model Engineering for Simulation provides a systematic introduction to the implementation of generic, normalized and quantifiable modeling and simulation using DEVS formalism. It describes key technologies relating to model lifecycle management, including model description languages, complexity analysis, model management, service-oriented model composition, quantitative measurement of model credibility, and model validation and verification. The book clearly demonstrates how to construct computationally efficient, object-oriented simulations of DEVS models on parallel and distributed environments. - Guides systems and control engineers in the practical creation and delivery of simulation models using DEVS formalism - Provides practical methods to improve credibility of models and manage the model lifecycle - Helps readers gain an overall understanding of model lifecycle management and analysis - Supported by an online ancillary package that includes an instructors and student solutions manual