Tools

LEADER 02491cam a2200553 i 4500

001 ocn951986184;

003 OCoLC;

005 20160621152110.0;

006 m o d f ;

007 cr b||||||||||;

008 160621e199605 vaua obt f000 0 eng c;

035 a| (Sirsi) o951986184;

042 a| pcc;

049 a| ERE#;

074 a| 0830-D (online);

086 0 a| NAS 1.15:110255;

100 1 a| Butler, Ricky W.,e| author.=| ^A428433;

245 13 a| An introduction to requirements capture using PVS :b| specification of a simple autopilot /c| Ricky W. Butler.;

246 3 a| Introduction to requirements capture using Prototype Verification System, specification of a simple autopilot;

264 1 a| Hampton, Virginia :b| National Aeronautics and Space Administration, Langley Research Center,c| May 1996.;

300 a| 1 online resource (iii, 29 pages) :b| illustrations.;

336 a| textb| txt2| rdacontent;

337 a| computerb| c2| rdamedia;

338 a| online resourceb| cr2| rdacarrier;

490 1 a| NASA technical memorandum ;v| 110255;

500 a| Title from title screen (viewed June 20, 2016).;

500 a| "May 1996.";

500 a| "Performing organization: NASA Langley Research Center, Hampton, VA"--Report documentation page.;

500 a| GPO Cataloging Record Distribution Program (CRDP).;

504 a| Includes bibliographical references (pages 24-25).;

536 a| Sponsored by the National Aeronautics and Space Administrationd| WU 505-64-10-13;

650 7 a| Computer programming.2| nasat;

650 7 a| Computer programs.2| nasat;

650 7 a| User requirements.2| nasat;

650 7 a| Software development tools.2| nasat;

650 7 a| Program verification (Computers)2| nasat;

650 7 a| Software reliability.2| nasat;

650 7 a| Equations of state.2| nasat;

650 7 a| Specifications.2| nasat;

710 2 a| Langley Research Center,e| issuing body.=| ^A192893;

710 1 a| United States.b| National Aeronautics and Space Administratione| sponsoring body.=| ^A5437;

776 08 i| Microfiche version:a| Butler, Ricky W.t| Introduction to requirements capture using PVSw| (OCoLC)39675735;

830 0 a| NASA technical memorandumv| 110255.=| ^A467613;

856 40 u| https://purl.fdlp.gov/GPO/gpo67752;

949 a| Click on web addressw| asish| joyner94;

596 a| 1;

998 a| 5624733;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 5624733-1001l| JNETm| JOYNERr| Ys| Yt| JNE1DOu| 4/21/2021x| EDOCUMENTz| JERESOURCE;

An introduction to requirements capture using PVS : specification of a simple autopilot / Ricky W. Butler.

Author/creator	Butler, Ricky W. author.
Other author	Langley Research Center, issuing body.
Other author	United States. National Aeronautics and Space Administration sponsoring body.
Format	Electronic
Publication	Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center, May 1996.
Description	1 online resource (iii, 29 pages) : illustrations.
Supplemental Content	https://purl.fdlp.gov/GPO/gpo67752

Variant title	Introduction to requirements capture using Prototype Verification System, specification of a simple autopilot
Series	NASA technical memorandum ; 110255 NASA technical memorandum 110255. ^A467613
General note	Title from title screen (viewed June 20, 2016).
General note	"May 1996."
General note	"Performing organization: NASA Langley Research Center, Hampton, VA"--Report documentation page.
General note	GPO Cataloging Record Distribution Program (CRDP).
Bibliography note	Includes bibliographical references (pages 24-25).
Funding information	Sponsored by the National Aeronautics and Space Administration WU 505-64-10-13
Issued in other form	Microfiche version: Butler, Ricky W. Introduction to requirements capture using PVS
GPO item number	0830-D (online)
Govt. docs number	NAS 1.15:110255

Availability

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Access Content Online	✔ Available

An introduction to requirements capture using PVS : specification of a simple autopilot / Ricky W. Butler.

Click here for more information about this title

Availability