Balancing Agility and Formalism in Software Engineering | lit.salon