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 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.
| Original language | English |
|---|---|
| Title of host publication | Software Technology |
| Subtitle of host publication | 10 Years of Innovation in IEEE Computer |
| Publisher | wiley |
| Pages | 282-292 |
| Number of pages | 11 |
| ISBN (Electronic) | 9781119174240 |
| ISBN (Print) | 9781119174219 |
| DOIs | |
| Publication status | Published - 1 Jan 2018 |
Keywords
- agile software development
- agility formality
- program correctness
- software engineering
- software evolution
- system security
- transformation theory
Fingerprint
Dive into the research topics of 'Formality, Agility, Security, and Evolution in Software Engineering'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver