Title :
Formality, Agility, Security, and Evolution in Software Development
Author :
Bowen, Jonathan P. ; Hinchey, Mike ; Janicke, Helge ; Ward, M. ; Zedan, Hussein
Author_Institution :
Birmingham City Univ., Birmingham, UK
Abstract :
Combining formal and agile techniques in software development has the potential to minimize change-related problems.
Keywords :
software maintenance; software prototyping; agile techniques; agility; change-related problem minimization; evolution; formal techniques; formality; security; software development; Computer security; Formal specifications; Software algorithms; Software development; Software systems; agile methods; formal methods; project management; security; software engineering; software evolution;
DOI :
10.1109/MC.2014.284
