• DocumentCode
    111101
  • 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
  • Volume
    47
  • Issue
    10
  • fYear
    2014
  • fDate
    Oct. 2014
  • Firstpage
    86
  • Lastpage
    89
  • 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;
  • fLanguage
    English
  • Journal_Title
    Computer
  • Publisher
    ieee
  • ISSN
    0018-9162
  • Type

    jour

  • DOI
    10.1109/MC.2014.284
  • Filename
    6926663
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=111101