24 papers:
ICSE-v2-2015-LindvallGAW #case study #experience #modelling #testing- Metamorphic Model-Based Testing Applied on NASA DAT — An Experience Report (ML, DG, RA, REW), pp. 129–138.
HIMI-HSM-2013-ParkRSOKAVSM #assessment #development- Development of Haptic Assistance for Route Assessment Tool of NASA NextGen Cockpit Situation Display (EP, JR, PS, RO, MTK, GBA, KPLV, TZS, PM), pp. 163–172.
ICEIS-v2-2013-SierraCVCV #education #re-engineering #recommendation- Microworld-type Ethnoeducational Computer Materials to Support the Teaching of Nasa-Yuwe — Recommendations from a Software Engineering Disciplines Viewpoint for Constructing Microworld-type Ethnoeducational Materials Aimed at Supporting Nasa Yuwe Language Teaching (LMS, EASC, JAV, TRC, EMV), pp. 526–531.
QoSA-2012-Barnes #architecture #case study #evolution #multi- NASA’s advanced multimission operations system: a case study in software architecture evolution (JMB), pp. 3–12.
KDD-2012-OuyangG #adaptation #named #performance- NASA: achieving lower regrets and faster rates via adaptive stepsizes (HO, AGG), pp. 159–167.
- KDD-2009-Srivastava #data mining #mining
- Data mining at NASA: from theory to applications (ANS), pp. 7–8.
SAC-2008-VassevHP #specification #towards- Towards an ASSL specification model for NASA swarm-based exploration missions (EV, MH, JP), pp. 1652–1657.
ISSTA-2008-PasareanuMBGLPP #execution #symbolic computation #testing- Combining unit-level symbolic execution and system-level concrete execution for testing NASA software (CSP, PCM, DHB, KGB, MRL, SP, MP), pp. 15–26.
- HCI-MIE-2007-FreardJBPB #interactive #metric #multimodal
- Subjective Measurement of Workload Related to a Multimodal Interaction Task: NASA-TLX vs. Workload Profile (DF, EJ, OLB, GP, VB), pp. 60–69.
- SAC-2007-HincheyDRTM #self
- Bionic autonomic nervous system and self-healing for NASA ANTS-like missions (MGH, YSD, JLR, WT, MM), pp. 90–96.
CHI-2004-GozaADS #framework- Telepresence control of the NASA/DARPA robonaut on a mobility platform (SMG, ROA, MAD, IMS), pp. 623–629.
SEKE-2003-MenziesLM #analysis #fault- Better Analysis of Defect Data at NASA (TM, RRL, ICM), pp. 607–611.
- SAC-2002-HexmoorV
- Computational adjustable autonomy for NASA Personal Satellite Assistants (HH, JTV), pp. 21–26.
- ICSE-2002-BasiliMPZ #lessons learnt #process #re-engineering
- Lessons learned from 25 years of process improvement: the rise and fall of the NASA software engineering laboratory (VRB, FEM, RP, MVZ), pp. 69–79.
CBSE-2001-GiannakopoulouP #certification #component #verification- Component Verification and Certification in NASA Missions (DG, JP), p. 23.
ICSM-2001-ZelkowitzR #independence #maintenance #safety #validation #verification- The Role of Independent Verification and Validation in Maintaining a Safety Critical Evolutionary Software in a Complex Environment: The NASA Space Shuttle Program (MVZ, IR), pp. 118–126.
RE-2001-Rosenburg #requirements- Requirements Management at NASA (LR), p. 275.
- ICSE-2001-ZelkowitzR #comprehension #safety
- Understanding IV & V in a Safety Critical and Complex Evolutionary Environment: The NASA Space Shuttle Program (MVZ, IR), pp. 349–357.
HPDC-2000-HinkeN #data mining #grid #mining #power management- Data Mining on NASA’s Information Power Grid (THH, JN), pp. 292–293.
- HPDC-1999-JohnstonGN #aspect-oriented #grid #power management
- Grids as Production Computing Environments: The Engineering Aspects of NASA’s Information Power Grid (WEJ, DG, BN), pp. 197–204.
FME-1996-Vito #formal method #navigation #requirements- Formalizing New Navigation Requirements for NASA’s Space Shuttle (BLDV), pp. 160–178.
SIGMOD-1992-Dozier #data access- Access to Data in NASA’s Earth Observing System (JD), p. 1.
- ICSE-1991-Bush #process
- Process Assessments in NASA (MWB), pp. 299–304.
- CHI-1989-RudisillG #human-computer #interactive
- NASA Johnson Space Center, Human-Computer Interaction (MR, DJG), pp. 55–56.
