A theory of change for prioritised resilient and evolvable software systems

DOI10.1007/s11229-019-02305-7zbMath1525.68030OpenAlexW2954240195MaRDI QIDQ6067109

Giuseppe Primiero, Taolue Chen, Franco Raimondi

Publication date: 14 December 2023

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2434/652391

zbMATH Keywords

software evolutionsoftware reliabilitysoftware evolvabilitysoftware resilience

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Theory contraction through base contraction
• On the logic of theory change: safe contraction
• Maps between some different kinds of contraction function: the finite case
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• Enhancing model checking in verification by AI techniques
• Synthesizing robust systems
• Managing software requirements changes based on negotiation-style revision
• AGM-Style Belief Revision of Logic Programs under Answer Set Semantics
• A Model-Theoretic Approach to Belief Change in Answer Set Programming
• On the logic of theory change: Partial meet contraction and revision functions
• Efficient minimal preference change
• Belief revision and update: Complexity of model checking

This page was built for publication: A theory of change for prioritised resilient and evolvable software systems