發送短信: Innovations in software engineering for defense systems