Consistency management with repair actions
Proceedings of the 25th International Conference on Software Engineering
requirements uncertainty: influencing factors and concrete improvements
Proceedings of the 27th international conference on Software engineering
Requirements Engineering
Detecting and Repairing Inconsistencies across Heterogeneous Models
ICST '08 Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation
Change Management in Multi-Viewpoint System Using ASP
EDOCW '08 Proceedings of the 2008 12th Enterprise Distributed Object Computing Conference Workshops
Incremental Detection of Model Inconsistencies Based on Model Operations
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Supporting automatic model inconsistency fixing
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Backbones and backdoors in satisfiability
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
SAT-based analysis of feature models is easy
Proceedings of the 13th International Software Product Line Conference
Incremental resolution of model inconsistencies
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
Automated analysis of feature models 20 years later: A literature review
Information Systems
On Computing Backbones of Propositional Theories
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Requirements-Aware Systems: A Research Agenda for RE for Self-adaptive Systems
RE '10 Proceedings of the 2010 18th IEEE International Requirements Engineering Conference
Towards fixing inconsistencies in models with variability
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
On solving the partial MAX-SAT problem
SAT'06 Proceedings of the 9th international conference on Theory and Applications of Satisfiability Testing
Language independent refinement using partial modeling
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Partial models: towards modeling and reasoning with uncertainty
Proceedings of the 34th International Conference on Software Engineering
Computing repair trees for resolving inconsistencies in design models
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Managing requirements uncertainty with partial models
RE '12 Proceedings of the 2012 IEEE 20th International Requirements Engineering Conference (RE)
Comparing the effectiveness of reasoning formalisms for partial models
Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation
| Hi-index | 0.00 |
Uncertainty is ubiquitous in software engineering; however, it has been typically handled in adhoc and informal ways within software models. Automated change propagation is recognized as a key tool for managing the accidental complexity that comes with multiple interrelated models. In this paper, we address change propagation in the context of model uncertainty and consider the case where changes in the level of uncertainty in a model can be propagated to related models. We define such uncertainty change propagation using our earlier formalization and develop automated propagation algorithms using an SMT solver. A preliminary evaluation shows that the approach is feasible.