An introduction to requirements capture using PVS : specification of a simple autopilot / Ricky W. Butler.
Saved in:
| Online Access: |
Online Access Online Access |
|---|---|
| Main Author: | |
| Corporate Author: | |
| Other title: | Introduction to requirements capture using Prototype Verification System, specification of a simple autopilot. |
| Format: | Government Document eBook |
| Language: | English |
| Published: |
Hampton, Virginia :
National Aeronautics and Space Administration, Langley Research Center,
May 1996.
|
| Series: | NASA technical memorandum ;
110255. |
| Subjects: |
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | b8713517 | ||
| 003 | CoU | ||
| 005 | 20160621152110.0 | ||
| 006 | m o d f | ||
| 007 | cr b|||||||||| | ||
| 008 | 160621e199605 vaua obt f000 0 eng c | ||
| 035 | |a (OCoLC)ocn951986184 | ||
| 040 | |a GPO |b eng |e rda |e pn |c GPO |d GPO |d MvI | ||
| 042 | |a pcc | ||
| 049 | |a GDWR | ||
| 074 | |a 0830-D (online) | ||
| 086 | 0 | |a NAS 1.15:110255 | |
| 086 | 0 | |a NAS 1.15:110255 | |
| 100 | 1 | |a Butler, Ricky W., |e author. |0 http://id.loc.gov/authorities/names/n84213264. | |
| 245 | 1 | 3 | |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 text |b txt |2 rdacontent. | ||
| 337 | |a computer |b c |2 rdamedia. | ||
| 338 | |a online resource |b cr |2 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. | ||
| 504 | |a Includes bibliographical references (pages 24-25) | ||
| 536 | |a Sponsored by the National Aeronautics and Space Administration |d 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. |0 http://id.loc.gov/authorities/names/n79134855 |1 http://isni.org/isni/0000000406376754. | |
| 710 | 1 | |a United States. |b National Aeronautics and Space Administration, |e sponsoring body. |0 http://id.loc.gov/authorities/names/n78087581 |1 http://isni.org/isni/0000000449071619. | |
| 776 | 0 | 8 | |i Microfiche version: |a Butler, Ricky W. |t Introduction to requirements capture using PVS |w (OCoLC)39675735. |
| 830 | 0 | |a NASA technical memorandum ; |v 110255. |0 http://id.loc.gov/authorities/names/n83707893. | |
| 856 | 4 | 0 | |u http://purl.fdlp.gov/GPO/gpo67752 |z Online Access |
| 856 | 4 | 0 | |u https://purl.fdlp.gov/GPO/gpo67752 |z Online Access |
| 907 | |a .b87135176 |b 06-01-23 |c 07-11-16 | ||
| 998 | |a web |b 07-11-16 |c - |d m |e - |f eng |g vau |h 3 |i 2 | ||
| 907 | |a .b87135176 |b 03-08-23 |c 07-11-16 | ||
| 944 | |a MARS - RDA ENRICHED | ||
| 999 | f | f | |i e1385404-5b28-5520-8d5e-4fa6bc5c0647 |s 911d0972-d6bd-553e-ad3e-001285e675ae |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Online |c Online |d Online |e NAS 1.15:110255 |h Superintendent of Documents classification |i web |n 1 |