{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T22:04:17Z","timestamp":1742940257400,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":51,"publisher":"Springer Nature Singapore","isbn-type":[{"type":"print","value":"9789819977420"},{"type":"electronic","value":"9789819977437"}],"license":[{"start":{"date-parts":[[2023,11,26]],"date-time":"2023-11-26T00:00:00Z","timestamp":1700956800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,11,26]],"date-time":"2023-11-26T00:00:00Z","timestamp":1700956800000},"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":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-981-99-7743-7_2","type":"book-chapter","created":{"date-parts":[[2023,11,25]],"date-time":"2023-11-25T09:02:16Z","timestamp":1700902936000},"page":"18-35","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Formal Approach for\u00a0Traceability Preservation in\u00a0Software Development Process"],"prefix":"10.1007","author":[{"given":"Hao","family":"Wen","sequence":"first","affiliation":[]},{"given":"Jinzhao","family":"Wu","sequence":"additional","affiliation":[]},{"given":"Jianmin","family":"Jiang","sequence":"additional","affiliation":[]},{"given":"Jianqing","family":"Li","sequence":"additional","affiliation":[]},{"given":"Zhong","family":"Hong","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,11,26]]},"reference":[{"issue":"1\u20132","key":"2_CR1","first-page":"1","volume":"77","author":"JR Abrial","year":"2007","unstructured":"Abrial, J.R., Hallerstede, S.: Refinement, decomposition, and instantiation of discrete models: application to event-B. Fund. Inform. 77(1\u20132), 1\u201328 (2007)","journal-title":"Fund. Inform."},{"issue":"3","key":"2_CR2","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1147\/sj.453.0515","volume":"45","author":"N Aizenbud-Reshef","year":"2006","unstructured":"Aizenbud-Reshef, N., Nolan, B.T., Rubin, J., Shaham-Gafni, Y.: Model traceability. IBM Syst. J. 45(3), 515\u2013526 (2006)","journal-title":"IBM Syst. J."},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-642-30476-7_10","volume-title":"Theory and Practice of Model Transformations","author":"MF van Amstel","year":"2012","unstructured":"van Amstel, M.F., van den Brand, M.G.J., Serebrenik, A.: Traceability visualization in model transformations with TraceVis. In: Hu, Z., de Lara, J. (eds.) ICMT 2012. LNCS, vol. 7307, pp. 152\u2013159. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-30476-7_10"},{"issue":"4","key":"2_CR4","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1007\/s10270-009-0120-9","volume":"9","author":"N Anquetil","year":"2010","unstructured":"Anquetil, N., et al.: A model-driven traceability framework for software product lines. Softw. Syst. Model. 9(4), 427\u2013451 (2010)","journal-title":"Softw. Syst. Model."},{"key":"2_CR5","unstructured":"ANSI\/IEEE: IEEE guide to software requirements specification, ANSI\/IEEE std 830-1984 (1984)"},{"issue":"10","key":"2_CR6","doi-asserted-by":"publisher","first-page":"970","DOI":"10.1109\/TSE.2002.1041053","volume":"28","author":"G Antoniol","year":"2002","unstructured":"Antoniol, G., Canfora, G., Casazza, G., De Lucia, A., Merlo, E.: Recovering traceability links between code and documentation. IEEE Trans. Softw. Eng. 28(10), 970\u2013983 (2002)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"2_CR7","unstructured":"Barbero, M., Fabro, M., B\u00e9zivin, J.: Traceability and provenance issues in global model management. In: 3rd ECMDA-Traceability Workshop (2007)"},{"key":"2_CR8","doi-asserted-by":"publisher","unstructured":"Carlshamre, P., Sandahl, K., Lindvall, M., Regnell, B., och Dag, J.N.: An industrial survey of requirements interdependencies in software product release planning. In: Proceedings Fifth IEEE International Symposium on Requirements Engineering. IEEE (2001). https:\/\/doi.org\/10.1109\/isre.2001.948547","DOI":"10.1109\/isre.2001.948547"},{"issue":"1","key":"2_CR9","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1002\/spe.2519","volume":"48","author":"H Chen","year":"2018","unstructured":"Chen, H., Jiang, J., Hong, Z., Lin, L.: Decomposition of UML activity diagrams. Softw. Pract. Exp. 48(1), 105\u2013122 (2018)","journal-title":"Softw. Pract. Exp."},{"issue":"9","key":"2_CR10","doi-asserted-by":"publisher","first-page":"796","DOI":"10.1109\/tse.2003.1232285","volume":"29","author":"J Cleland-Huang","year":"2003","unstructured":"Cleland-Huang, J., Chang, C., Christensen, M.: Event-based traceability for managing evolutionary change. IEEE Trans. Softw. Eng. 29(9), 796\u2013810 (2003). https:\/\/doi.org\/10.1109\/tse.2003.1232285","journal-title":"IEEE Trans. Softw. Eng."},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Cleland-Huang, J., Chang, C.K., Ge, Y.: Supporting event based traceability through high-level recognition of change events. In: Proceedings 26th Annual International Computer Software and Applications, pp. 595\u2013600. IEEE (2002)","DOI":"10.1109\/CMPSAC.2002.1045069"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Cleland-Huang, J., Gotel, O.C., Huffman Hayes, J., M\u00e4der, P., Zisman, A.: Software traceability: trends and future directions. In: Future of Software Engineering Proceedings, pp. 55\u201369 (2014)","DOI":"10.1145\/2593882.2593891"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/11787044_13","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"JS Cuadrado","year":"2006","unstructured":"Cuadrado, J.S., Molina, J.G., Tortosa, M.M.: RubyTL: a practical, extensible transformation language. In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol. 4066, pp. 158\u2013172. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11787044_13"},{"issue":"2","key":"2_CR14","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/bf01898400","volume":"3","author":"E Cusack","year":"1991","unstructured":"Cusack, E.: Refinement, conformance and inheritance. Form. Asp. Comput. 3(2), 129\u2013141 (1991). https:\/\/doi.org\/10.1007\/bf01898400","journal-title":"Form. Asp. Comput."},{"key":"2_CR15","doi-asserted-by":"publisher","unstructured":"Dahlstedt, \u00c5.G., Persson, A.: Requirements interdependencies: state of the art and future challenges. In: Aurum, A., Wohlin, C. (eds.) Engineering and Managing Software Requirements, pp. 95\u2013116. Springer-Verlag, Heidelberg (2005). https:\/\/doi.org\/10.1007\/3-540-28244-0_5","DOI":"10.1007\/3-540-28244-0_5"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"De Lucia, A., Fasano, F., Oliveto, R., Tortora, G.: Enhancing an artefact management system with traceability recovery features. In: 2004 Proceedings of 20th IEEE International Conference on Software Maintenance, pp. 306\u2013315. IEEE (2004)","DOI":"10.1109\/ICSM.2004.1357816"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Erata, F., Challenger, M., Tekinerdogan, B., Monceaux, A., T\u00fcz\u00fcn, E., Kardas, G.: Tarski: a platform for automated analysis of dynamically configurable traceability semantics. In: Proceedings of the Symposium on Applied Computing, pp. 1607\u20131614 (2017)","DOI":"10.1145\/3019612.3019747"},{"issue":"1","key":"2_CR18","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/s11334-011-0144-5","volume":"7","author":"A Espinoza","year":"2011","unstructured":"Espinoza, A., Garbajosa, J.: A study to support agile methods more effectively through traceability. Innov. Syst. Softw. Eng. 7(1), 53\u201369 (2011)","journal-title":"Innov. Syst. Softw. Eng."},{"issue":"1","key":"2_CR19","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/s10270-009-0142-3","volume":"10","author":"A Goknil","year":"2009","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(1), 31\u201354 (2009). https:\/\/doi.org\/10.1007\/s10270-009-0142-3","journal-title":"Softw. Syst. Model."},{"key":"2_CR20","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1016\/j.jss.2013.10.006","volume":"88","author":"A Goknil","year":"2014","unstructured":"Goknil, A., Kurtev, I., Berg, K.V.D.: Generation and validation of traces between requirements and architecture based on formal trace semantics. J. Syst. Softw. 88, 112\u2013137 (2014). https:\/\/doi.org\/10.1016\/j.jss.2013.10.006","journal-title":"J. Syst. Softw."},{"key":"2_CR21","doi-asserted-by":"publisher","unstructured":"Gotel, O., Finkelstein, C.: An analysis of the requirements traceability problem. In: Proceedings of IEEE International Conference on Requirements Engineering. IEEE Computer Society Press (1994). https:\/\/doi.org\/10.1109\/icre.1994.292398","DOI":"10.1109\/icre.1994.292398"},{"key":"2_CR22","unstructured":"Group, O.M.: Omg unified modeling language tm (OMG UML): Version 2.5. Needham: OMG (2015)"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"Guo, J., Cleland-Huang, J., Berenbach, B.: Foundations for an expert system in domain-specific traceability. In: 2013 21st IEEE International Requirements Engineering Conference (RE), pp. 42\u201351. IEEE (2013)","DOI":"10.1109\/RE.2013.6636704"},{"issue":"1","key":"2_CR24","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1109\/TSE.2006.3","volume":"32","author":"JH Hayes","year":"2006","unstructured":"Hayes, J.H., Dekhtyar, A., Sundaram, S.K.: Advancing candidate link generation for requirements tracing: the study of methods. IEEE Trans. Softw. Eng. 32(1), 4\u201319 (2006)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"5","key":"2_CR25","doi-asserted-by":"publisher","first-page":"741","DOI":"10.1109\/TVCG.2006.147","volume":"12","author":"D Holten","year":"2006","unstructured":"Holten, D.: Hierarchical edge bundles: visualization of adjacency relations in hierarchical data. IEEE Trans. Visual Comput. Graph. 12(5), 741\u2013748 (2006)","journal-title":"IEEE Trans. Visual Comput. Graph."},{"key":"2_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-540-69534-9_19","volume-title":"Advanced Information Systems Engineering","author":"S Shakil Khan","year":"2008","unstructured":"Shakil Khan, S., Greenwood, P., Garcia, A., Rashid, A.: On the impact of evolving requirements-architecture dependencies: an exploratory study. In: Bellahs\u00e8ne, Z., L\u00e9onard, M. (eds.) CAiSE 2008. LNCS, vol. 5074, pp. 243\u2013257. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-69534-9_19"},{"key":"2_CR27","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.A.: On-demand merging of traceability links with models. In: 3rd ECMDA Traceability Workshop, pp. 47\u201355 (2006)"},{"key":"2_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-540-69927-9_4","volume-title":"Theory and Practice of Model Transformations","author":"DS Kolovos","year":"2008","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.A.C.: The epsilon transformation language. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 46\u201360. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-69927-9_4"},{"key":"2_CR29","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1016\/j.infsof.2017.07.002","volume":"91","author":"Y Laghouaouta","year":"2017","unstructured":"Laghouaouta, Y., Anwar, A., Nassar, M., Coulette, B.: A dedicated approach for model composition traceability. Inf. Softw. Technol. 91, 142\u2013159 (2017). https:\/\/doi.org\/10.1016\/j.infsof.2017.07.002","journal-title":"Inf. Softw. Technol."},{"issue":"1","key":"2_CR30","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1016\/j.jss.2008.08.026","volume":"82","author":"P Lago","year":"2009","unstructured":"Lago, P., Muccini, H., van Vliet, H.: A scoped approach to traceability management. J. Syst. Softw. 82(1), 168\u2013182 (2009). https:\/\/doi.org\/10.1016\/j.jss.2008.08.026","journal-title":"J. Syst. Softw."},{"key":"2_CR31","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1016\/j.jss.2015.11.020","volume":"113","author":"T Lambolais","year":"2016","unstructured":"Lambolais, T., Courbis, A.L., Luong, H.V., Percebois, C.: IDF: a framework for the incremental development and conformance verification of UML active primitive components. J. Syst. Softw. 113, 275\u2013295 (2016). https:\/\/doi.org\/10.1016\/j.jss.2015.11.020","journal-title":"J. Syst. Softw."},{"key":"2_CR32","unstructured":"Letelier, P.: A framework for requirements traceability in UML-based projects. In: Proceedings of the 1st International Workshop on Traceability in Emerging Forms of Software Engineering, pp. 30\u201341 (2002)"},{"key":"2_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-642-28714-5_17","volume-title":"Requirements Engineering: Foundation for Software Quality","author":"Y Li","year":"2012","unstructured":"Li, Y., Maalej, W.: Which traceability visualization is suitable in this context? A comparative study. In: Regnell, B., Damian, D. (eds.) REFSQ 2012. LNCS, vol. 7195, pp. 194\u2013210. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-28714-5_17"},{"issue":"10","key":"2_CR34","doi-asserted-by":"publisher","first-page":"2205","DOI":"10.1016\/j.jss.2011.10.023","volume":"85","author":"P M\u00e4der","year":"2012","unstructured":"M\u00e4der, P., Gotel, O.: Towards automated traceability maintenance. J. Syst. Softw. 85(10), 2205\u20132227 (2012)","journal-title":"J. Syst. Softw."},{"key":"2_CR35","doi-asserted-by":"crossref","unstructured":"M\u00e4der, P., Gotel, O., Kuschke, T., Philippow, I.: Tracemaintainer-automated traceability maintenance. In: 2008 16th IEEE International Requirements Engineering Conference. pp. 329\u2013330. IEEE (2008)","DOI":"10.1109\/RE.2008.25"},{"issue":"7","key":"2_CR36","first-page":"66","volume":"10","author":"D Meedeniya","year":"2019","unstructured":"Meedeniya, D., Rubasinghe, I., Perera, I.: Traceability establishment and visualization of software artefacts in devops practice: a survey. Int. J. Adv. Comput. Sci. Appl. 10(7), 66\u201376 (2019)","journal-title":"Int. J. Adv. Comput. Sci. Appl."},{"key":"2_CR37","doi-asserted-by":"crossref","unstructured":"Merten, T., J\u00fcppner, D., Delater, A.: Improved representation of traceability links in requirements engineering knowledge using sunburst and netmap visualizations. In: 2011 4th International Workshop on Managing Requirements Knowledge, pp. 17\u201321. IEEE (2011)","DOI":"10.1109\/MARK.2011.6046557"},{"key":"2_CR38","doi-asserted-by":"crossref","unstructured":"Murta, L.G., Van Der Hoek, A., Werner, C.M.: Archtrace: policy-based support for managing evolving architecture-to-implementation traceability links. In: 21st IEEE\/ACM International Conference on Automated Software Engineering (ASE 2006), pp. 135\u2013144. IEEE (2006)","DOI":"10.1109\/ASE.2006.16"},{"key":"2_CR39","unstructured":"OMG: Omg systems modeling language tm version 1.5. An OMG Systems Modeling Language TM Publication, May 2017. http:\/\/www.omg.org\/spec\/SysML\/1.5\/"},{"issue":"1","key":"2_CR40","first-page":"48","volume":"42","author":"S Pavalkis","year":"2013","unstructured":"Pavalkis, S., Nemurait\u0117, L., Butkien\u0117, R.: Derived properties: a user friendly approach to improving model traceability. Inf. Technol. Control 42(1), 48\u201360 (2013)","journal-title":"Inf. Technol. Control"},{"key":"2_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-540-69100-6_2","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"J von Pilgrim","year":"2008","unstructured":"von Pilgrim, J., Vanhooff, B., Schulz-Gerlach, I., Berbers, Y.: Constructing and visualizing transformation chains. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol. 5095, pp. 17\u201332. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-69100-6_2"},{"issue":"1","key":"2_CR42","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1109\/32.895989","volume":"27","author":"B Ramesh","year":"2001","unstructured":"Ramesh, B., Jarke, M.: Toward reference models for requirements traceability. IEEE Trans. Softw. Eng. 27(1), 58\u201393 (2001)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"8","key":"2_CR43","doi-asserted-by":"publisher","first-page":"777","DOI":"10.1109\/TSE.2016.2622264","volume":"43","author":"P Rempel","year":"2016","unstructured":"Rempel, P., M\u00e4der, P.: Preventing defects: the impact of requirements traceability completeness on software quality. IEEE Trans. Softw. Eng. 43(8), 777\u2013797 (2016)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"2_CR44","doi-asserted-by":"crossref","unstructured":"Santos, W.B., de Almeida, E.S., Meira, S.R.: TIRT: a traceability information retrieval tool for software product lines projects. In: 2012 38th Euromicro Conference on Software Engineering and Advanced Applications, pp. 93\u2013100. IEEE (2012)","DOI":"10.1109\/SEAA.2012.40"},{"issue":"2","key":"2_CR45","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1002\/spe.1002","volume":"41","author":"R Silva","year":"2011","unstructured":"Silva, R., Pascal, C., Hoang, T.S., Butler, M.: Decomposition tool for event-B. Softw. Pract. Exp. 41(2), 199\u2013208 (2011)","journal-title":"Softw. Pract. Exp."},{"issue":"3","key":"2_CR46","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1023\/A:1011269103179","volume":"18","author":"G Smith","year":"2001","unstructured":"Smith, G., Derrick, J.: Specification, refinement and verification of concurrent systems-an integration of object-Z and CSP. Form. Methods Syst. Des. 18(3), 249\u2013284 (2001)","journal-title":"Form. Methods Syst. Des."},{"issue":"2","key":"2_CR47","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/s0164-1212(03)00242-5","volume":"72","author":"G Spanoudakis","year":"2004","unstructured":"Spanoudakis, G., Zisman, A., P\u00e9rez-Mi\u00f1ana, E., Krause, P.: Rule-based generation of requirements traceability relations. J. Syst. Softw. 72(2), 105\u2013127 (2004). https:\/\/doi.org\/10.1016\/s0164-1212(03)00242-5","journal-title":"J. Syst. Softw."},{"issue":"5","key":"2_CR48","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1142\/S0218194023500134","volume":"33","author":"H Wen","year":"2023","unstructured":"Wen, H., Wu, J., Jiang, J., Tang, G., Hong, Z.: A formal approach for consistency management in UML models. Int. J. Softw. Eng. Knowl. Eng. 33(5), 733\u2013763 (2023)","journal-title":"Int. J. Softw. Eng. Knowl. Eng."},{"issue":"3","key":"2_CR49","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/s11334-014-0230-6","volume":"10","author":"L Wen","year":"2014","unstructured":"Wen, L., Tuffley, D., Dromey, R.G.: Formalizing the transition from requirements\u2019 change to design change using an evolutionary traceability model. Innov. Syst. Softw. Eng. 10(3), 181\u2013202 (2014). https:\/\/doi.org\/10.1007\/s11334-014-0230-6","journal-title":"Innov. Syst. Softw. Eng."},{"key":"2_CR50","doi-asserted-by":"publisher","unstructured":"Wiederseiner, C., Garousi, V., Smith, M.: Tool support for automated traceability of test\/code artifacts in embedded software systems. In: 2011IEEE 10th International Conference on Trust, Security and Privacy in Computing and Communications. IEEE (2011). https:\/\/doi.org\/10.1109\/trustcom.2011.151","DOI":"10.1109\/trustcom.2011.151"},{"issue":"4","key":"2_CR51","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/s10270-009-0145-0","volume":"9","author":"S Winkler","year":"2010","unstructured":"Winkler, S., von Pilgrim, J.: A survey of traceability in requirements engineering and model-driven development. Softw. Syst. Model. 9(4), 529\u2013565 (2010). https:\/\/doi.org\/10.1007\/s10270-009-0145-0","journal-title":"Softw. Syst. Model."}],"container-title":["Communications in Computer and Information Science","Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-99-7743-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,3]],"date-time":"2024-11-03T09:25:27Z","timestamp":1730625927000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-99-7743-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,26]]},"ISBN":["9789819977420","9789819977437"],"references-count":51,"URL":"https:\/\/doi.org\/10.1007\/978-981-99-7743-7_2","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2023,11,26]]},"assertion":[{"value":"26 November 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NCTCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"National Conference of Theoretical Computer Science","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Guangzhou","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 July 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 July 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"41","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"nctcs2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.ccf.org.cn\/TCS2023","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"https:\/\/conf.ccf.org.cn\/TCS2023","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"70","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":"16","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":"0","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":"23% - 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":"3","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":"3","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)"}},{"value":"The submission system is belonged to the hosted organization -China Computer Federation. It is free to us.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}