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)

[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