|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910707240003321 |
|
|
Autore |
Butler Ricky W. |
|
|
Titolo |
An introduction to requirements capture using PVS : specification of a simple autopilot / / Ricky W. Butler |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , May 1996 |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (iii, 29 pages) : illustrations |
|
|
|
|
|
|
Collana |
|
NASA technical memorandum ; ; 110255 |
|
|
|
|
|
|
Soggetti |
|
Computer programming |
Computer programs |
User requirements |
Software development tools |
Program verification (computers) |
Software reliability |
Equations of state |
Specifications |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Title from title screen (viewed June 20, 2016). |
"May 1996." |
"Performing organization: NASA Langley Research Center, Hampton, VA"--Report documentation page. |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (pages 24-25). |
|
|
|
|
|