LEADER 02123oam  2200577   450 
001 9910707240003321
005 20160621152110.0
035   $a(CKB)5470000002463109
035   $a(OCoLC)951986184
035   $a(EXLCZ)995470000002463109
100   $a20160621j199605    ua             0
101 0 $aeng
135   $aurbn|||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 13$aAn introduction to requirements capture using PVS $especification of a simple autopilot /$fRicky W. Butler
210  1$aHampton, Virginia :$cNational Aeronautics and Space Administration, Langley Research Center,$dMay 1996.
215   $a1 online resource (iii, 29 pages)$cillustrations
225 1 $aNASA technical memorandum ;$v110255
300   $aTitle from title screen (viewed June 20, 2016).
300   $a"May 1996."
300   $a"Performing organization: NASA Langley Research Center, Hampton, VA"--Report documentation page.
320   $aIncludes bibliographical references (pages 24-25).
517   $aIntroduction to requirements capture using PVS 
606   $aComputer programming$2nasat
606   $aComputer programs$2nasat
606   $aUser requirements$2nasat
606   $aSoftware development tools$2nasat
606   $aProgram verification (computers)$2nasat
606   $aSoftware reliability$2nasat
606   $aEquations of state$2nasat
606   $aSpecifications$2nasat
615  7$aComputer programming.
615  7$aComputer programs.
615  7$aUser requirements.
615  7$aSoftware development tools.
615  7$aProgram verification (computers)
615  7$aSoftware reliability.
615  7$aEquations of state.
615  7$aSpecifications.
700   $aButler$b Ricky W.$01398460
712 02$aLangley Research Center,
712 02$aUnited States.$bNational Aeronautics and Space Administration,
801  0$bGPO
801  1$bGPO
801  2$bGPO
906   $aBOOK
912   $a9910707240003321
996   $aAn introduction to requirements capture using PVS$93461774
997   $aUNINA