{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T07:55:41Z","timestamp":1726041341159},"publisher-location":"Cham","reference-count":56,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030291563"},{"type":"electronic","value":"9783030291570"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-29157-0_10","type":"book-chapter","created":{"date-parts":[[2019,8,12]],"date-time":"2019-08-12T11:02:49Z","timestamp":1565607769000},"page":"220-244","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Modular Programming and Reasoning for Living with Uncertainty"],"prefix":"10.1007","author":[{"given":"Naoyasu","family":"Ubayashi","sequence":"first","affiliation":[]},{"given":"Yasutaka","family":"Kamei","sequence":"additional","affiliation":[]},{"given":"Ryosuke","family":"Sato","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,8,13]]},"reference":[{"key":"10_CR1","unstructured":"Allen, R., Garlan, D.: Formalizing architectural connection. In: Proceedings of the 16th International Conference on Software Engineering (ICSE 1994), pp. 71\u201380 (1994)"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/978-3-642-34059-8_6","volume-title":"Large-Scale Complex IT Systems. Development, Operation and Management","author":"M Autili","year":"2012","unstructured":"Autili, M., Cortellessa, V., Di Ruscio, D., Inverardi, P., Pelliccione, P., Tivoli, M.: Integration architecture synthesis for taming uncertainty in the digital space. In: Calinescu, R., Garlan, D. (eds.) Monterey Workshop 2012. LNCS, vol. 7539, pp. 118\u2013131. Springer, Heidelberg (2012). \n                    https:\/\/doi.org\/10.1007\/978-3-642-34059-8_6"},{"key":"10_CR3","unstructured":"Ba\u0327k, K., Diskin, Z., Antkiewicz, M., Czarnecki, K., Wa\u0327sowski, A.: Clafer: unifying class and feature modeling. Softw. Syst. Model. 15(3), 811\u2013845 (2016)"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Bornholt, J., Mytkowicz, T., McKinley, K.S.: Uncertain\n                    \n                      \n                    \n                    $$<T>$$\n                    \n                      \n                        \n                          <\n                          T\n                          >\n                        \n                      \n                    \n                  : a first-order type for uncertain data. In: Proceedings of the 19th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2014), pp. 51\u201366 (2014)","DOI":"10.1145\/2541940.2541958"},{"key":"10_CR5","unstructured":"Cheng, S.-W., Garlan, D.: Handling uncertainty in autonomic systems. In: Proceedings of the International Workshop on Living with Uncertainties (IWLU 2007) (2007)"},{"issue":"5","key":"10_CR6","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1007\/s10009-012-0234-1","volume":"14","author":"A Classen","year":"2012","unstructured":"Classen, A., Cordy, M., Heymans, P., Legay, A., Schobbens, P.Y.: Model checking software product lines with SNIP. Int. J. Softw. Tools Technol. Transfer 14(5), 589\u2013612 (2012)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"10_CR7","volume-title":"Software Product Lines","author":"P Clements","year":"2001","unstructured":"Clements, P., Northrop, L.: Software Product Lines. Addision-Wesley, Boston (2001)"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Devaraj, A., Mishra, K., Trivedi, K.S.: Uncertainty propagation in analytic availability models. In: Proceedings of the Symposium on Reliable Distributed Systems (SRDS 2010), pp. 121\u2013130 (2010)","DOI":"10.1109\/SRDS.2010.22"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Egyed, A., Letter, E., Finkelstein, A.: Generating and evaluating choices for fixing inconsistencies in UML design models. In: Proceedings of the 23rd International Conference on Automated Software Engineering (ASE 2008), pp. 99\u2013108 (2008)","DOI":"10.1109\/ASE.2008.20"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Elbaum, S., Rosenblum, D.S.: Known Unknowns: testing in the presence of uncertainty. In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE 2014), pp. 833\u2013836 (2014)","DOI":"10.1145\/2635868.2666608"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Eramo, R., Pierantonio, A., Rosa, G.: Uncertainty in bidirectional transformations. In: Proceedings of the 6th International Workshop on Modeling in Software Engineering (MiSE 2014), pp. 37\u201342 (2014)","DOI":"10.1145\/2593770.2593772"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Esfahani, N., Kouroshfar, E., Malek, S.: Taming uncertainty in self-adaptive software. In: Proceedings of the 8th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC\/FSE 2011), pp. 234\u2013244 (2011)","DOI":"10.1145\/2025113.2025147"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Esfahani, N., Razavi, K., Malek, S.: Dealing with uncertainty in early software architecture. In: Proceedings of the 20th International Symposium on the Foundations of Software Engineering (FSE 2012), pp. 21:1\u201321:4 (2012)","DOI":"10.1145\/2393596.2393621"},{"key":"10_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-642-35813-5_9","volume-title":"Software Engineering for Self-Adaptive Systems II","author":"N Esfahani","year":"2013","unstructured":"Esfahani, N., Malek, S.: Uncertainty in self-adaptive software systems. In: de Lemos, R., Giese, H., M\u00fcller, H.A., Shaw, M. (eds.) Software Engineering for Self-Adaptive Systems II. LNCS, vol. 7475, pp. 214\u2013238. Springer, Heidelberg (2013). \n                    https:\/\/doi.org\/10.1007\/978-3-642-35813-5_9"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Esfahani, N., Malek, S., Razavi, K.: GuideArch: guiding the exploration of architectural solution space under uncertainty. In: Proceedings of the 35th International Conference on Software Engineering (ICSE 2013), pp. 43\u201352 (2013)","DOI":"10.1109\/ICSE.2013.6606550"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Famelis, M., Salay, R., Chechik, M.: Partial models: towards modeling and reasoning with uncertainty. In: Proceedings of the 34th International Conference on Software Engineering (ICSE 2012), pp. 573\u2013583 (2012)","DOI":"10.1109\/ICSE.2012.6227159"},{"key":"10_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"673","DOI":"10.1007\/978-3-642-41533-3_41","volume-title":"Model-Driven Engineering Languages and Systems","author":"M Famelis","year":"2013","unstructured":"Famelis, M., Salay, R., Di Sandro, A., Chechik, M.: Transformation of models containing uncertainty. In: Moreira, A., Sch\u00e4tz, B., Gray, J., Vallecillo, A., Clarke, P. (eds.) MODELS 2013. LNCS, vol. 8107, pp. 673\u2013689. Springer, Heidelberg (2013). \n                    https:\/\/doi.org\/10.1007\/978-3-642-41533-3_41"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Famelis, M., Ben-David, N., Sandro, A.D., Salay, R., Chechik, M.: MU-MMINT: an IDE for model uncertainty. In: Proceedings of the 37th International Conference on Software Engineering (ICSE 2015), Demonstrations Track, pp. 697\u2013700 (2015)","DOI":"10.1109\/ICSE.2015.226"},{"key":"10_CR19","volume-title":"Modeling Systems, Practical Tools and Techniques in Software Development","author":"J Fitzgerald","year":"1998","unstructured":"Fitzgerald, J., Larsen, G.P.: Modeling Systems, Practical Tools and Techniques in Software Development. Cambridge University Press, Cambridge (1998)"},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Fukamachi, T., Ubayashi, N., Hosoai, S., Kamei, Y.: Conquering uncertainty in Java programming. In: Proceedings of the 37th International Conference on Software Engineering (ICSE 2015), Poster Track, pp. 823\u2013824 (2015)","DOI":"10.1109\/ICSE.2015.266"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Fukamachi, T., Ubayashi, N., Hosoai, S., Kamei, Y.: Modularity for uncertainty. In: Proceedings of the 7th International Workshop on Modelling in Software Engineering (MiSE 2015), pp. 7\u201312 (2015)","DOI":"10.1109\/MiSE.2015.9"},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"Garlan, D.: Software engineering in an uncertain world. In: Proceedings of FSE\/SDP Workshop on Future of Software Engineering Research (FoSER 2010), pp. 125\u2013128 (2010)","DOI":"10.1145\/1882362.1882389"},{"key":"10_CR23","series-title":"Advances in Intelligent and Soft Computing","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-642-21393-9_4","volume-title":"Dependable Computer Systems","author":"C Ghezzi","year":"2011","unstructured":"Ghezzi, C., Sharifloo, A.M.: Quantitative verification of non-functional requirements with uncertainty. In: Zamojski, W., Kacprzyk, J., Mazurkiewicz, J., Sugier, J., Walkowiak, T. (eds.) Dependable Computer Systems. AINSC, vol. 97, pp. 47\u201362. Springer, Heidelberg (2011). \n                    https:\/\/doi.org\/10.1007\/978-3-642-21393-9_4"},{"key":"10_CR24","doi-asserted-by":"crossref","unstructured":"Ghezzi, C., Sharifloo, A.M.: Verifying non-functional properties of software product lines: towards an efficient approach using parametric model checking. In: Proceedings of the 15th Software Product Line Conference (SPLC 2011), pp. 170\u2013174 (2011)","DOI":"10.1109\/SPLC.2011.33"},{"key":"10_CR25","unstructured":"Goseva-Popstojanova, K., Kamavaram, S.: Assessing uncertainty in reliability of component-based software systems. In: Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), pp. 307\u2013320 (2003)"},{"key":"10_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/11691372_29","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A Hinton","year":"2006","unstructured":"Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: PRISM: a tool for automatic verification of probabilistic systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol. 3920, pp. 441\u2013444. Springer, Heidelberg (2006). \n                    https:\/\/doi.org\/10.1007\/11691372_29"},{"key":"10_CR27","volume-title":"Communicating Sequential Processes","author":"CAR Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Upper Saddle River (1985)"},{"issue":"4","key":"10_CR28","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1109\/MS.2002.1020288","volume":"9","author":"KC Kang","year":"2002","unstructured":"Kang, K.C., Lee, J., Donohoe, P.: Feature-oriented product line engineering. IEEE Softw. 9(4), 58\u201365 (2002)","journal-title":"IEEE Softw."},{"key":"10_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP 1997 \u2014 Object-Oriented Programming","author":"G Kiczales","year":"1997","unstructured":"Kiczales, G., et al.: Aspect-oriented programming. In: Ak\u015fit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220\u2013242. Springer, Heidelberg (1997). \n                    https:\/\/doi.org\/10.1007\/BFb0053381"},{"key":"10_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/3-540-45337-7_18","volume-title":"ECOOP 2001 \u2014 Object-Oriented Programming","author":"G Kiczales","year":"2001","unstructured":"Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An overview of AspectJ. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol. 2072, pp. 327\u2013354. Springer, Heidelberg (2001). \n                    https:\/\/doi.org\/10.1007\/3-540-45337-7_18"},{"key":"10_CR31","doi-asserted-by":"crossref","unstructured":"Lago, P., Vliet, H.: Explicit assumptions enrich architectural models. In: Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), pp. 206\u2013214 (2005)","DOI":"10.1145\/1062455.1062503"},{"key":"10_CR32","doi-asserted-by":"crossref","unstructured":"Letier, E., Stefan, D., Barr, E.T.: Uncertainty, risk, and information value in software requirements and architecture. In: Proceedings of the 36th International Conference on Software Engineering (ICSE 2014), pp. 883\u2013894 (2014)","DOI":"10.1145\/2568225.2568239"},{"key":"10_CR33","doi-asserted-by":"crossref","unstructured":"Llerena, Y.R.S.: Dealing with uncertainty in verification of nondeterministic systems. In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE 2014), pp. 787\u2013790 (2014)","DOI":"10.1145\/2635868.2666598"},{"key":"10_CR34","volume-title":"Concurrency: State Models & Java Programs","author":"J Magee","year":"2006","unstructured":"Magee, J., Kramer, J.: Concurrency: State Models & Java Programs, 2nd edn. Wiley, Hoboken (2006)","edition":"2"},{"key":"10_CR35","doi-asserted-by":"crossref","unstructured":"Massey, A., Rutledge, R., Ant\u00f3n, A., Swire, P.: Identifying and classifying ambiguity for regulatory requirements. In: Proceedings of the 22nd International Requirements Engineering Conference (RE 2014), pp. 83\u201392 (2014)","DOI":"10.1109\/RE.2014.6912250"},{"key":"10_CR36","doi-asserted-by":"crossref","unstructured":"Meedeniya, I., Moser, I., Aleti, A., Grunske, L.: Architecture-based reliability evaluation under uncertainty. In: Proceedings of the 7th International ACM Sigsoft Conference on the Quality of Software Architectures (QoSA 2011), pp. 85\u201394 (2011)","DOI":"10.1145\/2000259.2000275"},{"key":"10_CR37","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, Upper Saddle River (1989)"},{"issue":"12","key":"10_CR38","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"DL Parnas","year":"1972","unstructured":"Parnas, D.L.: On the criteria to be used in decomposing systems into modules. Commun. ACM 15(12), 1053\u20131058 (1972)","journal-title":"Commun. ACM"},{"key":"10_CR39","doi-asserted-by":"crossref","unstructured":"Perez-Palacin, D., Mirandola, R.: Uncertainties in the modeling of self-adaptive systems: a axonomy and an example of availability evaluation. In: Proceedings of the 5th ACM\/SPEC International Conference on Performance Engineering (ICPE 2014), pp. 3\u201314 (2014)","DOI":"10.1145\/2568088.2568095"},{"key":"10_CR40","unstructured":"Raccoon, Dog: Unknownness. ACM SIGSOFT Softw. Eng. Notes 38(5), 8\u201317 (2013)"},{"key":"10_CR41","doi-asserted-by":"crossref","unstructured":"Rodrigues, P., Lupu, E., Kramer, J.: LTSA-PCA: tool support for compositional reliability analysis. In: ICSE Companion 2014 Companion Proceedings of the 36th International Conference on Software Engineering (ICSE 2014), pp. 548\u2013551 (2014)","DOI":"10.1145\/2591062.2591067"},{"key":"10_CR42","unstructured":"Rosenblum, D.: Probability and uncertainty in software engineering. In: Keynote Talk at the 2013 National Software Application Conference (NASAC 2013) (2013). \n                    http:\/\/www.slideshare.net\/dsrosenblum\/nasac-2013"},{"issue":"2","key":"10_CR43","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s00766-013-0170-y","volume":"18","author":"R Salay","year":"2013","unstructured":"Salay, R., Chechik, M., Horkoff, J., Sandro, A.D.: Managing requirements uncertainty with partial models. Requirements Eng. 18(2), 107\u2013128 (2013)","journal-title":"Requirements Eng."},{"key":"10_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-642-37057-1_3","volume-title":"Fundamental Approaches to Software Engineering","author":"R Salay","year":"2013","unstructured":"Salay, R., Gorzny, J., Chechik, M.: Change propagation due to uncertainty change. In: Cortellessa, V., Varr\u00f3, D. (eds.) FASE 2013. LNCS, vol. 7793, pp. 21\u201336. Springer, Heidelberg (2013). \n                    https:\/\/doi.org\/10.1007\/978-3-642-37057-1_3"},{"issue":"1","key":"10_CR45","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1109\/MS.2005.13","volume":"22","author":"I Sommerville","year":"2005","unstructured":"Sommerville, I.: Integrated requirements engineering: a tutorial. IEEE Softw. 22(1), 16\u201323 (2005)","journal-title":"IEEE Softw."},{"key":"10_CR46","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 9th International ACM SIGSOFT Conference on the Quality of Software Architectures (QoSA 2013), pp. 69\u201378 (2013)","DOI":"10.1145\/2465478.2465487"},{"key":"10_CR47","doi-asserted-by":"crossref","unstructured":"Ubayashi, N., Nomura, J., Tamai, T.: Archface: a contract place where architectural design and code meet together. In: Proceedings of the 32nd International Conference on Software Engineering (ICSE 2010), pp. 75\u201384 (2010)","DOI":"10.1145\/1806799.1806815"},{"key":"10_CR48","doi-asserted-by":"crossref","unstructured":"Ubayashi, N., Ai, D., Li, P., Li, Y., Hosoai, S., Kamei, Y.: Abstraction-aware verifying compiler for yet another MDD. In: Proceedings of the 29th International Conference on Automated Software Engineering (ASE 2014), pp. 557\u2013562 (2014)","DOI":"10.1145\/2642937.2642952"},{"key":"10_CR49","doi-asserted-by":"crossref","unstructured":"Ubayashi, N., Kamei, Y., Sato, R.: iArch-U\/MC: an uncertainty-aware model checker for embracing known unknowns. In: Proceedings of the 13th International Conference on Software Technologies (ICSOFT 2018), pp. 176\u2013184 (2018)","DOI":"10.5220\/0006889501760184"},{"key":"10_CR50","unstructured":"Uchitel, S., Kramer, J., Magee, J.: Modelling undefined behaviour in scenario synthesis. In: Proceedings of the 2nd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools at ICSE 2003 (2003)"},{"issue":"1","key":"10_CR51","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1076\/iaij.4.1.5.16466","volume":"4","author":"WE Walker","year":"2003","unstructured":"Walker, W.E., et al.: Defining uncertainty. A conceptual basis for uncertainty management in model-based decision support. Integr. Assess. 4(1), 5\u201317 (2003)","journal-title":"Integr. Assess."},{"key":"10_CR52","doi-asserted-by":"crossref","unstructured":"Watanabe, K., Ubayashi, N., Fukamachi, T., Nakamura, S., Muraoka, H., Kamei, Y.: iArch-U: interface-centric integrated uncertainty-aware development environment. In: Proceedings of the 9th International Workshop on Modelling in Software Engineering (MiSE 2017) (Workshop at ICSE 2017), pp. 40\u201346 (2017)","DOI":"10.1109\/MiSE.2017.7"},{"issue":"2","key":"10_CR53","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/s00766-010-0101-0","volume":"15","author":"J Whittle","year":"2010","unstructured":"Whittle, J., Sawyer, P., Bencomo, N., Cheng, B.H.C., Bruel, J.-M.: Relax: a language to address uncertainty in self-adaptive systems requirement. Requirements Eng. 15(2), 177\u2013196 (2010)","journal-title":"Requirements Eng."},{"key":"10_CR54","doi-asserted-by":"crossref","unstructured":"Yang, W., Xu, C., Liu, Y., Cao, C., Ma, X., Lu, J.: Verifying self-adaptive applications suffering uncertainty. In: Proceedings of the 29th International Conference on Automated Software Engineering (ASE 2014), pp. 199\u2013210 (2014)","DOI":"10.1145\/2642937.2642999"},{"key":"10_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-540-24667-1_10","volume-title":"Software Product-Family Engineering","author":"T Ziadi","year":"2004","unstructured":"Ziadi, T., H\u00e9lou\u00ebt, L., J\u00e9z\u00e9quel, J.-M.: Towards a UML profile for software product lines. In: van der Linden, F.J. (ed.) PFE 2003. LNCS, vol. 3014, pp. 129\u2013139. Springer, Heidelberg (2004). \n                    https:\/\/doi.org\/10.1007\/978-3-540-24667-1_10"},{"key":"10_CR56","unstructured":"Ziv, H., Richardson, D.J., Kl\u00f6sch, R.: The uncertainty principle in software engineering (1996). \n                    http:\/\/citeseerx.ist.psu.edu\/viewdoc\/summary?doi=10.1.1.39.8700"}],"container-title":["Communications in Computer and Information Science","Software Technologies"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-29157-0_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,12]],"date-time":"2019-08-12T11:07:38Z","timestamp":1565608058000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-29157-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030291563","9783030291570"],"references-count":56,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-29157-0_10","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"13 August 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICSOFT","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Technologies","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Porto","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 July 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 July 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icsoft2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.icsoft.org\/?y=2018","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Primoris","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"117","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"26","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"37","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"22% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}