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.
Software theory change for resilient near-complete specifications / G. Primiero, F. Raimondi. - In: PROCEDIA COMPUTER SCIENCE. - ISSN 1877-0509. - 52:1(2015), pp. 988-995. ((Intervento presentato al convegno 6th International Conference on Ambient Systems, Networks and Technologies (ANT) / 5th International Conference on Sustainable Energy tenutosi a London nel 2015 [10.1016/j.procs.2015.05.091].
Software theory change for resilient near-complete specifications
G. Primiero;
2015
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.
| File | Dimensione | Formato | |
|---|---|---|---|
|
1-s2.0-S1877050915008911-main.pdf
accesso aperto
Tipologia:
Publisher's version/PDF
Dimensione
197.58 kB
Formato
Adobe PDF
|
197.58 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
