Գրեք սա: Innovations in software engineering for defense systems