000			01658nam a22001817a 4500
003			CUTN
005			20250328153106.0
008			250328b |||||||| |||| 00| 0 eng d
020			_a9781647253752
041			_aEnglish
082			_a005.14 _bSKI
245			_aVerification and Analysis of Computer Systems / _cby Henry Skinner (Editor)
260			_bNY RESEARCH PRESS, _c2023.
300			_a258 pages : _c7 x 0.63 x 10 inches
520			_aComputer system verification is an activity that involves assessing the consistency, completeness, and correctness of the software and its supporting documentation while it is being developed. It confirms and reviews the tasks within the computer system validation process. Computer system validation (CSV), or software validation, is the process for verifying that a computer system is able to perform its intended use, and can function as expected. The classic “V Diagram” is the most common methodology used for validation projects. This methodology involves various stages, namely, validation planning, user requirements specification (URS), functional specifications, design specifications, system build, installation qualification tests (IQ) Tests, operational qualification (OQ) Tests, performance qualification (PQ) Tests, and reporting. This book aims to shed light on the verification and analysis of computer systems. It consists of contributions made by international experts. This book, with its detailed analyses and data, will prove immensely beneficial to professionals and students involved in this area of computer science at various levels.
700			_aSkinner, Henry
942			_2ddc _cBOOKS
999			_c44130 _d44130