Author: W. Richards Adrion
Publisher:
ISBN:
Category : Computer programs
Languages : en
Pages : 68
Book Description
Validation, Verification, and Testing of Computer Software
Author: W. Richards Adrion
Publisher:
ISBN:
Category : Computer programs
Languages : en
Pages : 68
Book Description
Publisher:
ISBN:
Category : Computer programs
Languages : en
Pages : 68
Book Description
Verification and Validation of Modern Software-intensive Systems
Author: G. Gordon Schulmeyer
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 520
Book Description
PLEASE PROVIDE COURSE INFORMATION PLEASE PROVIDE
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 520
Book Description
PLEASE PROVIDE COURSE INFORMATION PLEASE PROVIDE
Independent Verification and Validation
Author: Robert O. Lewis
Publisher: John Wiley & Sons
ISBN: 9780471570110
Category : Computers
Languages : en
Pages : 388
Book Description
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.
Publisher: John Wiley & Sons
ISBN: 9780471570110
Category : Computers
Languages : en
Pages : 388
Book Description
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.
Methods and Procedures for the Verification and Validation of Artificial Neural Networks
Author: Brian J. Taylor
Publisher: Springer Science & Business Media
ISBN: 9780387282886
Category : Computers
Languages : en
Pages : 300
Book Description
Neural networks are members of a class of software that have the potential to enable intelligent computational systems capable of simulating characteristics of biological thinking and learning. This volume introduces some of the methods and techniques used for the verification and validation of neural networks and adaptive systems.
Publisher: Springer Science & Business Media
ISBN: 9780387282886
Category : Computers
Languages : en
Pages : 300
Book Description
Neural networks are members of a class of software that have the potential to enable intelligent computational systems capable of simulating characteristics of biological thinking and learning. This volume introduces some of the methods and techniques used for the verification and validation of neural networks and adaptive systems.
Software Error Analysis
Author: Wendy W. Peng
Publisher: Silicon Press
ISBN: 9780929306186
Category : Computers
Languages : en
Pages : 120
Book Description
Publisher: Silicon Press
ISBN: 9780929306186
Category : Computers
Languages : en
Pages : 120
Book Description
Software Quality Control, Error, Analysis
Author: Judith Clapp
Publisher: William Andrew
ISBN: 1437744842
Category : Computers
Languages : en
Pages : 407
Book Description
Software Quality Control, Error, Analysis
Publisher: William Andrew
ISBN: 1437744842
Category : Computers
Languages : en
Pages : 407
Book Description
Software Quality Control, Error, Analysis
Software Quality Control, Error, Analysis
Author: Judith A. Clapp
Publisher: William Andrew
ISBN: 0815513631
Category : Computers
Languages : en
Pages : 407
Book Description
Software Quality Control, Error, Analysis
Publisher: William Andrew
ISBN: 0815513631
Category : Computers
Languages : en
Pages : 407
Book Description
Software Quality Control, Error, Analysis
Verification and Validation of Software Related to Nuclear Power Plant Instrumentation and Control
Author: International Atomic Energy Agency
Publisher:
ISBN:
Category : Business & Economics
Languages : en
Pages : 144
Book Description
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.
Publisher:
ISBN:
Category : Business & Economics
Languages : en
Pages : 144
Book Description
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.
Mission Critical Computer Resources Management Guide
Author:
Publisher:
ISBN:
Category : United States
Languages : en
Pages : 204
Book Description
Publisher:
ISBN:
Category : United States
Languages : en
Pages : 204
Book Description
Verification and Validation in Scientific Computing
Author: William L. Oberkampf
Publisher: Cambridge University Press
ISBN: 1139491768
Category : Computers
Languages : en
Pages : 782
Book Description
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.
Publisher: Cambridge University Press
ISBN: 1139491768
Category : Computers
Languages : en
Pages : 782
Book Description
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.