A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software Ewen Denney SGT / NASA Ames Moffett Field, CA 94035

Source URL: ti.arc.nasa.gov

• Software requirements
• Formal methods
• Procedural programming languages
• Requirement
• Comment
• Formal verification
• Traceability
• Axiom
• C
• Mathematical proof
• Metamath

Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal Ewen Denney, Ganesh Pai and Josef Pohl SGT / NASA Ames Research Center Moffett Field, CA 94035, USA Email: {ewen.denney, ganesh.pai, josef.po

Source URL: ti.arc.nasa.gov

• Avionics
• Safety engineering
• Safety
• Risk
• Systems engineering
• Hazard analysis
• Safety case
• Unmanned aerial vehicle
• Functional safety
• Autopilot
• System safety
• Avionics software

AeroClubNewsletter-PagesWinter2005

Source URL: www.aeroclubnorcal.org

• National Register of Historic Places in Santa Clara County
• California
• Moffett Federal Airfield
• Hangar
• USS Macon
• National Aeronautic Association
• Aero Club of America
• Naval aviation
• Airship
• Aircraft carrier
• Shenandoah Plaza National Historic District
• Henry Post Army Airfield

SSC16-VI-2 Prospector-1: The First Commercial Small Spacecraft Mission to an Asteroid Grant Bonin, Craig Foulds, Scott Armitage, and Daniel Faber Deep Space Industries, Inc. NASA Ames Research Park, Building 156, Moffett

Source URL: deepspaceindustries.com

• Discovery Program
• Planetary defense
• Deep Space Industries
• NEAR Shoemaker
• Asteroid mining
• Dawn
• Spacecraft
• Asteroid
• Near-Earth object
• Moon
• Vesta
• OSIRIS-REx

PATRIARCHS OF THE CHURCH OF THE EAST (from Moffett, History of Christianity in Asia, 119, 164, , 370, 392, 509) • Papa bar Aggai)

Source URL: www.oxuscom.com

NESTORIAN BISHOPRICS AND METROPOLITANATES Mingana, Early Spread of Christianity, 24-36, 73-76; supplemented by Atiya, History of Eastern Christianity, ; Moffett, History of Christianity in Asia, 464; Stewart, Nest

Source URL: www.oxuscom.com

IFAR – International Forum for Aviation Research Declaration Summitto 8 October 2015, NASA Ames Research Center in Moffett Field, California The International Forum for Aviation Research (IFAR) is the world’s

Source URL: www.ifar.aero

IFAR – International Forum for Aviation Research Declaration Summitto 8 October 2015, NASA Ames Research Center in Moffett Field, California The International Forum for Aviation Research (IFAR) is the world’s

Source URL: www.ifar.aero

R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems? Johann Schumann1 , Patrick Moosbrugger1 , and Kristin Y. Rozier2 1 SGT, Inc., NASA Ames, Moffett Field, CA, USA,

Source URL: research.temporallogic.org

USABILITY EVALUATION OF A FLIGHT-DECK AIRFLOW HAZARD VISUALIZATION SYSTEM Cecilia R. Aragon, University of California, Berkeley, California and NASA Ames Research Center, Moffett Field, California Abstract

Source URL: faculty.washington.edu