02123oam 2200577 450 991070724000332120160621152110.0(CKB)5470000002463109(OCoLC)951986184(EXLCZ)99547000000246310920160621j199605 ua 0engurbn|||||||||txtrdacontentcrdamediacrrdacarrierAn introduction to requirements capture using PVS specification of a simple autopilot /Ricky W. ButlerHampton, Virginia :National Aeronautics and Space Administration, Langley Research Center,May 1996.1 online resource (iii, 29 pages)illustrationsNASA technical memorandum ;110255Title from title screen (viewed June 20, 2016)."May 1996.""Performing organization: NASA Langley Research Center, Hampton, VA"--Report documentation page.Includes bibliographical references (pages 24-25).Introduction to requirements capture using PVS Computer programmingnasatComputer programsnasatUser requirementsnasatSoftware development toolsnasatProgram verification (computers)nasatSoftware reliabilitynasatEquations of statenasatSpecificationsnasatComputer programming.Computer programs.User requirements.Software development tools.Program verification (computers)Software reliability.Equations of state.Specifications.Butler Ricky W.1398460Langley Research Center,United States.National Aeronautics and Space Administration,GPOGPOGPOBOOK9910707240003321An introduction to requirements capture using PVS3461774UNINA