Title: Balancing Agility and Formalism in Software Engineering