Formality, Agility, Security, and Evolution in Software Engineering | part of Software Technology: 10 Years of Innovation in IEEE Computer | Wiley-IEEE Press books | IEEE Xplore