Formality, Agility, Security, and Evolution in Software Development.
Combining formal and agile techniques in software development has the potential to minimize change-related problems.
| Publicado en: | Computer (00189162) Vol. 47; no. 10; pp. 86 - 90 |
|---|---|
| Autores principales: | , , , , |
| Formato: | Artículo |
| Publicado: |
IEEE
Oct2014
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=99041824&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 99041824 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00189162 PUT jtl: Computer (00189162) issn: 00189162 maglogo: N pubinfo: dt: Oct2014 vid: 47 iid: 10 pid: 13605 pub: IEEE artinfo: ui: 99041824 10.1109/MC.2014.284 ppf: 86 ppct: 4 formats: tig: atl: Formality, Agility, Security, and Evolution in Software Development. aug: au: Bowen, Jonathan P. Hinchey, Mike Janicke, Helge Ward, Martin Zedan, Hussein affil: Birmingham City University Lero--the Irish Software Engineering Research Centre, University of Limerick De Montfort University Applied Science University su: Computer software development Software engineers Software engineering Data security Computer software developers sug: subj: Computer software development Software engineers Software engineering Data security Computer software developers keyword: agile methods Computer security formal methods Formal specifications project management security Software algorithms Software development software engineering software evolution Software systems ab: Combining formal and agile techniques in software development has the potential to minimize change-related problems. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2014 holdings: @attributes: islocal: N |
|---|