An introduction to requirements capture using PVS : specification of a simple autopilot / / Ricky W. Butler
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Butler Ricky W.
|
| Titolo: |
An introduction to requirements capture using PVS : specification of a simple autopilot / / Ricky W. Butler
|
| Pubblicazione: | Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , May 1996 |
| Descrizione fisica: | 1 online resource (iii, 29 pages) : illustrations |
| Soggetto topico: | Computer programming |
| Computer programs | |
| User requirements | |
| Software development tools | |
| Program verification (computers) | |
| Software reliability | |
| Equations of state | |
| Specifications | |
| 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). |
| Altri titoli varianti: | Introduction to requirements capture using PVS |
| Titolo autorizzato: | An introduction to requirements capture using PVS |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910707240003321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |