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 (doi:10.1016/j.procs.2015.05.091)

[img]
Preview
PDF - Published version (with publisher's formatting)
Available under License Creative Commons Attribution-NonCommercial-NoDerivatives.

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: 31 May 2019 13:52
URI: https://eprints.mdx.ac.uk/id/eprint/16807

Actions (login required)

View Item View Item

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year