SMS dit: Innovations in software engineering for defense systems