Innovations in Software Engineering for Defense Systems