MODIS Information, Data, and Control System (MIDACS) operations concepts / / D. Han [and eleven others] |
Autore | Han D (Daesoo) |
Pubbl/distr/stampa | Washington, D.C. : , : National Aeronautics and Space Administration, Information Management Division, , December 1988 |
Descrizione fisica | 1 online resource (ix, 74 pages) : illustrations |
Collana | NASA technical memorandum |
Soggetto topico |
Calibrating
Data acquisition Data processing Mission planning Program verification (computers) Real time operation |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | MODIS Information, Data, and Control System |
Record Nr. | UNINA-9910706126503321 |
Han D (Daesoo)
![]() |
||
Washington, D.C. : , : National Aeronautics and Space Administration, Information Management Division, , December 1988 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Parallel ALLSPD-3D : speeding up combustor analysis via parallel processing / / David M. Fricker |
Autore | Fricker David M. |
Pubbl/distr/stampa | Cleveland, Ohio : , : NASA Lewis Research Center and U.S. Army Research Laboratory, , June 1997 |
Descrizione fisica | 1 online resource (8 pages) : illustrations |
Collana | NASA technical memorandum |
Soggetto topico |
Flow distribution
Computational fluid dynamics Parallel processing (computers) Reacting flow Applications programs (computers) Program verification (computers) |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | Parallel ALLSPD-3D |
Record Nr. | UNINA-9910705782903321 |
Fricker David M.
![]() |
||
Cleveland, Ohio : , : NASA Lewis Research Center and U.S. Army Research Laboratory, , June 1997 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Summary of EASM turbulence models in CFL3D with validation test cases / / Christopher L. Rumsey and Thomas B. Gatski |
Autore | Rumsey C. L (Christopher Lockwood), <1961-> |
Pubbl/distr/stampa | Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , June 2003 |
Descrizione fisica | 1 online resource (41 pages) : illustrations |
Collana | NASA/TM |
Soggetto topico |
K-epsilon turbulence model
K-omega turbulence model Computational fluid dynamics Turbulent flow Separated flow Program verification (computers) Coding |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | Summary of Explicit Algebraic Stress Model turbulence models in CFL3D with validation test cases |
Record Nr. | UNINA-9910705663503321 |
Rumsey C. L (Christopher Lockwood), <1961->
![]() |
||
Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , June 2003 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|