{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,20]],"date-time":"2026-09-20T20:22:39Z","timestamp":1789935759226,"version":"4.0.1"},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2013,4,25]],"date-time":"2013-04-25T00:00:00Z","timestamp":1366848000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Requirements Eng"],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1007\/s00766-013-0170-y","type":"journal-article","created":{"date-parts":[[2013,5,1]],"date-time":"2013-05-01T13:23:44Z","timestamp":1367414624000},"page":"107-128","source":"Crossref","is-referenced-by-count":45,"title":["Managing requirements uncertainty with partial models"],"prefix":"10.1007","volume":"18","author":[{"given":"Rick","family":"Salay","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marsha","family":"Chechik","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jennifer","family":"Horkoff","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alessio Di","family":"Sandro","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2013,4,25]]},"reference":[{"key":"170_CR1","doi-asserted-by":"crossref","unstructured":"Assawamekin N (2010) An ontology-based approach for multiperspective requirements traceability between analysis models. In: Proceedings of ACIS\u201910, pp 673\u2013678","DOI":"10.1109\/ICIS.2010.43"},{"key":"170_CR2","doi-asserted-by":"crossref","unstructured":"Blanc X, Mougenot A, Mounier I, Mens T (2009) Incremental detection of model inconsistencies based on model operations. In: Advanced information systems engineering, vol 5565. Springer, Berlin, pp. 32\u201346","DOI":"10.1007\/978-3-642-02144-2_8"},{"key":"170_CR3","unstructured":"Cysneiros G, Zisman A, Spanoudakis G (2003) A traceability approach from i* and UML models. In: Proceedings of SELMAS\u201903, LNCS"},{"key":"170_CR4","doi-asserted-by":"crossref","unstructured":"Ebert C, De Man J (2005) Requirements uncertainty: Influencing factors and concrete improvements. In: Proceedings of ICSE\u201905, pp 553\u2013560","DOI":"10.1145\/1062455.1062554"},{"issue":"2","key":"170_CR5","first-page":"116","volume":"29","author":"A. Egyed","year":"2003","unstructured":"Egyed A (2003) A scenario-driven approach to trace dependency analysis. IEEE TSE 29(2):116\u2013132","journal-title":"IEEE TSE"},{"key":"170_CR6","doi-asserted-by":"crossref","unstructured":"Famelis M, Chechik M, Salay R (2012) Partial models: Towards modeling and reasoning with uncertainty. In: Proceedings of ICSE\u201912","DOI":"10.1109\/ICSE.2012.6227159"},{"key":"170_CR7","doi-asserted-by":"crossref","unstructured":"Famelis M, Salay R, Chechik M (2012) The semantics of partial model transformations. In: Proceedings of MiSE\u201912","DOI":"10.1109\/MISE.2012.6226016"},{"key":"170_CR8","doi-asserted-by":"crossref","unstructured":"Famelis M, Santosa S (2013) MAV-Vis: a notation for model uncertainty. In: Proceedings of MiSE\u201913. To appear","DOI":"10.1109\/MiSE.2013.6595289"},{"key":"170_CR9","doi-asserted-by":"crossref","unstructured":"Gilson F, Englebert V (2011) Rationale, Decisions and alternatives\u2014traceability for architecture design. In: Proceedings of ECSA\u201911, companion vol, pp 4:1\u20134:9","DOI":"10.1145\/2031759.2031764"},{"key":"170_CR10","doi-asserted-by":"crossref","unstructured":"Goknil A, Kurtev I, van den Berg K (2010) Tool support for generation and validation of traces between requirements and architecture. In: Proceedings of ECMFA-TW\u201910, pp 39\u201346","DOI":"10.1145\/1814392.1814398"},{"key":"170_CR11","doi-asserted-by":"crossref","unstructured":"Gordijn J, Petit M, Wieringa R (2006) Understanding business strategies of networked value constellations using goal- and value modeling. In: Proceedings of ICRE\u201906, pp 126\u2013135","DOI":"10.1109\/RE.2006.69"},{"key":"170_CR12","doi-asserted-by":"crossref","unstructured":"Herrmann T (2009) Systems design with the socio-technical walkthrough. In: Handbook of research on socio-technical design and social networking systems, pp 336\u2013351","DOI":"10.4018\/978-1-60566-264-0.ch023"},{"key":"170_CR13","doi-asserted-by":"crossref","unstructured":"Horkoff J, Yu E (2010) Interactive goal model analysis applied\u2014systematic procedures versus ad hoc analysis. In: The practice of enterprise modeling, 3rd IFIP WG8.1 (PoEM\u201910)","DOI":"10.1007\/978-3-642-16782-9_10"},{"key":"170_CR14","doi-asserted-by":"crossref","unstructured":"Ibrahim H, Far BH, Eberlein A, Daradkeh Y (2009) Uncertainty management in software engineering: Past, present, and future. In: Proceedings of CCECE\u201909, pp 7\u201312","DOI":"10.1109\/CCECE.2009.5090081"},{"key":"170_CR15","doi-asserted-by":"crossref","unstructured":"Islam S, Houmb SH (2010) Integrating risk management activities into requirements engineering. In: Proceedings of RCIS\u201910, pp 299\u2013310","DOI":"10.1109\/RCIS.2010.5507389"},{"key":"170_CR16","doi-asserted-by":"crossref","unstructured":"Jirapanthong W (2009) Analysis of relationships among software models through traceability activity. In: Advances in information technology, communications in computer and information science vol 55, pp 71\u201380","DOI":"10.1007\/978-3-642-10392-6_8"},{"key":"170_CR17","doi-asserted-by":"crossref","unstructured":"Kaiya H, Horai H, Saeki M (2002) AGORA: attributed goal-oriented requirements analysis method. In: Proceedings of RE\u201902, pp 13\u201322","DOI":"10.1109\/ICRE.2002.1048501"},{"key":"170_CR18","doi-asserted-by":"crossref","unstructured":"Kolovos D, Paige R, Polack F (2008) Detecting and repairing inconsistencies across heterogeneous models. In: Proceedings of ICSTVV\u201908, pp 356\u2013364","DOI":"10.1109\/ICST.2008.23"},{"key":"170_CR19","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/s11334-005-0009-x","volume":"1","author":"PA Laplante","year":"2005","unstructured":"Laplante PA, Neill CJ (2005) Modeling uncertainty in software engineering using rough sets. J Innov Syst Soft Eng 1:71\u201378","journal-title":"J Innov Syst Soft Eng"},{"issue":"4","key":"170_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1082983.1083075","volume":"30","author":"A Lapouchnian","year":"2005","unstructured":"Lapouchnian A, Liaskos S, Mylopoulos J, Yu Y (2005) Towards requirements-driven autonomic systems design. ACM SIGSOFT SEN 30(4):1","journal-title":"ACM SIGSOFT SEN"},{"key":"170_CR21","unstructured":"Larsen KG, Thomsen B (1988) A Modal process logic. In: Proceedings of LICS\u201988, pp 203\u2013210"},{"key":"170_CR22","doi-asserted-by":"crossref","unstructured":"Larsen P (1991) The expressive power of implicit specifications. In: Proceedings of ICALP\u201991, LNCS, vol 510, pp 204\u2013216","DOI":"10.1007\/3-540-54233-7_135"},{"key":"170_CR23","doi-asserted-by":"crossref","unstructured":"Lin L, Zhi J (2006) Integrating goals and problem frames in requirements analysis. In: Proceedings of RE\u201906, pp 349\u2013350","DOI":"10.1109\/RE.2006.34"},{"key":"170_CR24","doi-asserted-by":"crossref","unstructured":"Lung J, Easterbrook SM (2012) Inflo: collaborative reasoning via open calculation graphs. In: Proceedings of CSCW\u201912, pp 1199\u20131202","DOI":"10.1145\/2145204.2145384"},{"key":"170_CR25","doi-asserted-by":"crossref","unstructured":"Mader P, Gotel O, Philippow I (2008) Enabling automated traceability maintenance by recognizing development activities applied to models. In: Proceedings of ASE\u201908, pp 49\u201358","DOI":"10.1109\/ASE.2008.15"},{"key":"170_CR26","doi-asserted-by":"crossref","unstructured":"Maiden N, Jones S, Manning S, Greenwood J, Renou L (2004) Model-driven requirements engineering: synchronising models in an air traffic management case study. In: Proceedings of CAiSE\u201904, LNCS, vol 3084, pp 3\u201321","DOI":"10.1007\/978-3-540-25975-6_27"},{"key":"170_CR27","doi-asserted-by":"crossref","unstructured":"Maiden N, Lockerbie J, Randall D, Jones S, Bush D (2007) Using satisfaction arguments to enhance i* modelling of an air traffic management system. In: Proceedings of RE\u201907, pp 49\u201352","DOI":"10.1109\/RE.2007.14"},{"key":"170_CR28","doi-asserted-by":"crossref","unstructured":"Mens T (2008) Introduction and roadmap: history and challenges of software evolution. In: Software evolution, pp 1\u201311","DOI":"10.1007\/978-3-540-76440-3_1"},{"key":"170_CR29","doi-asserted-by":"crossref","unstructured":"Mens T, Straeten RVD (2007) Incremental resolution of model inconsistencies. In: Proc. of WADT\u201906, pp 111\u2013126. Springer, Berlin","DOI":"10.1007\/978-3-540-71998-4_7"},{"key":"170_CR30","doi-asserted-by":"crossref","unstructured":"Moisiadis F (2000) Prioritising scenario evolution. In: Proceedimgs of RE\u201900, pp 85\u201394","DOI":"10.1109\/ICRE.2000.855595"},{"key":"170_CR31","doi-asserted-by":"crossref","unstructured":"Morin B, Perrouin G, Lahire P, Barais O, Vanwormhoudt G, J\u00e9z\u00e9quel J (2009) Weaving variability into domain metamodels. In: Model driven engineering languages and systems pp 690\u2013705","DOI":"10.1007\/978-3-642-04425-0_56"},{"key":"170_CR32","doi-asserted-by":"crossref","unstructured":"Nentwich C, Emmerich W, Finkelstein A (2003) Consistency management with repair actions. In: Proceedimgs of ICSE\u201903, ACM Press, New York, pp 455\u2013464.","DOI":"10.1109\/ICSE.2003.1201223"},{"issue":"1","key":"170_CR33","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s00500-007-0214-7","volume":"12","author":"J Noppen","year":"2008","unstructured":"Noppen J, van den Broek P, Aksit M (2008) Software development with imperfect information. J Soft Comput 12(1):3\u201328","journal-title":"J Soft Comput"},{"key":"170_CR34","unstructured":"OMG: Meta Object Facility (MOF) Core Specification Version 2.0 (2006). http:\/\/www.omg.org\/cgi-bin\/doc?formal\/2006-01-01"},{"key":"170_CR35","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"Software product line engineering: foundations, principles, and techniques","author":"K Pohl","year":"2005","unstructured":"Pohl K, B\u00f6ckle G, Van Der Linden F (2005) Software product line engineering: foundations, principles, and techniques. Springer, New York"},{"key":"170_CR36","doi-asserted-by":"crossref","unstructured":"Potts C, Bruns G (1988) Recording the reasons for design decisions. In: Proceedings of ICSE\u201988, pp 418\u2013427","DOI":"10.1109\/ICSE.1988.93722"},{"key":"170_CR37","doi-asserted-by":"crossref","unstructured":"Reder A, Egyed A (2012) Computing Repair trees for resolving inconsistencies in design models. In: Proceedings of ASE\u201912, pp 220\u2013229","DOI":"10.1145\/2351676.2351707"},{"key":"170_CR38","doi-asserted-by":"crossref","unstructured":"Saadatpanah P, Famelis M, Gorzny J, Robinson N, Chechik M, Salay R (2012) Comparing the effectiveness of reasoning formalisms for partial models. In: Proceedings of MoDeVVa\u201912","DOI":"10.1145\/2427376.2427384"},{"key":"170_CR39","doi-asserted-by":"crossref","unstructured":"Salay R, Chechik M, Easterbrook S, Diskin Z, McCormick P, Nejati S, Sabetzadeh M, Viriyakattiyaporn P (2007) An eclipse-based tool framework for software model management. In: Proceedings of OOPSLA eclipse workshop, pp 55\u201359","DOI":"10.1145\/1328279.1328291"},{"key":"170_CR40","doi-asserted-by":"crossref","unstructured":"Salay R, Chechik M, Gorzny J (2012) Towards a methodology for verifying partial model refinements. In: Proceedings of VOLT\u201912","DOI":"10.1109\/ICST.2012.199"},{"key":"170_CR41","unstructured":"Salay R, Chechik M, Gorzny J (2013) Change propagation due to uncertainty change. In: Proceedings of FASE\u201913. LNCS, vol 7793, pp 21\u201336"},{"key":"170_CR42","doi-asserted-by":"crossref","unstructured":"Salay R, Chechik M, Horkoff J (2012) Managing requirements uncertainty with partial models. In: Proceedings of RE\u201912","DOI":"10.1109\/RE.2012.6345804"},{"key":"170_CR43","doi-asserted-by":"crossref","unstructured":"Salay R, Famelis M, Chechik M (2012) Language independent refinement using partial modeling. In: Proceedings of FASE\u201912, LNCS, vol 7212, pp 224\u2013239","DOI":"10.1007\/978-3-642-28872-2_16"},{"key":"170_CR44","doi-asserted-by":"crossref","unstructured":"Sawyer P, Bencomo N, Whittle J, Letier E, Finkelstein A (2010) Requirements-aware systems: a research agenda for RE for self-adaptive systems. In: Proceedings of RE\u201910, pp 95\u2013103","DOI":"10.1109\/RE.2010.21"},{"key":"170_CR45","doi-asserted-by":"crossref","unstructured":"Spanoudakis G, Zisman A (2005) Software traceability: a roadmap. J Softw Eng Knowl III:1\u201335","DOI":"10.1142\/9789812775245_0014"},{"key":"170_CR46","doi-asserted-by":"crossref","unstructured":"Tanabe D, Uno K, Akemine K, Yoshikawa T, Kaiya H, Saeki M (2008) Supporting requirements change management in goal oriented analysis. In: Proceedings of RE\u201908, pp 3\u201312","DOI":"10.1109\/RE.2008.18"},{"key":"170_CR47","doi-asserted-by":"crossref","unstructured":"Uchitel S, Chechik M (2004) Merging Partial behavioural models. In: Proceedings of SIGSOFT FSE\u201904, pp 43\u201352","DOI":"10.1145\/1041685.1029904"},{"key":"170_CR48","volume-title":"Requirements engineering: from system goals to UML models to software specifications","author":"A Lamsweerde van","year":"2009","unstructured":"van Lamsweerde A (2009) Requirements engineering: from system goals to UML models to software specifications. Wiley, New York"},{"key":"170_CR49","doi-asserted-by":"crossref","unstructured":"Xiong Y, Hu Z, Zhao H, Song H, Takeichi M, Mei H (2009) Supporting automatic model inconsistency fixing. In: Proceedings of ESEC\/FSE\u201909, pp 315\u2013324","DOI":"10.1145\/1595696.1595757"},{"key":"170_CR50","doi-asserted-by":"crossref","unstructured":"Yrj\u00f6nen A, Merilinna J (2010) Tooling for the full traceability of non-functional requirements within model-driven development. In: Proceedings of ECMFA-TW\u201910, pp 15\u201322","DOI":"10.1145\/1814392.1814395"},{"key":"170_CR51","doi-asserted-by":"crossref","unstructured":"Yu E (1997) Towards modelling and reasoning support for early-phase requirements engineering. In: Proceedings of RE\u201997, pp 226\u2013235","DOI":"10.1109\/ISRE.1997.566873"}],"container-title":["Requirements Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00766-013-0170-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00766-013-0170-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00766-013-0170-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,13]],"date-time":"2019-07-13T07:36:28Z","timestamp":1563003388000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00766-013-0170-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4,25]]},"references-count":51,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2013,6]]}},"alternative-id":["170"],"URL":"https:\/\/doi.org\/10.1007\/s00766-013-0170-y","relation":{},"ISSN":["0947-3602","1432-010X"],"issn-type":[{"value":"0947-3602","type":"print"},{"value":"1432-010X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,4,25]]}}}