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 | ||
| ||
Is model-based development a favorable approach for complex and safety-critical computer systems on commercial aircraft? / / Wilfredo Torres-Pomales
| Is model-based development a favorable approach for complex and safety-critical computer systems on commercial aircraft? / / Wilfredo Torres-Pomales |
| Autore | Torres-Pomales Wilfredo |
| Pubbl/distr/stampa | Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , December 2014 |
| Descrizione fisica | 1 online resource (8 pages) |
| Collana | NASA/TM |
| Soggetto topico |
Flight safety
Software engineering Computer systems design Software development tools Air transportation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910703731003321 |
|
Torres-Pomales Wilfredo
|
||
| Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , December 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
LabVIEW interface concepts used in NASA scientific investigations and virtual instruments / / Don J. Roth [and four others]
| LabVIEW interface concepts used in NASA scientific investigations and virtual instruments / / Don J. Roth [and four others] |
| Autore | Roth Don J. |
| Pubbl/distr/stampa | Cleveland, Ohio : , : National Aeronautics and Space Administration, Glenn Research Center, , February 2001 |
| Descrizione fisica | 1 online resource (22 pages) : illustrations |
| Collana | NASA/TM |
| Soggetto topico |
Computer programs
Virtual reality Measuring instruments Software development tools |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910706575803321 |
|
Roth Don J.
|
||
| Cleveland, Ohio : , : National Aeronautics and Space Administration, Glenn Research Center, , February 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Models and metrics for software management and engineering / / V.R. Basili
| Models and metrics for software management and engineering / / V.R. Basili |
| Autore | Basili Victor R. <1940-> |
| Pubbl/distr/stampa | College Park, Maryland : , : University of Maryland, , [1988] |
| Descrizione fisica | 1 online resource (pages 5-2 - 5-13) : illustrations |
| Collana | NASA-CR |
| Soggetto topico |
Architecture (computers)
Models Software engineering Resource allocation Software development tools |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910703888303321 |
|
Basili Victor R. <1940->
|
||
| College Park, Maryland : , : University of Maryland, , [1988] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
PLATSIM: a simulation and analysis package for large-order flexible systems (version 2.0) / / Peiman G. Maghami, Sean P. Kenny, and Daniel P. Giesy
| PLATSIM: a simulation and analysis package for large-order flexible systems (version 2.0) / / Peiman G. Maghami, Sean P. Kenny, and Daniel P. Giesy |
| Autore | Maghami Peiman G. |
| Edizione | [Version 2.0.] |
| Pubbl/distr/stampa | Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , December 1997 |
| Descrizione fisica | 1 online resource (v, 72 pages) : illustrations |
| Collana | NASA technical memorandum |
| Soggetto topico |
Applications programs (computers)
Computer programs Software development tools Linear systems Nonlinear systems |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | PLATSIM |
| Record Nr. | UNINA-9910707043903321 |
|
Maghami Peiman G.
|
||
| Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , December 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
SmaggIce: surface modeling and grid generation for iced airfoils, phase I results / / Mary B. Vickerman [and four others]
| SmaggIce: surface modeling and grid generation for iced airfoils, phase I results / / Mary B. Vickerman [and four others] |
| Autore | Vickerman Mary B. |
| Pubbl/distr/stampa | Cleveland, Ohio : , : National Aeronautics and Space Administration, Glenn Research Center, , December 1999 |
| Descrizione fisica | 1 online resource (11 pages) : illustrations |
| Collana | NASA/TM |
| Soggetto topico |
Software development tools
Computational fluid dynamics Grid generation (mathematics) Airfoils Aircraft icing Computer aided design |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | SmaggIce |
| Record Nr. | UNINA-9910706120903321 |
|
Vickerman Mary B.
|
||
| Cleveland, Ohio : , : National Aeronautics and Space Administration, Glenn Research Center, , December 1999 | ||
| 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 | ||
| ||
Stochastic-strength-based damage simulation tool for ceramic matrix and polymer matrix composite structures / / Noel N. Nemeth [and four others]
| Stochastic-strength-based damage simulation tool for ceramic matrix and polymer matrix composite structures / / Noel N. Nemeth [and four others] |
| Autore | Nemeth Noel N. |
| Pubbl/distr/stampa | Cleveland Ohio : , : National Aeronautics and Space Administration, Glenn Research Center, , October 2016 |
| Descrizione fisica | 1 online resource (40 pages) : color illustrations |
| Collana | NASA/TM |
| Soggetto topico |
Ceramic matrix composites
Polymer matrix composites Software development tools Software engineering Stochastic processes |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910707840003321 |
|
Nemeth Noel N.
|
||
| Cleveland Ohio : , : National Aeronautics and Space Administration, Glenn Research Center, , October 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Transformational derivation of programs using the Focus system [[electronic resource] /] / Uday S. Reddy
| Transformational derivation of programs using the Focus system [[electronic resource] /] / Uday S. Reddy |
| Autore | Reddy Uday S |
| Pubbl/distr/stampa | [Washington, D.C.] : , : [National Aeronautics and Space Administration], , [1988] |
| Descrizione fisica | 1 online resource (22 pages) |
| Collana | [NASA contractor report] |
| Soggetto topico |
Applications programs (computers)
Computer programming Program verification (computers) Software development tools Software engineering |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910702370303321 |
|
Reddy Uday S
|
||
| [Washington, D.C.] : , : [National Aeronautics and Space Administration], , [1988] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
User's guide for flight simulation data visualization workstation / / Joseph A. Kaplan [and four others]
| User's guide for flight simulation data visualization workstation / / Joseph A. Kaplan [and four others] |
| Autore | Kaplan Joseph A. <1902-1991, > |
| Pubbl/distr/stampa | Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , November 1996 |
| Descrizione fisica | 1 online resource (16 pages) : illustrations |
| Collana | NASA technical memorandum |
| Soggetto topico |
Display devices
Flight simulation Software development tools Software engineering User manuals (computer programs) Applications programs (computers) Scientific visualization |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910707911703321 |
|
Kaplan Joseph A. <1902-1991, >
|
||
| Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , November 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
