Formality, agility, security, and evolution in software development

Jonathan P. Bowen; Mike Hinchey; Helge Janicke; Martin Ward; Hussein Zedan

doi:10.1109/MC.2014.284

Formality, agility, security, and evolution in software development

Jonathan P. Bowen
, Mike Hinchey
, Helge Janicke
, Martin Ward
, Hussein Zedan

Research output: Contribution to specialist publication › Article

Abstract

Combining formal and agile techniques in software development has the potential to minimize change-related problems.

Original language	English
Pages	86-89
Number of pages	4
Volume	47
No.	10
Specialist publication	Computer
DOIs	https://doi.org/10.1109/MC.2014.284
Publication status	Published - 1 Oct 2014

Keywords

agile methods
formal methods
project management
security
software engineering
software evolution

Access to Document

10.1109/MC.2014.284

Cite this

@misc{74438c01db554faa9f84e8469d32bfef,

title = "Formality, agility, security, and evolution in software development",

abstract = "Combining formal and agile techniques in software development has the potential to minimize change-related problems.",

keywords = "agile methods, formal methods, project management, security, software engineering, software evolution",

author = "Bowen, \{Jonathan P.\} and Mike Hinchey and Helge Janicke and Martin Ward and Hussein Zedan",

note = "Publisher Copyright: {\textcopyright} 2014 IEEE.",

year = "2014",

month = oct,

day = "1",

doi = "10.1109/MC.2014.284",

language = "English",

volume = "47",

pages = "86--89",

journal = "Computer",

issn = "0018-9162",

}

TY - GEN

T1 - Formality, agility, security, and evolution in software development

AU - Bowen, Jonathan P.

AU - Hinchey, Mike

AU - Janicke, Helge

AU - Ward, Martin

AU - Zedan, Hussein

PY - 2014/10/1

Y1 - 2014/10/1

N2 - Combining formal and agile techniques in software development has the potential to minimize change-related problems.

AB - Combining formal and agile techniques in software development has the potential to minimize change-related problems.

KW - agile methods

KW - formal methods

KW - project management

KW - security

KW - software engineering

KW - software evolution

UR - https://www.scopus.com/pages/publications/84908239815

U2 - 10.1109/MC.2014.284

DO - 10.1109/MC.2014.284

M3 - Article

AN - SCOPUS:84908239815

SN - 0018-9162

VL - 47

SP - 86

EP - 89

JO - Computer

JF - Computer

ER -

Formality, agility, security, and evolution in software development

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this