Software Theory Change for Resilient Near-Complete Specifications | Zendy

Giuseppe Primiero | Zendy; Franco Raimondi | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Software Theory Change for Resilient Near-Complete Specifications

Author(s) -

Giuseppe Primiero,

Franco Raimondi

Publication year - 2015

Publication title -

procedia computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.334

H-Index - 76

ISSN - 1877-0509

DOI - 10.1016/j.procs.2015.05.091

Subject(s) - computer science , adaptability , software engineering , software development , resilience (materials science) , software evolution , software , software system , software architecture , inference , architecture , programming language , software construction , artificial intelligence , art , ecology , physics , visual arts , biology , thermodynamics

oftware 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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research