Proceedings of the 4th World Symposium on Software Engineering最新文献

Research on the Design of Project-based Teaching & Learning Mode Assisted by Educational Robot 基于项目的教育机器人辅助教学模式设计研究

Proceedings of the 4th World Symposium on Software Engineering Pub Date : 2022-09-28 DOI: 10.1145/3568364.3568387

Jing Luo, Shuya Zhang

{"title":"Research on the Design of Project-based Teaching & Learning Mode Assisted by Educational Robot","authors":"Jing Luo, Shuya Zhang","doi":"10.1145/3568364.3568387","DOIUrl":"https://doi.org/10.1145/3568364.3568387","url":null,"abstract":"In view of the problems existing in the current implementation of project-based learning, such as teachers pay too little attention to students' basic theoretical knowledge, students' low participation in learning and the limitations of using information technology, this paper considers the application of autonomous mobile educational robots to assist project-based learning under the background of artificial intelligence (AI). First, according to the six characteristics of robot-assisted instruction, we discuss the functional modules of autonomous mobile educational robots that assist project-based learning should have, also, guided by the constructivism theory, combined with the general project-based teaching mode and the functional characteristics of autonomous mobile educational robots assisting project-based teaching, we reconstruct the elements of teaching system, and a project-based teaching mode assisted by autonomous mobile educational robots is designed. Then, a learning platform corresponding to the teaching mode of this paper is developed by using enterprise WeChat to further assist the teaching & learning process. Finally, in order to verify the feasibility and effectiveness of the teaching model, the experimental course of” Principles of Computer Composition” for sophomore is selected to carry out corresponding teaching practice, the results demonstrate that the teaching mode has positive effects on improving students' motivation, participation, interest in the material, and collaborative learning abilities.","PeriodicalId":262799,"journal":{"name":"Proceedings of the 4th World Symposium on Software Engineering","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117203268","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Research on the Application of 3D Digitization in Cultural Relics: Taking Ducks in a Lotus Pond as an Example 三维数字化在文物中的应用研究——以荷塘鸭为例

Proceedings of the 4th World Symposium on Software Engineering Pub Date : 2022-09-28 DOI: 10.1145/3568364.3568381

Ping Zhou, Yang Cao, Wangqiao Rong

引用次数: 0

A Decision-Making Model for Selecting the Best Digital Marketing Strategy for Chinese Long Stayers in Chiang Mai, Thailand 泰国清迈中国长住游客最佳数字营销策略选择决策模型

Proceedings of the 4th World Symposium on Software Engineering Pub Date : 2022-09-28 DOI: 10.1145/3568364.3568391

Xiangyu Li, J. Wanitwattanakosol

{"title":"A Decision-Making Model for Selecting the Best Digital Marketing Strategy for Chinese Long Stayers in Chiang Mai, Thailand","authors":"Xiangyu Li, J. Wanitwattanakosol","doi":"10.1145/3568364.3568391","DOIUrl":"https://doi.org/10.1145/3568364.3568391","url":null,"abstract":"Along with the digital economy's growth, digital marketing significantly impacts how businesses and customers interact. It steadily permeates the Internet environment and emphasizes the importance of all types of marketing operations. Since 2020, the effect of the Covid-19 epidemic has accelerated the deep integration of social media and the home economy, and corporate marketing methods have changed from traditional marketing to digital marketing. However, digital marketing is in its infancy for many traditional industries, and marketing effectiveness needs to be improved. There is still a long way to go to complete this transformation. Therefore, this paper uses the Central Festival catering business in Chiang Mai as a case study and follows a knowledge management process, aiming to produce a multiple criteria decision-making model based on the 4C theory. To select digital marketing strategies for the Central Festival catering business in Chiang Mai to recruit and retain long-stay Chinese customers, improve market competitiveness, and increase brand influence in the face of the Covid-19 epidemic. This study is based on the knowledge management process and used qualitative and quantitative methods to investigate the research questions, conducted online surveys and in-depth interviews to collect individual and collective data. AHP and TOPSIS analyses were also used in this work. In the AHP section, each influencing factor's importance was counted by calculating the weights of the four criteria and 15 sub-criteria based on the weight of each influencing factor, thus providing a more precise measure of the importance of the six alternatives. The result was made that social media marketing is the most suitable digital marketing strategy for Central Festival. The result will help the CF restaurant industry better understand the long-stay Chinese consumer value proposition in Chiang Mai and thus build more robust decision-making models.","PeriodicalId":262799,"journal":{"name":"Proceedings of the 4th World Symposium on Software Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130473122","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Measurement of Compulsory Education Resource Allocation under Population Factors in China 人口因素下中国义务教育资源配置测度

Proceedings of the 4th World Symposium on Software Engineering Pub Date : 2022-09-28 DOI: 10.1145/3568364.3568384

Xueqi He, Jinchu Zhou, Y. Wang, Xiaoning Wang

{"title":"Measurement of Compulsory Education Resource Allocation under Population Factors in China","authors":"Xueqi He, Jinchu Zhou, Y. Wang, Xiaoning Wang","doi":"10.1145/3568364.3568384","DOIUrl":"https://doi.org/10.1145/3568364.3568384","url":null,"abstract":"The high-quality and balanced development of basic compulsory education is of great significance to the country, society and even individuals. The current situation of China's slowing down of social population growth and accelerated aging has brought new challenges to education. Measuring the rationality of education resource allocation from the new perspective of changing population is an indispensable part of optimizing compulsory education reform. From the perspective of time and space, this study collected the education statistics officially released by Chinese government websites in 31 regions in mainland China from 2013 to 2019 and concluded after cleaning, analysis, and modeling. Taking the population structure and quantity as the entry point, this paper firstly uses three-stage data envelopment analysis (DEA) to carry out a static analysis on the allocation efficiency of compulsory education resources. The results show that the internal technical management of 20 regions, including Beijing and Hebei, needs to be improved; 5 regions including Inner Mongolia and Hainan can appropriately increase education investment; from the perspective of population, the increase in the number and proportion of students in compulsory education has an inhibitory effect on resource allocation efficiency. Then, the Malmquist index was used to perform a dynamic decomposition of total factor productivity, and it's concluded that the main reason for hindering the sustained and rapid growth of educational resource allocation is the lack of internal refined management. Finally, it is suggested that different regions should improve their internal allocation strategies and increase education investment and enhance science and technology reform respectively in conjunction with the number of in-migrating population.","PeriodicalId":262799,"journal":{"name":"Proceedings of the 4th World Symposium on Software Engineering","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115820849","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Quantified Assertion Verification Method for Non-linear Arithmetic and Mutable Data Structures 非线性算法和可变数据结构的量化断言验证方法

Proceedings of the 4th World Symposium on Software Engineering Pub Date : 2022-09-28 DOI: 10.1145/3568364.3568371

Xia Li, Yunjie Yu

{"title":"Quantified Assertion Verification Method for Non-linear Arithmetic and Mutable Data Structures","authors":"Xia Li, Yunjie Yu","doi":"10.1145/3568364.3568371","DOIUrl":"https://doi.org/10.1145/3568364.3568371","url":null,"abstract":"Formal verification is an important method to improve the high-confidence of software. However, it cannot be widely used for applications in the industry yet, mainly because of the insufficient proof power of theorem provers. The work of this paper focuses on the verification of quantified assertions describing program properties, and the verification process is based on the verification prototype system. For non-linear arithmetic in the quantified assertions verification, the Splitting-and-Merging method is proposed to transform the quantified assertions about the program, preserving original information and generating new quantified assertions, so that can be proved by automatic theorem prover. A Grouping method is proposed for the pointer programs with multiple quantified assertions of mutable data structures, it helps automatic theorem discover the association and properties between assertions of mutable data structures. Experimental results show that the verification prototype system can effectively solve the non-linear arithmetic problem and mutable data structures problem of the quantified assertions verification in program verification.","PeriodicalId":262799,"journal":{"name":"Proceedings of the 4th World Symposium on Software Engineering","volume":"258 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114531064","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Chinese Short Text Entity Linking Model Based on PET 基于PET的中文短文本实体链接模型

Proceedings of the 4th World Symposium on Software Engineering Pub Date : 2022-09-28 DOI: 10.1145/3568364.3568378

Xiaofan Yan, Jie Cheng, Ru Zhang, Jiahui Wei, Liandong Chen, Kai Cheng

引用次数: 0

Learning from the Past: Fast NAS for price predictions 从过去学习:价格预测的快速NAS

Proceedings of the 4th World Symposium on Software Engineering Pub Date : 2022-09-28 DOI: 10.1145/3568364.3568372

Pak-Ming Cheung

引用次数: 1

Progress and Prospects of Quantum Algorithms 量子算法的进展与展望

Proceedings of the 4th World Symposium on Software Engineering Pub Date : 2022-09-28 DOI: 10.1145/3568364.3568379

Hang Yang, B. Wu, Yongbo Xuan, Qiting Li, Xiaofei Wang

引用次数: 0

Identifying Candidate Classes for Unit Testing Using Deep Learning Classifiers: An Empirical Validation 使用深度学习分类器识别单元测试的候选类:经验验证

Proceedings of the 4th World Symposium on Software Engineering Pub Date : 2022-09-28 DOI: 10.1145/3568364.3568380

Wyao Matcha, Fadel Touré, M. Badri, L. Badri

{"title":"Identifying Candidate Classes for Unit Testing Using Deep Learning Classifiers: An Empirical Validation","authors":"Wyao Matcha, Fadel Touré, M. Badri, L. Badri","doi":"10.1145/3568364.3568380","DOIUrl":"https://doi.org/10.1145/3568364.3568380","url":null,"abstract":"This paper aims at investigating the use of deep learning to suggest (prioritize) classes to be tested rigorously during unit testing of object-oriented systems. We relied on software unit testing information history and source code metrics. We conducted an empirical study using data collected from two Apache open-source Java software systems (POI and ANT). For each software system, we extracted the source code of five different versions. For each version, we collected various metrics from the source code of the Java classes. Then, for all software classes, we extracted testing coverage measures at instruction and method levels of granularity. We used the existing JUnit test cases developed for these systems. Based on the different datasets we collected, we trained several deep neural network models. We validated the obtained classifiers using four validation techniques: (1) CV: Cross Version validation, (2) CPV: Combined Previous Version validation, (3) CSPV: Combined System and Previous Version validation, and (4) LOSO: Leave One System Out validation. The obtained results in terms of classifiers’ performance vary between 70% and 80% of accuracy and strongly support the viability of our approach.","PeriodicalId":262799,"journal":{"name":"Proceedings of the 4th World Symposium on Software Engineering","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116781403","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Improving Code Completion by Sequence Features and Structural Features 通过序列特征和结构特征改进代码完成性

Proceedings of the 4th World Symposium on Software Engineering Pub Date : 2022-09-28 DOI: 10.1145/3568364.3568373

Ya-Ping Liu, Zhiqiu Huang, Yaoshen Yu, Yasir Hussain, Lile Lin

{"title":"Improving Code Completion by Sequence Features and Structural Features","authors":"Ya-Ping Liu, Zhiqiu Huang, Yaoshen Yu, Yasir Hussain, Lile Lin","doi":"10.1145/3568364.3568373","DOIUrl":"https://doi.org/10.1145/3568364.3568373","url":null,"abstract":"Code completion is essential in integrated development environments (IDEs). It has also shown intelligence in helping developers to product. Recently, neural network-based models have helped improve code completion by capturing code information from the abstract syntax tree (AST). However, these methods suffer from several issues. First, the code sequence features are not fully exploited. Second, the sequence features are not effectively combined and utilized with structural features. In this paper, we explore the effectiveness of code sequence features using relative position encoding at first. Then we combine the sequence features with structural features using an extended attention mechanism to enhance performance. We evaluate the proposed approach in two real-world datasets and find that sequence features are practically crucial for code completion. The sequence features combined with structural features enhance the code completion performance. Also, we employ Byte-Pair Encoding (BPE) to mitigate the out-of-vocabulary (OOV) issue in this task. Our best model has a 10% improvement for the mean reciprocal rank (MRR) metric compared to previous researches.","PeriodicalId":262799,"journal":{"name":"Proceedings of the 4th World Symposium on Software Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128511626","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1