Tun, Thein; Chapman, Rod; Haley, Charles; Laney, Robin and Nuseibeh, Bashar
(2009).
![[img]](http://oro.open.ac.uk/style/images/fileicons/application_pdf.png)
|
PDF (Version of Record)
- Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (144kB) |
| DOI (Digital Object Identifier) Link: | https://doi.org/10.1109/ECBS.2009.32 |
|---|---|
| Google Scholar: | Look up in Google Scholar |
Abstract
In response to changing requirements and other environmental influences, software systems are increasingly developed incrementally. Successful implementation of new features in existing software is often difficult, whilst many software systems simply `break' when features are introduced. Size and complexity of modern software, poor software design, and lack of appropriate tools are some of the factors that often confound the issue. In this paper, we report on a successful industrial experience of evolving a feature-rich program analysis tool for dependable software systems. The experience highlights the need for a development framework to maintain rich traceability between development artifacts, and to satisfy certain minimal necessary conditions of artifacts during and after the implementation of a new feature.
| Item Type: | Conference or Workshop Item | ||||||
|---|---|---|---|---|---|---|---|
| Copyright Holders: | 2009 IEEE | ||||||
| Project Funding Details: |
|
||||||
| Academic Unit/School: | Faculty of Science, Technology, Engineering and Mathematics (STEM) > Computing and Communications Faculty of Science, Technology, Engineering and Mathematics (STEM) |
||||||
| Interdisciplinary Research Centre: | Centre for Research in Computing (CRC) Centre for Policing Research and Learning (CPRL) International Development & Inclusive Innovation |
||||||
| Item ID: | 18373 | ||||||
| Depositing User: | Thein Tun | ||||||
| Date Deposited: | 08 Sep 2009 08:55 | ||||||
| Last Modified: | 10 Feb 2017 03:52 | ||||||
| URI: | http://oro.open.ac.uk/id/eprint/18373 | ||||||
| Share this page: |     |
Altmetrics | Scopus Citations |
Download history for this item
These details should be considered as only a guide to the number of downloads performed manually. Algorithmic methods have been applied in an attempt to remove automated downloads from the displayed statistics but no guarantee can be made as to the accuracy of the figures.