LEADER 01599oam 2200493I 450 001 9910706514203321 005 20171215145351.0 035 $a(CKB)5470000002457309 035 $a(OCoLC)1015343539 035 $a(OCoLC)995470000002457309 035 $a(EXLCZ)995470000002457309 100 $a20171214j201710 ua 0 101 0 $aeng 135 $aurmn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aVerification testing $emeet user needs figure of merit /$fBryan W. Kelly and Bryan W. Welch 210 1$aCleveland, Ohio :$cNational Aeronautics and Space Administration, Glenn Research Center,$dOctober 2017. 215 $a1 online resource (7 pages) $ccolor illustrations 225 1 $aNASA/TM ;$v2017-219561 300 $a"October 2017." 320 $aIncludes bibliographical references (page 7). 517 $aVerification testing 606 $aMathematical programming$2nasat 606 $aSoftware development tools$2nasat 606 $aCoding$2nasat 606 $aAccident investigation$2nasat 606 $aUser requirements$2nasat 615 7$aMathematical programming. 615 7$aSoftware development tools. 615 7$aCoding. 615 7$aAccident investigation. 615 7$aUser requirements. 700 $aKelly$b Bryan W.$01412177 702 $aWelch$b Bryan W. 712 02$aNASA Glenn Research Center, 801 0$bGPO 801 1$bGPO 801 2$bGPO 906 $aBOOK 912 $a9910706514203321 996 $aVerification testing$93505010 997 $aUNINA