000 | 04103nam a2200589 i 4500 | ||
---|---|---|---|
001 | 7304003 | ||
003 | IEEE | ||
005 | 20220712205923.0 | ||
006 | m o d | ||
007 | cr |n||||||||| | ||
008 | 151222s2015 njua ob 001 eng d | ||
010 | _z 2010277955 (print) | ||
015 | _zGBA874568 (print) | ||
016 | _z013696212 (print) | ||
020 |
_a9781119134671 _qelectronic |
||
020 | _a047008457X | ||
020 |
_z9780470084571 _qprint |
||
024 | 7 |
_a10.1002/9781119134671 _2doi |
|
035 | _a(CaBNVSL)mat07304003 | ||
035 | _a(IDAMS)0b00006484a80f83 | ||
040 |
_aCaBNVSL _beng _erda _cCaBNVSL _dCaBNVSL |
||
050 | 4 |
_aQA76.87 _b.P845 2007eb |
|
082 | 0 | 4 |
_a006.32 _222 |
100 | 1 |
_aPullum, Laura L., _eauthor. _928723 |
|
245 | 1 | 0 |
_aGuidance for the verification and validation of neural networks / _cLaura L. Pullum, Brian J. Taylor, Majorie A. Darrah. |
264 | 1 |
_aHoboken, New Jersey : _bIEEE Computer Society, _cc2007. |
|
264 | 2 |
_a[Piscataqay, New Jersey] : _bIEEE Xplore, _c[2015] |
|
300 |
_a1 PDF (ix, 133 pages) : _billustrations. |
||
336 |
_atext _2rdacontent |
||
337 |
_aelectronic _2isbdmedia |
||
338 |
_aonline resource _2rdacarrier |
||
490 | 1 | _aEmerging technologies | |
504 | _aIncludes bibliographical references (p. 119-121) and index. | ||
505 | 0 | _aAreas of consideration for adaptive systems -- Verification and validation of neural networks-guidance -- Recent changes to IEEE std 1012. | |
506 | 1 | _aRestricted to subscribers or individual electronic text purchasers. | |
520 | _aGuidance for the Verification and Validation of Neural Networks is a supplement to the IEEE Standard for Software Verification and Validation, IEEE Std 1012-1998. Born out of a need by the National Aeronautics and Space Administration's safety- and mission-critical research, this book compiles over five years of applied research and development efforts. It is intended to assist the performance of verification and validation (V&V) activities on adaptive software systems, with emphasis given to neural network systems. The book discusses some of the difficulties with trying to assure adaptive systems in general, presents techniques and advice for the V&V practitioner confronted with such a task, and based on a neural network case study, identifies specific tasking and recommendations for the V&V of neural network systems. "As the demand for developing and assuring adaptive systems grows, this guidebook will provide practitioners with the insight and practical steps for verifying and validating neural networks. The work of the authors is a great step forward, offering a level of practical experience and advice for the software developers, assurance personnel, and those performing verification and validation of adaptive systems. This guide makes possible the daunting task of assuring this new technology. NASA is proud to sponsor such a realistic approach to what many might think a very futuristic subject. But adaptive systems with neural networks are here today and as the NASA Manager for Software Assurance and Safety, I believe this work by the authors will be a great resource for the systems we are building today and into tomorrow." -Martha S. Wetherholt, NASA Manager of Software Assurance and Software Safety NASA Headquarters, Office of Safety & Mission Assurance. | ||
530 | _aAlso available in print. | ||
538 | _aMode of access: World Wide Web | ||
588 | _aDescription based on PDF viewed 12/22/2015. | ||
650 | 0 |
_aNeural networks (Computer science) _93414 |
|
650 | 0 |
_aComputer programs _xValidation. _928724 |
|
650 | 0 |
_aComputer programs _xVerification. _928725 |
|
655 | 0 |
_aElectronic books. _93294 |
|
700 | 1 |
_aTaylor, Brian J. _928726 |
|
700 | 1 |
_aDarrah, Majorie A. _928727 |
|
710 | 2 |
_aIEEE Xplore (Online Service), _edistributor. _928728 |
|
710 | 2 |
_aWiley, _epublisher. _928729 |
|
776 | 0 | 8 |
_iPrint version: _z9780470084571 |
830 | 0 |
_aEmerging technologies _928730 |
|
856 | 4 | 2 |
_3Abstract with links to resource _uhttps://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7304003 |
942 | _cEBK | ||
999 |
_c74425 _d74425 |