Title: Formality, Agility, Security, and Evolution in Software Engineering
Abstract:Formal methods and agile software development as part of the software engineering process have sometimes been seen as opposing techniques that are difficult to reconcile. However, in the opinion of th...Formal methods and agile software development as part of the software engineering process have sometimes been seen as opposing techniques that are difficult to reconcile. However, in the opinion of the authors, these two approaches are orthogonal and complementary in nature, at least when used judiciously in a real-world setting. Both methodologies have benefits and drawbacks. Used together, it is possible to improve the benefits of both in a synergistic way. In this chapter, we consider the application of a formal agile approach in two areas that are important in software engineering, namely system security and software evolution.Read More
Publication Year: 2018
Publication Date: 2018-07-03
Language: en
Type: other
Indexed In: ['crossref']
Access and Citation
Cited By Count: 4
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot