The Software of Space Exploration