{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T22:10:09Z","timestamp":1745964609551,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642370564"},{"type":"electronic","value":"9783642370571"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37057-1_3","type":"book-chapter","created":{"date-parts":[[2013,2,18]],"date-time":"2013-02-18T19:37:04Z","timestamp":1361216224000},"page":"21-36","source":"Crossref","is-referenced-by-count":10,"title":["Change Propagation due to Uncertainty Change"],"prefix":"10.1007","author":[{"given":"Rick","family":"Salay","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Gorzny","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marsha","family":"Chechik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"6","key":"3_CR1","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1016\/j.is.2010.01.001","volume":"35","author":"D. Benevides","year":"2010","unstructured":"Benevides, D., Segura, S., Cortes, A.: Automated Analysis of Feature Models 20 years Later: a Literature Review. Inf. Syst.\u00a035(6), 615\u2013636 (2010)","journal-title":"Inf. Syst."},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-642-02144-2_8","volume-title":"Advanced Information Systems Engineering","author":"X. Blanc","year":"2009","unstructured":"Blanc, X., Mougenot, A., Mounier, I., Mens, T.: Incremental Detection of Model Inconsistencies Based on Model Operations. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol.\u00a05565, pp. 32\u201346. Springer, Heidelberg (2009)"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Ebert, C., De Man, J.: Requirements Uncertainty: Influencing Factors and Concrete Improvements. In: Proc. of ICSE 2005, pp. 553\u2013560 (2005)","DOI":"10.1145\/1062455.1062554"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Eramo, R., Pierantonio, A., Romero, J., Vallecillo, A.: Change Management in Multi-Viewpoint System Using ASP. In: Proc. Int. Wrkshp. on ODP for Enterprise Computing, pp. 433\u2013440. IEEE (2008)","DOI":"10.1109\/EDOCW.2008.22"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Famelis, M., Chechik, M., Salay, R.: Partial Models: Towards Modeling and Reasoning with Uncertainty. In: Proc. of ICSE 2012, pp. 573\u2013583 (2012)","DOI":"10.1109\/ICSE.2012.6227159"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/11814948_25","volume-title":"Theory and Applications of Satisfiability Testing - SAT 2006","author":"Z. Fu","year":"2006","unstructured":"Fu, Z., Malik, S.: On Solving the Partial MAX-SAT Problem. In: Biere, A., Gomes, C.P. (eds.) SAT 2006. LNCS, vol.\u00a04121, pp. 252\u2013265. Springer, Heidelberg (2006)"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Ibrahim, H., Far, B.H., Eberlein, A., Daradkeh, Y.: Uncertainty Management in Software Engineering: Past, Present, and Future. In: Proc. of CCECE 2009, pp. 7\u201312 (2009)","DOI":"10.1109\/CCECE.2009.5090081"},{"key":"3_CR8","unstructured":"Kilby, P., Slaney, J., Thi\u00e9baux, S., Walsh, T.: Backbones and Backdoors in Satisfiability. In: Proc. AAAI 2005, pp. 1368\u20131373 (2005)"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Kolovos, D., Paige, R., Polack, F.: Detecting and Repairing Inconsistencies across Heterogeneous Models. In: ICSTVV 2008, April 9-11, pp. 356\u2013364 (2008)","DOI":"10.1109\/ICST.2008.23"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Lopez-Heerejon, R., Egyed, A.: Towards Fixing Inconsistencies in Models with Variability. In: Proc. of VaMoS 2012, pp. 93\u2013100 (2012)","DOI":"10.1145\/2110147.2110158"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Marques-Silva, J., Janota, M., Lynce, I.: On Computing Backbones of Propositional Theories. In: Proc. of ECAI 2010, pp. 15\u201320 (2010)","DOI":"10.3233\/978-1-60750-606-5-15"},{"key":"3_CR12","unstructured":"Mendonca, M., Wasowski, A., Czarnecki, K.: SAT-based Analysis of Feature Models is Easy. In: Proc. of SPLC 2009, pp. 231\u2013240 (2009)"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Mens, T.: Introduction and Roadmap: History and Challenges of Software Evolution. In: Software Evolution, pp. 1\u201311 (2008)","DOI":"10.1007\/978-3-540-76440-3_1"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-540-71998-4_7","volume-title":"Recent Trends in Algebraic Development Techniques","author":"T. Mens","year":"2007","unstructured":"Mens, T., Van Der Straeten, R.: Incremental Resolution of Model Inconsistencies. In: Fiadeiro, J.L., Schobbens, P.-Y. (eds.) WADT 2006. LNCS, vol.\u00a04409, pp. 111\u2013126. Springer, Heidelberg (2007)"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Nentwich, C., Emmerich, W., Finkelstein, A.: Consistency Management with Repair Actions. In: Proc. of ICSE 2003, pp. 455\u2013464 (2003)","DOI":"10.1109\/ICSE.2003.1201223"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Reder, A., Egyed, A.: Computing Repair Trees for Resolving Inconsistencies in Design Models. In: Proc. of ASE 2012, pp. 220\u2013229 (2012)","DOI":"10.1145\/2351676.2351707"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Saadatpanah, P., Famelis, M., Gorzny, J., Robinson, N., Chechik, M., Salay, R.: Comparing the Effectiveness of Reasoning Formalisms for Partial Models. In: Proc. of MoDeVVa (2012)","DOI":"10.1145\/2427376.2427384"},{"key":"3_CR18","unstructured":"Sabetzadeh, M., Nejati, S., Chechik, M., Easterbrook, S.: Reasoning about Consistency in Model Merging. In: Proc. Workshop on Living with Inconsistency, LWI 2010 (2010)"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Salay, R., Chechik, M., Horkoff, J.: Managing Requirements Uncertainty with Partial Models. In: Proc. of RE 2012 (2012)","DOI":"10.1109\/RE.2012.6345804"},{"key":"3_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1007\/978-3-642-28872-2_16","volume-title":"FASE 2012","author":"R. Salay","year":"2012","unstructured":"Salay, R., Famelis, M., Chechik, M.: Language Independent Refinement Using Partial Modeling. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol.\u00a07212, pp. 224\u2013239. Springer, Heidelberg (2012)"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Sawyer, P., Bencomo, N., Whittle, J., Letier, E., Finkelstein, A.: Requirements-Aware Systems: A Research Agenda for RE for Self-adaptive Systems. In: Proc. of RE 2010, pp. 95\u2013103 (2010)","DOI":"10.1109\/RE.2010.21"},{"key":"3_CR22","unstructured":"van Lamsweerde, A.: Requirements Engineering - From System Goals to UML Models to Software Specifications. Wiley (2009)"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Xiong, Y., Hu, Z., Zhao, H., Song, H., Takeichi, M., Mei, H.: Supporting Automatic Model Inconsistency Fixing. In: Proc. of ESEC\/FSE 2009, pp. 315\u2013324 (2009)","DOI":"10.1145\/1595696.1595757"},{"key":"3_CR24","unstructured":"Ziv, H., Richardson, D., Kl\u00f6sch, R.: The Uncertainty Principle in Software Engineering (1996) (unpublished)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37057-1_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T21:32:42Z","timestamp":1745962362000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-37057-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642370564","9783642370571"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37057-1_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}