Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
An introduction to requirements capture using PVS : specification of a simple autopilot / / Ricky W. Butler
| An introduction to requirements capture using PVS : specification of a simple autopilot / / Ricky W. Butler |
| Autore | Butler Ricky W. |
| 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 |
| Soggetto topico |
Computer programming
Computer programs User requirements Software development tools Program verification (computers) Software reliability Equations of state Specifications |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Introduction to requirements capture using PVS |
| Record Nr. | UNINA-9910707240003321 |
Butler Ricky W.
|
||
| Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , May 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
NASA software engineering benchmarking study / / Heather L. Rarick [and four others]
| NASA software engineering benchmarking study / / Heather L. Rarick [and four others] |
| Autore | Rarick Heather L. |
| Pubbl/distr/stampa | Washington, DC : , : National Aeronautics and Space Administration, , 2013 |
| Descrizione fisica | 1 online resource (viii, 128 pages) : illustrations (some color) |
| Collana | NASA/SP |
| Soggetto topico |
Software engineering
Computer programming Standards Systems management Computer systems programs Aerospace industry Program verification (computers) Software reliability |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | National Aeronautics and Space Administration software engineering benchmarking study |
| Record Nr. | UNINA-9910704629603321 |
|
Rarick Heather L.
|
||
| Washington, DC : , : National Aeronautics and Space Administration, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Planning the unplanned experiment : assessing the efficacy of standards for safety critical software / / Patrick J. Graydon and C. Michael Holloway
| Planning the unplanned experiment : assessing the efficacy of standards for safety critical software / / Patrick J. Graydon and C. Michael Holloway |
| Autore | Graydon Patrick J. |
| Pubbl/distr/stampa | Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , September 2015 |
| Descrizione fisica | 1 online resource (42 pages) |
| Collana | NASA/TM |
| Soggetto topico |
Software engineering
Safety Standards Assessments Software reliability |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Planning the unplanned experiment |
| Record Nr. | UNINA-9910704156803321 |
|
Graydon Patrick J.
|
||
| Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , September 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Results of a flight simulation software methods survey / / E. Bruce Jackson
| Results of a flight simulation software methods survey / / E. Bruce Jackson |
| Autore | Jackson E. Bruce |
| Pubbl/distr/stampa | [Washington, D.C.] : , : National Aeronautics and Space Administration, , [1995] |
| Descrizione fisica | 1 online resource (7 pages) : illustrations |
| Collana | NASA-TM |
| Soggetto topico |
Computerized simulation
Flight simulation Software reliability Surveys Workloads (psychophysiology) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910705791903321 |
|
Jackson E. Bruce
|
||
| [Washington, D.C.] : , : National Aeronautics and Space Administration, , [1995] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Selecting an architecture for a safety-critical distributed computer system with power, weight and cost considerations / / Wilfredo Torres-Pomales
| Selecting an architecture for a safety-critical distributed computer system with power, weight and cost considerations / / Wilfredo Torres-Pomales |
| Autore | Torres-Pomales Wilfredo |
| Pubbl/distr/stampa | Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , April 2014 |
| Descrizione fisica | 1 online resource (iv, 17 pages) : color illustrations |
| Collana | NASA/TM |
| Soggetto topico |
Architecture (computers)
Computer systems design Decision making Design analysis Reliability Safety Software reliability |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910702429903321 |
|
Torres-Pomales Wilfredo
|
||
| Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , April 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software design improvements / / Vincent R. Lalli, Michael H. Packard, Tom Ziemianski
| Software design improvements / / Vincent R. Lalli, Michael H. Packard, Tom Ziemianski |
| Autore | Lalli Vincent R. |
| Pubbl/distr/stampa | Cleveland, Ohio : , : National Aeronautics and Space Administration, Lewis Research Center, , February 1997 |
| Descrizione fisica | 1 online resource (2 volumes) : illustrations |
| Collana | NASA technical memorandum |
| Soggetto topico |
Computer program integrity
Computer programs Program verification (computers) Quality control Software engineering Software development tools Software reliability |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | pt. 1. Software benefits and limitations. -- pt. 2. Software quality and the design and inspection process. |
| Record Nr. | UNINA-9910707496103321 |
|
Lalli Vincent R.
|
||
| Cleveland, Ohio : , : National Aeronautics and Space Administration, Lewis Research Center, , February 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
