Software theory change for resilient near-complete specifications
Primiero, Giuseppe and Raimondi, Franco 
ORCID: https://orcid.org/0000-0002-9508-7713
(2015)
Software theory change for resilient near-complete specifications.
Procedia Computer Science, 52
.
pp. 988-995.
ISSN 1877-0509
[Article]
(doi:10.1016/j.procs.2015.05.091)
|
PDF
- Published version (with publisher's formatting)
Available under License Creative Commons Attribution-NonCommercial-NoDerivatives 4.0. Download (189kB) | Preview |
Abstract
Software evolution and its laws are essential for antifragile system design and development. In this paper we model early-stage
perfective and corrective changes to software system architecture in terms of logical operations of expansion and safe contraction
on a theory. As a result, we formulate an inference-based notion of property specification resilience for computational systems,
intended as resistance to change. The individuated resilient core of a software system is used to characterize adaptability properties.
| Item Type: | Article |
|---|---|
| Additional Information: | Available online 3 June 2015 |
| Keywords (uncontrolled): | Software Evolution; Theory Change; Property and System Resilience; System Adaptability. |
| Research Areas: | A. > School of Science and Technology > Computer Science |
| Item ID: | 16807 |
| Useful Links: | |
| Depositing User: | Franco Raimondi |
| Date Deposited: | 04 Jun 2015 10:35 |
| Last Modified: | 29 Nov 2022 22:45 |
| URI: | https://eprints.mdx.ac.uk/id/eprint/16807 |
Actions (login required)
 |
View Item |
Statistics
Additional statistics are available via IRStats2.
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)