Keywords :
IEEE standards; aerospace computing; safety-critical software; IEEE standards; LADEE mission; LADEE software developers; Lunar Atmosphere Dust Environment Explorer; Moon; NASA; Software engineering; Space research; Space vehicles; LADEE; Lunar Atmosphere Dust Environment Explorer; NASA; software; standards;