{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:07:27Z","timestamp":1759032447329,"version":"3.41.0"},"reference-count":83,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2016,6,25]],"date-time":"2016-06-25T00:00:00Z","timestamp":1466812800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100002661","name":"Fonds De La Recherche Scientifique - FNRS","doi-asserted-by":"publisher","award":["FNR\/P10\/03","FNR10045046"],"award-info":[{"award-number":["FNR\/P10\/03","FNR10045046"]}],"id":[{"id":"10.13039\/501100002661","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2018,7]]},"DOI":"10.1007\/s10270-016-0539-8","type":"journal-article","created":{"date-parts":[[2016,6,26]],"date-time":"2016-06-26T11:12:57Z","timestamp":1466939577000},"page":"939-971","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["Configuring use case models in product families"],"prefix":"10.1007","volume":"17","author":[{"given":"Ines","family":"Hajri","sequence":"first","affiliation":[]},{"given":"Arda","family":"Goknil","sequence":"additional","affiliation":[]},{"given":"Lionel C.","family":"Briand","sequence":"additional","affiliation":[]},{"given":"Thierry","family":"Stephany","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,6,25]]},"reference":[{"key":"539_CR1","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1007\/s00766-013-0184-5","volume":"19","author":"M Alf\u00e9rez","year":"2014","unstructured":"Alf\u00e9rez, M., Bonif\u00e1cio, R., Teixeira, L., Accioly, P., Kulesza, U., Moreira, A., Ara\u00fajo, J., Borba, P.: Evaluating scenario-based SPL requirements approaches: the case for modularity, stability and expressiveness. Requir. Eng. J. 19, 355\u2013376 (2014)","journal-title":"Requir. Eng. J."},{"key":"539_CR2","unstructured":"Alferez, M., Kulesza, U., Moreira, A., Araujo, J., Amaral, V.: Tracing between features and use cases: a model-driven approach. In: VAMOS\u201908, pp. 81\u201388 (2008)"},{"key":"539_CR3","doi-asserted-by":"crossref","unstructured":"Alf\u00e9rez, M., Santos, J., Moreira, A., Garcia, A., Kulesza, U., Ara\u00fajo, J., Amaral, V.: Multi-view composition language for software product line requirements. In: SLE\u201909, pp. 103\u2013122 (2009)","DOI":"10.1007\/978-3-642-12107-4_8"},{"key":"539_CR4","doi-asserted-by":"crossref","first-page":"806","DOI":"10.1016\/j.infsof.2010.03.014","volume":"52","author":"V Alves","year":"2010","unstructured":"Alves, V., Niu, N., Alves, C., Valen\u00e7a, G.: Requirements engineering for software product lines: a systematic review. Inf. Softw. Technol. 52, 806\u2013820 (2010)","journal-title":"Inf. Softw. Technol."},{"key":"539_CR5","unstructured":"Armour, F., Miller, G.: Advanced Use Case Modeling: Software Systems. Addison-Wesley Longman Publishing Co., Inc., Boston, MA (2001)"},{"key":"539_CR6","doi-asserted-by":"crossref","unstructured":"Arora, C., Sabetzadeh, M., Goknil, A., Briand, L.C., Zimmer, F.: Change impact analysis for natural language requirements: an NLP approach. In: RE\u201915, pp. 6\u201315 (2015)","DOI":"10.1109\/RE.2015.7320403"},{"key":"539_CR7","doi-asserted-by":"crossref","unstructured":"Arora, C., Sabetzadeh, M., Goknil, A., Briand, L.C., Zimmer, F.: NARCIA: an automated tool for change impact analysis in natural language requirements. In: ESEC\/SIGSOFT FSE 2015, pp. 962\u2013965 (2015)","DOI":"10.1145\/2786805.2803185"},{"key":"539_CR8","doi-asserted-by":"crossref","unstructured":"Batory, D.: Feature models, grammars, and propositional formulas. In: SPLC\u201905, pp. 7\u201320 (2005)","DOI":"10.1007\/11554844_3"},{"issue":"6","key":"539_CR9","doi-asserted-by":"crossref","first-page":"615","DOI":"10.1016\/j.is.2010.01.001","volume":"35","author":"D Benavides","year":"2010","unstructured":"Benavides, D., Segura, S., Ruiz-Cortes, A.: Automated analysis of feature models 20 years later: a literature review. Inf. Syst. 35(6), 615\u2013636 (2010)","journal-title":"Inf. Syst."},{"key":"539_CR10","doi-asserted-by":"crossref","unstructured":"Benavides, D., Trinidad, P., Ruiz-Cortes, A.: Automated reasoning on feature models. In: CAiSE\u201905, pp. 491\u2013503 (2005)","DOI":"10.1007\/11431855_34"},{"key":"539_CR11","doi-asserted-by":"crossref","unstructured":"Biddle, R., Noble, J., Tempero, E.: Supporting reusable use cases. In: ICSR\u201902, pp. 210\u2013226 (2002)","DOI":"10.1007\/3-540-46020-9_15"},{"key":"539_CR12","unstructured":"Blanes, D., Gonzalez-Huerta, J., Insfran, E.: A multimodel approach for specifying the requirements variability on software product lines. In: ISD\u201914, pp. 329\u2013336 (2014)"},{"key":"539_CR13","doi-asserted-by":"crossref","unstructured":"Bonif\u00e1cio, R., Borba, P.: Modeling scenario variability as crosscutting mechanisms. In: AOSD\u201909, pp. 125\u2013136 (2009)","DOI":"10.1145\/1509239.1509258"},{"key":"539_CR14","doi-asserted-by":"crossref","unstructured":"Bonif\u00e1cio, R., Borba, P., Ferraz, C., Accioly, P.: Empirical assessment of two approaches for specifying software product line use case scenarios. Softw. Syst. Model. 1\u201327 (2015)","DOI":"10.1007\/s10270-015-0471-3"},{"key":"539_CR15","doi-asserted-by":"crossref","unstructured":"Bonif\u00e1cio, R., Borba, P., Soares, S.: On the benefits of scenario variability as croscutting. In: EA-AOSD\u201908, pp. 1\u20136 (2008)","DOI":"10.1145\/1404946.1404952"},{"key":"539_CR16","doi-asserted-by":"crossref","unstructured":"Braganca, A., Machado, R.J.: Automating mappings between use case diagrams and feature models for software product lines. In: SPLC\u201907, pp. 3\u201312 (2007)","DOI":"10.1109\/SPLINE.2007.17"},{"key":"539_CR17","doi-asserted-by":"crossref","unstructured":"Buhne, S., Halmans, G., Lauenroth, K., Pohl, K.: Scenario-based application requirements engineering. In: K\u00e4k\u00f6l\u00e4, T., Duenas, JC. (eds.) Software Product Lines. Springer, Berlin (2006)","DOI":"10.1007\/978-3-540-33253-4_5"},{"key":"539_CR18","unstructured":"Buhne, S., Halmans, G., Pohl, K.: Modeling dependencies between variation points in use case diagrams. In: REFSQ\u201903, pp. 59\u201369 (2003)"},{"key":"539_CR19","doi-asserted-by":"crossref","unstructured":"Choi, W.S., Kang, S., Choi, H., Baik, J.: Automated generation of product use case scenarios in product line development. In: CIT\u201908, pp. 760\u2013765 (2008)","DOI":"10.1109\/CIT.2008.4594770"},{"key":"539_CR20","unstructured":"Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. Addison-Wesley Longman Publishing Co., Inc., Boston, MA (2001)"},{"key":"539_CR21","unstructured":"Cockburn, A.: Writing Effective Use Cases. Addison-Wesley Longman Publishing Co., Inc., Boston, MA (2001)"},{"key":"539_CR22","unstructured":"Cunningham, H., et al.: Developing language processing components with gate version 8 (a user guide). http:\/\/gate.ac.uk\/sale\/tao\/tao.pdf"},{"key":"539_CR23","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Antkiewicz, M.: Mapping features to models: A template approach based on superimposed variants. In: GPCE\u201905, pp. 422\u2013437 (2005)","DOI":"10.1007\/11561347_28"},{"key":"539_CR24","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Antkiewicz, M., Kim, C.H.P., Lau, S., Pietroszek, K.: fmp and fmp2rsm: eclipse plug-ins for modeling features using model templates. In: OOPSLA\u201905, pp. 200\u2013201 (2005)","DOI":"10.1145\/1094855.1094934"},{"issue":"3","key":"539_CR25","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1147\/sj.453.0621","volume":"45","author":"K Czarnecki","year":"2006","unstructured":"Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Syst. J. 45(3), 621\u2013645 (2006)","journal-title":"IBM Syst. J."},{"key":"539_CR26","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/s10515-010-0076-6","volume":"18","author":"D Dhungana","year":"2011","unstructured":"Dhungana, D., Gr\u00fcnbacher, P., Rabiser, R.: The DOPLER meta-tool for decision-oriented variability modeling: a multiple case study. Autom. Softw. Eng. 18, 77\u2013114 (2011)","journal-title":"Autom. Softw. Eng."},{"key":"539_CR27","unstructured":"DOPLER (Decision Oriented Product Line Engineering for Effective Reuse). http:\/\/www.ase.jku.at\/dopler\/"},{"key":"539_CR28","doi-asserted-by":"publisher","unstructured":"Duran, A., Benavides, D., Segura, S., Trinidad, P., Ruiz-Cortes, A.: FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing. Softw. Syst. Model. 1\u201334. doi: 10.1007\/s10270-015-0503-z (2016)","DOI":"10.1007\/s10270-015-0503-z"},{"key":"539_CR29","unstructured":"Eclipse EMF. https:\/\/eclipse.org\/modeling\/emf\/"},{"key":"539_CR30","unstructured":"Eriksson, M., Borstler, J., Asa, A.: Marrying features and use cases for product line requirements modeling of embedded systems. In: SERPS\u201904, pp. 73\u201382 (2004)"},{"key":"539_CR31","doi-asserted-by":"crossref","unstructured":"Eriksson, M., Borstler, J., Borg, K.: The PLUSS approach\u2014domain modeling with features, use cases and use case realizations. In: SPLC\u201905, pp. 33\u201344 (2005)","DOI":"10.1007\/11554844_5"},{"key":"539_CR32","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1016\/j.jss.2008.07.046","volume":"82","author":"M Eriksson","year":"2009","unstructured":"Eriksson, M., Borstler, J., Borg, K.: Managing requirements specifications for product lines\u2014an approach and industry case study. J. Syst. Softw. 82, 435\u2013447 (2009)","journal-title":"J. Syst. Softw."},{"key":"539_CR33","doi-asserted-by":"crossref","unstructured":"Fantechi, A., Gnesi, S., John, I., Lami, G., Dorr, J.: Elicitation of use cases for product lines. In: PFE\u201903, pp. 152\u2013167 (2004)","DOI":"10.1007\/978-3-540-24667-1_12"},{"key":"539_CR34","doi-asserted-by":"crossref","unstructured":"Fantechi, A., Gnesi, S., Lami, G., Nesti, E.: A methodology for the derivation and verification of use cases for product lines. In: SPLC\u201904, pp. 255\u2013265 (2004)","DOI":"10.1007\/978-3-540-28630-1_16"},{"key":"539_CR35","doi-asserted-by":"crossref","unstructured":"Faulk, S.R.: Product-line requirements specification (PRS): an approach and case study. In: RE\u201901, pp. 48\u201355 (2001)","DOI":"10.1109\/ISRE.2001.948543"},{"key":"539_CR36","unstructured":"Forbus, K.D., Kleer, J.D.: Building Problem Solvers. MIT Press, Cambridge, Massachusetts (1993)"},{"key":"539_CR37","doi-asserted-by":"crossref","unstructured":"Goknil, A., Kurtev, I., van\u00a0den Berg, K.: A metamodeling approach for reasoning about requirements. In: ECMDA-FA\u201908, pp. 310\u2013325 (2008)","DOI":"10.1007\/978-3-540-69100-6_21"},{"key":"539_CR38","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/s10270-009-0142-3","volume":"10","author":"A Goknil","year":"2011","unstructured":"Goknil, A., Kurtev, I., van den Berg, K., Veldhuis, J.W.: Semantics of trace relations in requirements models for consistency checking and inferencing. Softw. Syst. Model. 10, 31\u201354 (2011)","journal-title":"Softw. Syst. Model."},{"key":"539_CR39","doi-asserted-by":"crossref","unstructured":"Goknil, A., Kurtev, I., Millo, J.V.: A metamodeling approach for reasoning on multiple requirements models. In: EDOC\u201913, pp. 159\u2013166 (2013)","DOI":"10.1109\/EDOC.2013.26"},{"key":"539_CR40","doi-asserted-by":"crossref","unstructured":"Gomaa, H.: Object oriented analysis and modeling families of systems with UML. In: ICSR-6, pp. 89\u201399 (2000)","DOI":"10.1007\/978-3-540-44995-9_6"},{"key":"539_CR41","doi-asserted-by":"crossref","unstructured":"Hajri, I., Goknil, A., Briand, L.C., Stephany, T.: Applying product line use case modeling in an industrial automotive embedded system: lessons learned and a refined approach. In: MODELS\u201915, pp. 338\u2013347 (2015)","DOI":"10.1109\/MODELS.2015.7338265"},{"key":"539_CR42","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/s10270-003-0019-9","volume":"2","author":"G Halmans","year":"2003","unstructured":"Halmans, G., Pohl, K.: Communicating the variability of a software-product family to customers. Softw. Syst. Model. 2, 15\u201336 (2003)","journal-title":"Softw. Syst. Model."},{"key":"539_CR43","unstructured":"IEE (International Electronics & Engineering) S.A. http:\/\/www.iee.lu\/"},{"key":"539_CR44","unstructured":"John, I., Muthig, D.: Product line modeling with generic use cases. In: EMPRESS\u201904 (2004)"},{"key":"539_CR45","unstructured":"Kulak, D., Guiney, E.: Use Cases: Requirements in Context. Addison-Wesley Longman Publishing Co., Inc., Boston, MA (2003)"},{"key":"539_CR46","unstructured":"Larman, C.: Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process. Prentice Hall PTR, Upper Saddle River, NJ, USA (2002)"},{"key":"539_CR47","doi-asserted-by":"crossref","unstructured":"Lauenroth, K., Pohl, K.: Towards automated consistency checks of product line requirements specifications. In: ASE\u201907, pp. 373\u2013376 (2007)","DOI":"10.1145\/1321631.1321687"},{"key":"539_CR48","doi-asserted-by":"crossref","unstructured":"Lauenroth, K., Pohl, K.: Dynamic consistency checking of domain requirements in product line engineering. In: RE\u201908, pp. 193\u2013202 (2008)","DOI":"10.1109\/RE.2008.21"},{"key":"539_CR49","doi-asserted-by":"crossref","unstructured":"Mendonca, M., Branco, M., Cowan, D.: S.P.L.O.T.-software product lines online tools. In: OOPSLA\u201909, pp. 761\u2013762 (2009)","DOI":"10.1145\/1639950.1640002"},{"key":"539_CR50","doi-asserted-by":"crossref","unstructured":"Moon, M., Yeom, K.: An approach to develop requirement as a core asset in product line. In: ICSR\u201904, pp. 23\u201334 (2004)","DOI":"10.1007\/978-3-540-27799-6_3"},{"issue":"7","key":"539_CR51","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1109\/TSE.2005.76","volume":"31","author":"M Moon","year":"2005","unstructured":"Moon, M., Yeom, K., Chae, H.S.: An approach to developing domain requirements as a core asset based on commonality and variability analysis in a product line. IEEE Trans. Softw. Eng. 31(7), 551\u2013569 (2005)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"539_CR52","doi-asserted-by":"crossref","first-page":"645","DOI":"10.1007\/s11219-011-9153-8","volume":"20","author":"G Mussbacher","year":"2012","unstructured":"Mussbacher, G., Ara\u00fajo, J., Moreira, A., Amyot, D.: AoURN-based modeling and analysis of software product lines. Softw. Qual. J. 20, 645\u2013687 (2012)","journal-title":"Softw. Qual. J."},{"key":"539_CR53","unstructured":"Myll\u00e4rniemi, V., Asikainen, T., M\u00e4nnist\u00f6, T., Soininen, T.: Kumbang configurator\u2014a configuration tool for software product families. In: IJCAI-05, pp. 51\u201357 (2005)"},{"key":"539_CR54","doi-asserted-by":"crossref","unstructured":"Nie, K., Yue, T., Ali, S., Zhang, L., Fan, Z.: Constraints: The core of supporting automated product configuration of cyber-physical systems. In: MODELS\u201913, pp. 370\u2013387 (2013)","DOI":"10.1007\/978-3-642-41533-3_23"},{"key":"539_CR55","doi-asserted-by":"crossref","unstructured":"N\u00f6hrer, A., Biere, A., Egyed, A.: Managing SAT inconsistencies with HUMUS. In: VaMoS\u201912, pp. 83\u201391 (2012)","DOI":"10.1145\/2110147.2110157"},{"key":"539_CR56","unstructured":"N\u00f6hrer, A., Egyed, A.: Conflict resolution strategies during product configuration. In: VaMoS\u201910, pp. 107\u2013114 (2010)"},{"key":"539_CR57","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/s10515-012-0117-4","volume":"20","author":"A N\u00f6hrer","year":"2013","unstructured":"N\u00f6hrer, A., Egyed, A.: C2O configurator: a tool for guided decision-making. Autom. Softw. Eng. 20, 265\u2013296 (2013)","journal-title":"Autom. Softw. Eng."},{"key":"539_CR58","unstructured":"Oppenheim, A.N.: Questionnaire Design. Interviewing and Attitude Measurement. Continuum, London (2005)"},{"key":"539_CR59","unstructured":"pure::variants for IBM Rational DOORS. http:\/\/www.pure-systems.com\/DOORS.174.0.html"},{"key":"539_CR60","unstructured":"pure::variants. http:\/\/www.pure-systems.com\/pure_variants.49.0.html"},{"key":"539_CR61","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1016\/j.infsof.2009.11.001","volume":"52","author":"R Rabiser","year":"2010","unstructured":"Rabiser, R., Gr\u00fcnbacher, P., Dhungana, D.: Requirements for product derivation support: results from a systematic literature review. Inf. Softw. Technol. 52, 324\u2013346 (2010)","journal-title":"Inf. Softw. Technol."},{"key":"539_CR62","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/s10270-008-0090-3","volume":"8","author":"ML Rosa","year":"2009","unstructured":"Rosa, M.L., van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M.: Questionnaire-based variability modeling for system configuration. Softw. Syst. Model. 8, 251\u2013274 (2009)","journal-title":"Softw. Syst. Model."},{"key":"539_CR63","doi-asserted-by":"crossref","first-page":"584","DOI":"10.1016\/j.jss.2007.06.002","volume":"81","author":"M Sinnema","year":"2008","unstructured":"Sinnema, M., Deelstra, S.: Industrial validation of COVAMOF. J. Syst. Softw. 81, 584\u2013600 (2008)","journal-title":"J. Syst. Softw."},{"key":"539_CR64","doi-asserted-by":"crossref","unstructured":"Sinnema, M., Deelstra, S., Nijhuis, J., Bosch, J.: COVAMOF: a framework for modeling variability in software product families. In: SPLC\u201904, pp. 197\u2013213 (2004)","DOI":"10.1007\/978-3-540-28630-1_12"},{"key":"539_CR65","unstructured":"Stoiber, R.: A new approach to product line engineering in model-based requirements engineering. Ph.D. thesis, University of Zurich (2012)"},{"key":"539_CR66","doi-asserted-by":"crossref","unstructured":"Stoiber, R., Fricker, S., Jehle, M., Glinz, M.: Feature unweaving: refactoring software requirements specifications into software product lines. In: RE\u201910, pp. 403\u2013404 (2010)","DOI":"10.1109\/RE.2010.59"},{"key":"539_CR67","unstructured":"Stoiber, R., Glinz, M.: Supporting stepwise, incremental product derivation in product line requirements engineering. In: VaMoS\u201910, pp. 77\u201384 (2010)"},{"key":"539_CR68","doi-asserted-by":"crossref","unstructured":"Sun, J., Zhang, H., Li, Y.F., Wang, H.: Formal semantics and verification for feature modeling. In: ICECCS\u201905, pp. 303\u2013312 (2005)","DOI":"10.1109\/ICECCS.2005.48"},{"key":"539_CR69","doi-asserted-by":"crossref","first-page":"883","DOI":"10.1016\/j.jss.2007.10.030","volume":"81","author":"P Trinidad","year":"2008","unstructured":"Trinidad, P., Benavides, D., Duran, A., Ruiz-Cortes, A., Toro, M.: Automated error analysis for the agilization of feature modeling. J. Syst. Softw. 81, 883\u2013896 (2008)","journal-title":"J. Syst. Softw."},{"key":"539_CR70","unstructured":"Trinidad, P., Ruiz-Cortes, A.: Abductive reasoning and automated analysis of feature models: how are they connected? In: VaMoS\u201909, pp. 145\u2013153 (2009)"},{"key":"539_CR71","doi-asserted-by":"crossref","unstructured":"Varela, P., Ara\u00fajo, J., Brito, I., Moreira, A.: Aspect-oriented analysis for software product lines requirements engineering. In: SAC\u201911, pp. 667\u2013674 (2011)","DOI":"10.1145\/1982185.1982333"},{"key":"539_CR72","doi-asserted-by":"crossref","unstructured":"Wang, B., Zhang, W., Zhao, H., Jin, Z., Mei, H.: A use case based approach to feature models\u2019 construction. In: RE\u201909, pp. 121\u2013130 (2009)","DOI":"10.1109\/RE.2009.15"},{"key":"539_CR73","doi-asserted-by":"crossref","unstructured":"Wang, C., Pastore, F., Goknil, A., Briand, L.C., Iqbal, M.Z.Z.: Automatic generation of system test cases from use case specifications. In: ISSTA\u201915, pp. 385\u2013396 (2015)","DOI":"10.1145\/2771783.2771812"},{"key":"539_CR74","doi-asserted-by":"crossref","unstructured":"Wang, C., Pastore, F., Goknil, A., Briand, L.C., Iqbal, M.Z.Z.: UMTG: a toolset to automatically generate system test cases from use case specifications. ESEC\/SIGSOFT FSE 2015, pp. 942\u2013945 (2015)","DOI":"10.1145\/2771783.2771812"},{"key":"539_CR75","unstructured":"Wang, H., Li, Y.F., Sun, J., Zhang, H., Pan, J.: A semantic web approach to feature modeling and verification. In: SWESE\u201905 (2005)"},{"key":"539_CR76","unstructured":"Weston, N., Chitchyan, R., Rashid, A.: A framework for constructing semantically composable feature models from natural language requirements. In: SPLC\u201909, pp. 211\u2013220 (2009)"},{"key":"539_CR77","doi-asserted-by":"crossref","unstructured":"Wohlin, C., Runeson, P., Host, M., Ohlsson, M.C., Regnell, B., Wesslen, A.: Experimentation in Software Engineering. Kluwer Academic Publishers, Norwell, MA, USA (2012)","DOI":"10.1007\/978-3-642-29044-2"},{"key":"539_CR78","doi-asserted-by":"crossref","unstructured":"Yue, T., Ali, S., Briand, L.C.: Automated transition from use cases to uml state machines to support state-based testing. In: ECMFA\u201911, pp. 115\u2013131 (2011)","DOI":"10.1007\/978-3-642-21470-7_9"},{"key":"539_CR79","doi-asserted-by":"crossref","unstructured":"Yue, T., Briand, L.C., Labiche, Y.: Facilitating the transition from use case models to analysis models: approach and experiments. ACM Trans. Softw. Eng. Methodol. 22(1), 5:1\u20135:38 (2013)","DOI":"10.1145\/2430536.2430539"},{"key":"539_CR80","unstructured":"Yue, T., Briand, L.C., Labiche, Y.: aToucan: an automated framework to derive UML analysis models from use case models. ACM Trans. Softw. Eng. Methodol. 24(3), 1\u201352 (2015)"},{"key":"539_CR81","unstructured":"Zhang, G., Yue, T., Wu, J., Ali, S.: Zen-RUCM: A tool for supporting a comprehensive and extensible use case modeling framework. In: Demos@MoDELS 2013, pp. 41\u201345 (2013)"},{"key":"539_CR82","doi-asserted-by":"crossref","unstructured":"Ziadi, T., Jezequel, J.M.: Product line engineering with the UML: deriving products. K\u00e4k\u00f6l\u00e4 , T., Duenas, JC. (eds.) Software Product Lines. Springer, Berlin (2006)","DOI":"10.1007\/978-3-540-33253-4_15"},{"key":"539_CR83","doi-asserted-by":"crossref","unstructured":"Zschaler, S., S\u00e1nchez, P., Santos, J., Alf\u00e9rez, M., Rashid, A., Fuentes, L., Moreira, A., Ara\u00fajo, J., Kulesza, U.: VML*\u2014a family of languages for variability management in software product lines. In: SLE\u201909, pp. 82\u2013102 (2009)","DOI":"10.1007\/978-3-642-12107-4_7"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-016-0539-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0539-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0539-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-016-0539-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T22:49:43Z","timestamp":1748990983000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-016-0539-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6,25]]},"references-count":83,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2018,7]]}},"alternative-id":["539"],"URL":"https:\/\/doi.org\/10.1007\/s10270-016-0539-8","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2016,6,25]]}}}