{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T04:07:11Z","timestamp":1749096431815,"version":"3.41.0"},"reference-count":91,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2024,10,28]],"date-time":"2024-10-28T00:00:00Z","timestamp":1730073600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,28]],"date-time":"2024-10-28T00:00:00Z","timestamp":1730073600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2025,6]]},"DOI":"10.1007\/s10270-024-01227-4","type":"journal-article","created":{"date-parts":[[2024,10,28]],"date-time":"2024-10-28T10:16:42Z","timestamp":1730110602000},"page":"615-628","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Taming uncertainty with MDE: an historical perspective"],"prefix":"10.1007","volume":"24","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0582-9745","authenticated-orcid":false,"given":"Jean-Marc","family":"J\u00e9z\u00e9quel","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,10,28]]},"reference":[{"key":"1227_CR1","unstructured":"Andreu, M., Haziza, M., Jard, C., J\u00e9z\u00e9quel, J.-M.: Analyzing a space-protocol: from specification, simulation to experimentation. In: Proceeding of the Fifth International Conference on Formal Description Techniques, Perros-Guirrec, France (1992)"},{"key":"1227_CR2","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/11561347_10","volume-title":"Generative Programming and Component Engineering","author":"S Apel","year":"2005","unstructured":"Apel, S., Leich, T., Rosenm\u00fcller, M., Saake, G.: Featurec++: on the symbiosis of feature-oriented and aspect-oriented programming. In: Gl\u00fcck, R., Lowry, M. (eds.) Generative Programming and Component Engineering, pp. 125\u2013140. Springer, Berlin (2005)"},{"key":"1227_CR3","doi-asserted-by":"crossref","unstructured":"Arcelli, D., Cortellessa, V., Trubiani, C.: Performance-based software model refactoring in fuzzy contexts. In: Proceedings of International Conference on Fundamental Approaches to Software Engineering (FASE), pp. 149\u2013164 (2015)","DOI":"10.1007\/978-3-662-46675-9_10"},{"key":"1227_CR4","first-page":"1","volume-title":"OpenTURNS: An Industrial Software for Uncertainty Quantification in Simulation","author":"M Baudin","year":"2016","unstructured":"Baudin, M., Dutfoy, A., Iooss, B., Popelin, A.-L.: OpenTURNS: An Industrial Software for Uncertainty Quantification in Simulation, pp. 1\u201338. Springer, Berlin (2016)"},{"key":"1227_CR5","first-page":"159","volume-title":"Living with Uncertainty in Model-Based Development","author":"S Bernardi","year":"2021","unstructured":"Bernardi, S., Famelis, M., J\u00e9z\u00e9quel, J.-M., Mirandola, R., Palacin, D.P., Polack, F., Trubiani, C.: Living with Uncertainty in Model-Based Development, pp. 159\u2013185. Springer International Publishing, Berlin (2021)"},{"issue":"5","key":"1227_CR6","doi-asserted-by":"publisher","first-page":"1163","DOI":"10.1007\/s10270-019-00741-0","volume":"19","author":"MF Bertoa","year":"2020","unstructured":"Bertoa, M.F., Burgue\u00f1o, L., Moreno, N., Vallecillo, A.: Incorporating measurement uncertainty into OCL\/UML primitive datatypes. Softw. Syst. Model. 19(5), 1163\u20131189 (2020)","journal-title":"Softw. Syst. Model."},{"key":"1227_CR7","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-319-92997-2_4","volume-title":"Modelling Foundations and Applications","author":"MF Bertoa","year":"2018","unstructured":"Bertoa, M.F., Moreno, N., Barquero, G., Burgue\u00f1o, L., Troya, J., Vallecillo, A.: Expressing measurement uncertainty in OCL\/UML datatypes. In: Pierantonio, A., Trujillo, S. (eds.) Modelling Foundations and Applications, pp. 46\u201362. Springer, Berlin (2018)"},{"key":"1227_CR8","doi-asserted-by":"publisher","DOI":"10.1145\/3542947","author":"L Burgue\u00f1o","year":"2022","unstructured":"Burgue\u00f1o, L., Mu\u00f1oz, P., Claris\u00f3, R., Cabot, J., G\u00e9rard, S., Vallecillo, A.: Dealing with belief uncertainty in domain models To appear. ACM Trans. Sof. Eng. Methodol. (TOSEM) (2022). https:\/\/doi.org\/10.1145\/3542947","journal-title":"ACM Trans. Sof. Eng. Methodol. (TOSEM)"},{"key":"1227_CR9","doi-asserted-by":"crossref","unstructured":"B\u00f6hme, M.: Statistical reasoning about programs. In: NIER Track of ICSE (2022)","DOI":"10.1145\/3510455.3512796"},{"issue":"7810","key":"1227_CR10","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1038\/s41586-020-2314-9","volume":"582","author":"R Botvinik-Nezer","year":"2020","unstructured":"Botvinik-Nezer, R., et al.: Variability in the analysis of a single neuroimaging dataset by many teams. Nature 582(7810), 84\u201388 (2020)","journal-title":"Nature"},{"key":"1227_CR11","doi-asserted-by":"crossref","unstructured":"Cabot, J.: Positioning of the low-code movement within the field of model-driven engineering, pp. 1\u20133 (2020)","DOI":"10.1145\/3417990.3420210"},{"key":"1227_CR12","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-319-90415-3_8","volume-title":"Autonomous Control for a Reliable Internet of Services","author":"V Cardellini","year":"2018","unstructured":"Cardellini, V., Grbac, T.G., Nardelli, M., Tankovi\u0107, N., Truong, H.-L.: Qos-based elasticity for service chains in distributed edge cloud environments. In: Autonomous Control for a Reliable Internet of Services, pp. 182\u2013211. Springer, Cham (2018)"},{"key":"1227_CR13","unstructured":"Cazzola, W., J\u00e9z\u00e9quel, J.-M., Rashid, A.: Semantic join point models: motivations, notions and requirements. In: SPLAT 2006 (Software Engineering Properties of Languages and Aspect Technologies) (2006)"},{"issue":"4","key":"1227_CR14","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1145\/1029174.1029176","volume":"14","author":"RCH Cheng","year":"2004","unstructured":"Cheng, R.C.H., Holland, W.: Calculation of confidence intervals for simulation output. ACM Trans. Model. Comput. Simul. 14(4), 344\u2013362 (2004)","journal-title":"ACM Trans. Model. Comput. Simul."},{"key":"1227_CR15","doi-asserted-by":"crossref","unstructured":"Cheung, L., Golubchik, L., Medvidovic, N., Sukhatme, G.: Identifying and addressing uncertainty in architecture-level software reliability modeling. In: 2007 IEEE International Parallel and Distributed Processing Symposium, pp. 1\u20136 (2007)","DOI":"10.1109\/IPDPS.2007.370524"},{"key":"1227_CR16","doi-asserted-by":"publisher","DOI":"10.1002\/9781119286387","volume-title":"Theory of Probability: A Critical Introductory Treatment","author":"B de Finetti","year":"2017","unstructured":"de Finetti, B.: Theory of Probability: A Critical Introductory Treatment. John, Hoboken (2017)"},{"key":"1227_CR17","doi-asserted-by":"crossref","unstructured":"Dijkstra, E. W.: On the Role of Scientific Thought, pp. 60\u201366. Springer, New York (1982)","DOI":"10.1007\/978-1-4612-5695-3_12"},{"key":"1227_CR18","doi-asserted-by":"crossref","unstructured":"Esfahani, N., Kouroshfar, E., Malek, S.: Taming uncertainty in self-adaptive software. In: Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering, ESEC\/FSE\u201911, pp. 234\u2013244. ACM (2011)","DOI":"10.1145\/2025113.2025147"},{"key":"1227_CR19","doi-asserted-by":"crossref","unstructured":"Esfahani, N., Malek, S.: Uncertainty in Self-Adaptive Software Systems, pp. 214\u2013238. Springer, Berlin (2013)","DOI":"10.1007\/978-3-642-35813-5_9"},{"key":"1227_CR20","doi-asserted-by":"crossref","unstructured":"Etxeberria, L., Trubiani, C., Cortellessa, V., Sagardui, G.: Performance-based selection of software and hardware features under parameter uncertainty. In Proceedings of the International Conference on Quality of Software Architectures (QoSA), pp. 23\u201332 (2014)","DOI":"10.1145\/2602576.2602585"},{"key":"1227_CR21","volume-title":"An Introduction to Probability Theory and Its Applications","author":"W Feller","year":"2008","unstructured":"Feller, W.: An Introduction to Probability Theory and Its Applications. Wiley, Hoboken (2008)"},{"key":"1227_CR22","unstructured":"Filman, R., Friedman, D.: Aspect-oriented programming is quantification and obliviousness. In: Workshop on Advanced Separation of Concerns, OOPSLA 2000, (2000)"},{"key":"1227_CR23","doi-asserted-by":"crossref","unstructured":"Foures, D., Acher, M., Barais, O., Combemale, B., J\u00e9z\u00e9quel, J.-M., Kienzle, J.: Experience in specializing a generic realization language for SPL engineering at airbus. In: MODELS 2023 - 26th International Conference on Model-Driven Engineering Languages and Systems, pp. 1\u201312, V\u00e4ster\u00e5s, Sweden, ACM and IEEE (2023)","DOI":"10.1109\/MODELS58315.2023.00035"},{"key":"1227_CR24","doi-asserted-by":"crossref","unstructured":"France, R., Fleurey, F., Reddy, R., Baudry, B., Ghosh, S.: Providing support for model composition in metamodels. In: EDOC\u201907 (Entreprise Distributed Object Computing Conference), Annapolis (2007)","DOI":"10.1109\/EDOC.2007.4383998"},{"key":"1227_CR25","doi-asserted-by":"crossref","unstructured":"Fujimoto, R.: Exploiting temporal uncertainty in parallel and distributed simulations. In: Proceedings of PADS\u201999, pp. 46\u201353. IEEE Computer Society (1999)","DOI":"10.1109\/PADS.1999.766160"},{"key":"1227_CR26","doi-asserted-by":"crossref","unstructured":"Ghezzi, C., Pinto, L. S., Spoletini, P., Tamburrelli, G.: Managing non-functional uncertainty via model-driven adaptivity. In: Proceedings of the 2013 International Conference on Software Engineering, ICSE \u201913, pp. 33\u201342, IEEE Press, Piscataway (2013)","DOI":"10.1109\/ICSE.2013.6606549"},{"key":"1227_CR27","doi-asserted-by":"publisher","first-page":"12","DOI":"10.3389\/fninf.2015.00012","volume":"9","author":"T Glatard","year":"2015","unstructured":"Glatard, T., Lewis, L., Ferreira Da Silva, R., Adalat, R., Beck, N., Lepage, C., Rioux, P., Rousseau, M.-E., Sherif, T., Deelman, E., Khalili-Mahani, N., Evans, A.: Reproducibility of neuroimaging analyses across operating systems. Front. Neuroinform. 9, 12 (2015)","journal-title":"Front. Neuroinform."},{"key":"1227_CR28","doi-asserted-by":"publisher","first-page":"1833","DOI":"10.1287\/mnsc.1100.1213","volume":"56","author":"MB Gordy","year":"2010","unstructured":"Gordy, M.B., Juneja, S.: Nested simulation in portfolio risk measurement. Manag. Sci. 56, 1833\u20131848 (2010)","journal-title":"Manag. Sci."},{"issue":"2","key":"1227_CR29","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/s10664-021-10102-5","volume":"27","author":"R Heradio","year":"2022","unstructured":"Heradio, R., Fern\u00e1ndez-Amor\u00f3s, D., Galindo, J.A., Benavides, D., Batory, D.S.: Uniform and scalable sampling of highly configurable systems. Empir. Softw. Eng. 27(2), 44 (2022)","journal-title":"Empir. Softw. Eng."},{"issue":"4","key":"1227_CR30","first-page":"36","volume":"15","author":"SM Hezavehi","year":"2021","unstructured":"Hezavehi, S.M., Weyns, D., Avgeriou, P., Calinescu, R., Mirandola, R., Perez-Palacin, D.: Uncertainty in self-adaptive systems: a research community perspective. ACM Trans. Auton. Adapt. Syst. 15(4), 36 (2021)","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"key":"1227_CR31","doi-asserted-by":"crossref","unstructured":"Ho, W.M., J\u00e9z\u00e9quel, J.-M., Pennaneac\u2019h, F., Plouzeau, N.: A toolkit for weaving aspect oriented UML designs. In: Proceedings of 1st ACM International Conference on Aspect Oriented Software Development, AOSD 2002, Enschede, The Netherlands (2002)","DOI":"10.1145\/508397.508398"},{"key":"1227_CR32","doi-asserted-by":"crossref","unstructured":"Istoan, P., Nain, G., Perrouin, G., J\u00e9z\u00e9quel, J.-M.: Dynamic software product lines for service-based systems. In: 9th IEEE International Conference on Computer and Information Technology, Xiamen (2009)","DOI":"10.1109\/CIT.2009.54"},{"key":"1227_CR33","unstructured":"Jackson, A., Barais, O., J\u00e9z\u00e9quel, J.-M., Clarke, S.: Toward a generic and extensible merge operator. In: Models and Aspects Workshop, at ECOOP 2006, Nantes (2006)"},{"key":"1227_CR34","doi-asserted-by":"crossref","unstructured":"Jamshidi, P., Sharifloo, A., Pahl, C., Arabnejad, H., Metzger, A., Estrada, G.: Fuzzy self-learning controllers for elasticity management in dynamic cloud architectures. In: Proceedings of the International Conference on Quality of Software Architectures (QoSA), pp. 70\u201379 (2016)","DOI":"10.1109\/QoSA.2016.13"},{"key":"1227_CR35","doi-asserted-by":"crossref","unstructured":"J\u00e9z\u00e9quel, J.: Reifying configuration management for object-oriented software. In: Torii, K., Futatsugi, K., Kemmerer, R.A. (eds.), Forging New Links, Proceedings of the 1998 International Conference on Software Engineering, ICSE 98, Kyoto, pp. 240\u2013249. IEEE Computer Society (1998)","DOI":"10.1109\/ICSE.1998.671133"},{"key":"1227_CR36","unstructured":"J\u00e9z\u00e9quel, J.-M.: Experience in validating protocol integration using Estelle. In: Proceeding of the Third International Conference on Formal Description Techniques, Madrid (1990)"},{"issue":"2","key":"1227_CR37","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/s10270-008-0080-5","volume":"7","author":"J-M J\u00e9z\u00e9quel","year":"2008","unstructured":"J\u00e9z\u00e9quel, J.-M.: Model driven design and aspect weaving. Softw. Syst. Model. 7(2), 209\u2013218 (2008)","journal-title":"Softw. Syst. Model."},{"issue":"3","key":"1227_CR38","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3589517","volume":"33","author":"J-M J\u00e9z\u00e9quel","year":"2023","unstructured":"J\u00e9z\u00e9quel, J.-M., Vallecillo, A.: Uncertainty-aware simulation of adaptive systems. ACM Trans. Model. Comput. Simul. 33(3), 1\u20139 (2023)","journal-title":"ACM Trans. Model. Comput. Simul."},{"key":"1227_CR39","doi-asserted-by":"crossref","unstructured":"Jousselme, A.-L., Maupin, P., Boss\u00e9, E.: Uncertainty in a situation analysis perspective. In: 6th International Conference of Information Fusion, pp. 1207 \u2013 1214. IEEE (2003)","DOI":"10.1109\/ICIF.2003.177375"},{"key":"1227_CR40","doi-asserted-by":"crossref","unstructured":"Kienzle, J., Combemale, B., Mussbacher, G., Alam, O., Bordeleau, F., Burgue\u00f1o, L., Engels, G., Galasso, J., J\u00e9z\u00e9quel, J.-M., Kemme, B., Mosser, S., Sahraoui, H., Schiedermeier, M., Syriani, E.: Global decision making over deep variability in feedback-driven software development. In: ASE 2022 - 37th IEEE\/ACM International Conference on Automated Software Engineering, pp. 1\u20136, Rochester, IEEE (2022)","DOI":"10.1145\/3551349.3559551"},{"key":"1227_CR41","doi-asserted-by":"crossref","unstructured":"Klein, J., H\u00e9louet, L., J\u00e9z\u00e9quel, J.-M.: Semantic-based weaving of scenarios. In: Proceedings of the 5th International Conference on Aspect-Oriented Software Development (AOSD\u201906), Bonn, Germany, ACM (2006)","DOI":"10.1145\/1119655.1119662"},{"issue":"12","key":"1227_CR42","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1145\/3199201","volume":"61","author":"B Knowles","year":"2018","unstructured":"Knowles, B., Smith-Renner, A., Poursabzi-Sangdeh, F., Lu, D., Alabi, H.: Uncertainty in current and future health wearables. Commun. ACM 61(12), 62\u201367 (2018)","journal-title":"Commun. ACM"},{"key":"1227_CR43","doi-asserted-by":"crossref","unstructured":"Kobayashi, T., Salay, R., Hasuo, I., Czarnecki, K., Ishikawa, F., Katsumata, S.: Robustifying controller specifications of cyber-physical systems against perceptual uncertainty. In: Proceedings of NASA Formal Methods 2021, volume 12673 of LNCS, pp. 198\u2013213. Springer, Berlin (2021)","DOI":"10.1007\/978-3-030-76384-8_13"},{"key":"1227_CR44","unstructured":"Lebigot, E.O.: Uncertainties package. https:\/\/pythonhosted.org\/uncertainties\/ (2016). Accessed 30 May 2022"},{"key":"1227_CR45","unstructured":"Lee, A.: SOERP uncertainties package. https:\/\/pypi.org\/project\/soerp\/ (2013). Accessed 30 May 2022"},{"key":"1227_CR46","doi-asserted-by":"crossref","unstructured":"Lesoil, L., Acher, M., Blouin, A., J\u00e9z\u00e9quel, J.-M.: Deep software variability: towards handling cross-layer configuration. In: VaMoS 2021 - 15th International Working Conference on Variability Modelling of Software-Intensive Systems, pp. 1\u20138, Krems \/ Virtual, Austria (2021)","DOI":"10.1145\/3442391.3442402"},{"key":"1227_CR47","doi-asserted-by":"crossref","unstructured":"Lesoil, L., Acher, M., Blouin, A., J\u00e9z\u00e9quel, J.-M.: Beware of the interactions of variability layers when reasoning about evolution of MongoDB. In: ICPE 2022 - 13th ACM\/SPEC International Conference on Performance Engineering, pp. 1\u20135. Beijing (2022)","DOI":"10.1145\/3491204.3527489"},{"key":"1227_CR48","doi-asserted-by":"crossref","unstructured":"Lesoil, L., Acher, M., T\u00ebrnava, X., Blouin, A., J\u00e9z\u00e9quel, J.-M.: The interplay of compile-time and run-time options for performance prediction. In: SPLC 2021 - 25th ACM International Systems and Software Product Line Conference, vol. A, pp. 1\u201312, Leicester, United Kingdom, ACM (2021)","DOI":"10.1145\/3461001.3471149"},{"key":"1227_CR49","volume-title":"Uncertainty Theory","author":"B Liu","year":"2018","unstructured":"Liu, B.: Uncertainty Theory, 5th edn. Springer, Berlin (2018)","edition":"5"},{"key":"1227_CR50","doi-asserted-by":"publisher","unstructured":"Lodi, A., Tramontani, A.: Performance variability in mixed-integer programming. In: INFORMS TutORials in Operations Research (2014). https:\/\/doi.org\/10.1287\/educ.2013.0112","DOI":"10.1287\/educ.2013.0112"},{"key":"1227_CR51","doi-asserted-by":"crossref","unstructured":"Loper, M.L., Fujimoto, R.M.: Pre-sampling as an approach for exploiting temporal uncertainty. In: proceedings of PADS\u201900, pp. 157\u2013164. IEEE Computer Society (2000)","DOI":"10.1109\/PADS.2000.847159"},{"key":"1227_CR52","doi-asserted-by":"crossref","unstructured":"Mahdavi-Hezavehi, S., Avgeriou, P., Weyns, D.: A Classification Framework of Uncertainty in Architecture-Based Self-Adaptive Systems With Multiple Quality Requirements, chapter\u00a03, pp. 45\u201377. Morgan Kaufmann, Boston (2017)","DOI":"10.1016\/B978-0-12-802855-1.00003-4"},{"issue":"11","key":"1227_CR53","doi-asserted-by":"publisher","first-page":"4274","DOI":"10.1109\/TSE.2021.3116768","volume":"48","author":"H Martin","year":"2022","unstructured":"Martin, H., Acher, M., Pereira, J.A., Lesoil, L., J\u00e9z\u00e9quel, J.-M., Khelladi, D.E.: Transfer learning across variants and versions: the case of linux kernel size. IEEE Trans. Software Eng. 48(11), 4274\u20134290 (2022)","journal-title":"IEEE Trans. Software Eng."},{"issue":"3","key":"1227_CR54","doi-asserted-by":"publisher","first-page":"1165","DOI":"10.5194\/gmd-13-1165-2020","volume":"13","author":"F Massonnet","year":"2020","unstructured":"Massonnet, F., M\u00e9n\u00e9goz, M., Acosta, M., Yepes-Arb\u00f3s, X., Exarchou, E., Doblas-Reyes, F.J.: Replicability of the EC-Earth3 earth system model under a change in computing environment. Geosci. Model Dev. 13(3), 1165\u20131178 (2020)","journal-title":"Geosci. Model Dev."},{"key":"1227_CR55","doi-asserted-by":"crossref","unstructured":"Meedeniya, I., Moser, I., Aleti, A., Grunske, L.: Architecture-based reliability evaluation under uncertainty. In: Proceedings of the International Conference on Component-Based Software Engineering and Software Architecture (CompArch), pp. 85\u201394 (2011)","DOI":"10.1145\/2000259.2000275"},{"issue":"4","key":"1227_CR56","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1109\/MCSE.2017.3151254","volume":"19","author":"O Mesnard","year":"2017","unstructured":"Mesnard, O., Barba, L.A.: Reproducible and replicable computational fluid dynamics: it\u2019s harder than you think. Comput. Sci. Eng. 19(4), 44\u201355 (2017)","journal-title":"Comput. Sci. Eng."},{"key":"1227_CR57","unstructured":"Joint Committee for Guides in Metrology Evaluation of measurement data\u2013guide to the expression of uncertainty in measurement (GUM). Joint Com. Guides Metrol. 100, 16 (2008)"},{"key":"1227_CR58","unstructured":"Miller, J., Mukerji, J.:. Model driven architecture. https:\/\/www.omg.org\/cgi-bin\/doc?ormsc\/2001-07-01 (2001)"},{"key":"1227_CR59","unstructured":"Morin, B., Barais, O., J\u00e9z\u00e9quel, J.-M.: Weaving aspect configurations for managing system variability. In: 2nd International Workshop on Variability Modelling of Software-intensive Systems, Essen, Germany (2008)"},{"key":"1227_CR60","doi-asserted-by":"crossref","unstructured":"Morin, B., Perrouin, G., Lahire, P., Barais, O., Vanwormhoudt, G., J\u00e9z\u00e9quel, J.: Weaving variability into domain metamodels. In: Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings, volume 5795 of Lecture Notes in Computer Science, pp. 690\u2013705. Springer (2009)","DOI":"10.1007\/978-3-642-04425-0_56"},{"key":"1227_CR61","doi-asserted-by":"crossref","unstructured":"Muller, P.-A., Fleurey, F., J\u00e9z\u00e9quel, J.-M.: Weaving executability into object-oriented meta-languages. In: Proceedings of MODELS\/UML\u20192005, Montego Bay, Jamaica (2005)","DOI":"10.1007\/11557432_19"},{"key":"1227_CR62","doi-asserted-by":"crossref","unstructured":"Nowotsch, J., Paulitsch, M.: Leveraging multi-core computing architectures in avionics. In: 2012 Ninth European Dependable Computing Conference, pp. 132\u2013143 (2012)","DOI":"10.1109\/EDCC.2012.27"},{"key":"1227_CR63","unstructured":"Ortiz, V., Burgue\u00f1o, L., Vallecillo, A., Gogolla, M.: Native support for UML and OCL primitive datatypes enriched with uncertainty in USE. In: Proceedings of OCL@MODELS\u201919, volume 2513 of CEUR Workshop Proceedings, pp. 59\u201366. CEUR-WS.org (2019)"},{"key":"1227_CR64","unstructured":"Padulo, M., Guenov, M.D.: A methodological perspective on computational engineering design under uncertainty. In European Congress on Computational Methods in Applied Sciences and Engineering, pp. 7509 \u2013 7528. T.U. Wien (2012)"},{"key":"1227_CR65","first-page":"15","volume-title":"2nd Dynamic Software Product Lines Workshop (SPLC 2008. Volume 2)","author":"G Perrouin","year":"2008","unstructured":"Perrouin, G., Chauvel, F., Deantoni, J., J\u00e9z\u00e9quel, J.-M.: Modeling the variability space of self-adaptive applications. In: Thiel, S., Pohl, K. (eds.) 2nd Dynamic Software Product Lines Workshop (SPLC 2008. Volume 2), pp. 15\u201322. IEEE Computer Society, Limerick (2008)"},{"key":"1227_CR66","unstructured":"Picard, D.: torch.manual_seed(3407) is all you need: on the influence of random seeds in deep learning architectures for computer vision. Arxiv (2021)"},{"volume-title":"Software Product Line Engineering","year":"2006","key":"1227_CR67","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F. (eds.): Software Product Line Engineering. Springer, Berlin (2006)"},{"key":"1227_CR68","doi-asserted-by":"crossref","unstructured":"Ramirez, A.J., Jensen, A.C., Cheng, B.H.C.: A taxonomy of uncertainty for dynamically adaptive systems. In: 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2012 (2012)","DOI":"10.1109\/SEAMS.2012.6224396"},{"key":"1227_CR69","doi-asserted-by":"crossref","unstructured":"Ramos, R., Barais, O., J\u00e9z\u00e9quel, J.-M.: Matching model-snippets. In: In Proceedings of ACM\/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS 07), Nashville (2007)","DOI":"10.1007\/978-3-540-75209-7_9"},{"key":"1227_CR70","doi-asserted-by":"crossref","unstructured":"Rashid, A., Moreira, A., Ara\u00fajo, J.: Modularisation and composition of aspectual requirements. In Proceedings of the 2nd International Conference on Aspect-Oriented Software Development, AOSD, pp. 11\u201320. ACM (2003)","DOI":"10.1145\/643603.643605"},{"key":"1227_CR71","unstructured":"Russell, S.J., Norvig, P.: Artificial Intelligence. A Modern Approach. Prentice Hall, 3 edn. (2010)"},{"key":"1227_CR72","doi-asserted-by":"crossref","unstructured":"Saadawi, H., Wainer, G.A.: Rational time-advance DEVS (RTA-DEVS). In proceedings of SpringSim\u201910, pp. 143:1\u2013143:8. SCS\/ACM, (2010)","DOI":"10.1145\/1878537.1878686"},{"issue":"6","key":"1227_CR73","doi-asserted-by":"publisher","first-page":"2213","DOI":"10.1007\/s10270-021-00956-0","volume":"21","author":"H Samin","year":"2022","unstructured":"Samin, H., Bencomo, N., Sawyer, P.: Decision-making under uncertainty: be aware of your priorities. Softw. Syst. Model. 21(6), 2213\u201342 (2022)","journal-title":"Softw. Syst. Model."},{"issue":"4","key":"1227_CR74","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1145\/945511.945516","volume":"13","author":"A Seznec","year":"2003","unstructured":"Seznec, A., Sendrier, N.: Havege: a user-level software heuristic for generating empirically strong random numbers. ACM Trans. Model. Comput. Simul. 13(4), 334\u2013346 (2003)","journal-title":"ACM Trans. Model. Comput. Simul."},{"key":"1227_CR75","doi-asserted-by":"crossref","unstructured":"Shafer, G.: A Mathematical Theory of Evidence. Princeton University Press (1976)","DOI":"10.1515\/9780691214696"},{"key":"1227_CR76","unstructured":"Tarr, P., Ossher, H., Harrison, W., Sutton, S.: N degrees of separation: multi-dimensional separation of concerns. In: Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002), pp. 107\u2013119 (1999)"},{"key":"1227_CR77","doi-asserted-by":"crossref","unstructured":"Th\u00fcm, T.: A bdd for linux? the knowledge compilation challenge for variability. In: Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A, SPLC \u201920. Association for Computing Machinery, New York (2020)","DOI":"10.1145\/3382025.3414943"},{"issue":"2","key":"1227_CR78","first-page":"23","volume":"31","author":"L Traini","year":"2021","unstructured":"Traini, L., Di Pompeo, D., Tucci, M., Lin, B., Scalabrino, S., Bavota, G., Lanza, M., Oliveto, R., Cortellessa, V.: How software refactoring impacts execution time. ACM Trans. Softw. Eng. Methodol. 31(2), 23 (2021)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"4","key":"1227_CR79","doi-asserted-by":"publisher","first-page":"1183","DOI":"10.1007\/s10270-020-00842-1","volume":"20","author":"J Troya","year":"2021","unstructured":"Troya, J., Moreno, N., Bertoa, M.F., Vallecillo, A.: Uncertainty representation in software models: a survey. Softw. Syst. Model. 20(4), 1183\u20131213 (2021)","journal-title":"Softw. Syst. Model."},{"key":"1227_CR80","doi-asserted-by":"crossref","unstructured":"Trubiani, C., Meedeniya, I., Cortellessa, V., Aleti, A., Grunske, L.: Model-based performance analysis of software architectures under uncertainty. In: Proceedings of the International Conference on Quality of Software Architectures (QoSA), pp. 69\u201378 (2013)","DOI":"10.1145\/2465478.2465487"},{"issue":"7","key":"1227_CR81","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/3469113","volume":"64","author":"MY Vardi","year":"2021","unstructured":"Vardi, M.Y.: Program verification: vision and reality. Commun. ACM 64(7), 5 (2021)","journal-title":"Commun. ACM"},{"issue":"1","key":"1227_CR82","doi-asserted-by":"publisher","first-page":"2:1","DOI":"10.1145\/3466169","volume":"32","author":"D Vicino","year":"2022","unstructured":"Vicino, D., Wainer, G.A., Dalle, O.: Uncertainty on discrete-event system simulation. ACM Trans. Model. Comput. Simul. 32(1), 2:1-2:27 (2022)","journal-title":"ACM Trans. Model. Comput. Simul."},{"key":"1227_CR83","doi-asserted-by":"crossref","unstructured":"Weyns, D., Bencomo, Calinescu, R., C\u00e1mara, J., Ghezzi, C., Grassi, V., Grunske, L., Inverardi, P., J\u00e9z\u00e9quel, J.-M., Malek, S., Mirandola, R., Mori, M., Tamburrelli, G.: Perpetual Assurances for Self-Adaptive Systems (2017)","DOI":"10.1007\/978-3-319-74183-3_2"},{"key":"1227_CR84","unstructured":"Wikipedia. List of uncertainty propagation software. https:\/\/en.wikipedia.org\/wiki\/List_of_uncertainty_propagation_software. Accessed 30 May 2022"},{"issue":"5","key":"1227_CR85","doi-asserted-by":"publisher","first-page":"705","DOI":"10.1080\/00207177508922026","volume":"21","author":"B Wittenmark","year":"1975","unstructured":"Wittenmark, B.: Stochastic adaptive control methods: a survey. Int. J. Control 21(5), 705\u2013730 (1975)","journal-title":"Int. J. Control"},{"key":"1227_CR86","unstructured":"Zeigler, B.P., Muzy, A., Kofman, E.: Theory of modeling and design: Discrete Event and Iterative System Computational Foundations. Academic Press, 3 edn. (2018)"},{"issue":"2","key":"1227_CR87","doi-asserted-by":"publisher","first-page":"1379","DOI":"10.1007\/s10270-017-0609-6","volume":"18","author":"M Zhang","year":"2019","unstructured":"Zhang, M., Ali, S., Yue, T., Norgren, R., Okariz, O.: Uncertainty-wise cyber-physical system test modeling. Soft. Syst. Model. 18(2), 1379\u20131418 (2019)","journal-title":"Soft. Syst. Model."},{"issue":"1","key":"1227_CR88","doi-asserted-by":"publisher","first-page":"1:1","DOI":"10.1145\/3329117","volume":"30","author":"H Zhu","year":"2020","unstructured":"Zhu, H., Liu, T., Zhou, E.: Risk quantification in stochastic simulation under input uncertainty. ACM Trans. Model. Comput. Simul. 30(1), 1:1-1:24 (2020)","journal-title":"ACM Trans. Model. Comput. Simul."},{"key":"1227_CR89","doi-asserted-by":"crossref","unstructured":"Ziadi, T., H\u00e9lou\u00ebt, L., J\u00e9z\u00e9quel, J.-M.: Towards a UML profile for software product lines. In Proceedings of the Fifth International Workshop on Product Familly Engineering (PFE-5), RENNES, France (2003)","DOI":"10.1007\/978-3-540-24667-1_10"},{"key":"1227_CR90","doi-asserted-by":"crossref","unstructured":"Ziadi, T., J\u00e9z\u00e9quel, J.-M.: Product Line Engineering with the UML: Deriving Products, pp. 557\u2013586. Number ISBN: 978-3-540-33252-7. Springer Verlag, Berlin (2006)","DOI":"10.1007\/978-3-540-33253-4_15"},{"key":"1227_CR91","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-0646-0","volume-title":"Fuzzy Set Theory\u2014and Its Applications","author":"H-J Zimmermann","year":"2001","unstructured":"Zimmermann, H.-J.: Fuzzy Set Theory\u2014and Its Applications. Springer, Berlin (2001)"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-024-01227-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-024-01227-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-024-01227-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T06:28:23Z","timestamp":1749018503000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-024-01227-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,28]]},"references-count":91,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2025,6]]}},"alternative-id":["1227"],"URL":"https:\/\/doi.org\/10.1007\/s10270-024-01227-4","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2024,10,28]]},"assertion":[{"value":"12 March 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 September 2024","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 October 2024","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 October 2024","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}