Formality, Agility, Security, and Evolution in Software Development

被引：4
|
作者：
Bowen, Jonathan P. [1 ]
Hinchey, Mike [2 ]
Janicke, Helge [3 ]
Ward, Martin [4 ]
Zedan, Hussein [5 ]
机构：
[1] Birmingham City Univ, Birmingham, W Midlands, England
[2] Univ Limerick, Res Ctr, Limerick, Ireland
[3] De Montfort Univ, Technol Res Lab, Leicester LE1 9BH, Leics, England
[4] De Montfort Univ, Leicester LE1 9BH, Leics, England
[5] Appl Sci Univ, Manama, Bahrain
来源：
COMPUTER | 2014年 / 47卷 / 10期
基金：
爱尔兰科学基金会;
关键词：
agile methods; formal methods; project management; security; software engineering; software evolution;
D O I：
10.1109/MC.2014.284
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Combining formal and agile techniques in software development has the potential to minimize change-related problems.
引用
收藏
页码：86 / 89
页数：4
相关论文
共 50 条
  • [1] Formality, Evolution, and Model-driven Software Engineering
    Davies, Jim
    Crichton, Charles
    Crichton, Edward
    Neilson, David
    Sorensen, Ib Holm
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 130 : 39 - 55
  • [2] Software development: Planning x agility
    Visconti, ED
    Spina, E
    [J]. SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2003, : 165 - 170
  • [3] What Constitutes Software Development Agility?
    Rathor, Shekhar
    Batra, Dinesh
    Xia, Weidong
    Zhang, Mingyu
    [J]. AMCIS 2016 PROCEEDINGS, 2016,
  • [4] Agility Facilitators for Contemporary Software Development
    Batra, Dinesh
    Xia, Weidong
    Rathor, Shekhar
    [J]. JOURNAL OF DATABASE MANAGEMENT, 2016, 27 (01) : 1 - 28
  • [5] Lost in Agility? Approaching Software Localization in Agile Software Development
    Ressin, Malte
    Abdelnour-Nocera, Jose
    Smith, Andy
    [J]. AGILE PROCESSES IN SOFTWARE ENGINEERING AND EXTREME PROGRAMMING, 2011, 77 : 320 - 321
  • [6] Examining Perceptions of Agility in Software Development Practice
    de Cesare, Sergio
    Lycett, Mark
    Macredie, Robert D.
    Patel, Chaitali
    Paul, Ray
    [J]. COMMUNICATIONS OF THE ACM, 2010, 53 (06) : 126 - 130
  • [7] Implementing Agility in Large Software Development Projects
    Abu Lebdeh, Lina
    Qasim, Amer
    Kharbat, Faten
    [J]. TEM JOURNAL-TECHNOLOGY EDUCATION MANAGEMENT INFORMATICS, 2020, 9 (03): : 1285 - 1294
  • [8] Evolution of software security - A must
    Khan, K
    Gangavarapu, N
    Pham, H
    [J]. SERP'04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2004, : 807 - 812
  • [9] Using a Validation Model to Measure the Agility of Software Development in a Large Software Development Organization
    Ikoma, Mikio
    Ooshima, Masayuki
    Tanida, Takahiro
    Oba, Michiko
    Sakai, Sanshiro
    [J]. 2009 31ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, COMPANION VOLUME, 2009, : 91 - 100
  • [10] Dataset on the influence of software development agility on software firms' performance in Bangladesh
    Sadia, Farzana
    Mahmud, Imran
    Dhar, Eva
    Jahan, Nusrat
    Hossain, Syeda Sumbul
    Satter, A. K. M. Zaidi
    [J]. DATA IN BRIEF, 2019, 23
12345