International Conference on Evaluation of Novel Approaches to Software Engineering最新文献

Tendencies in Database Learning for Undergraduate Students: Learning In-Depth or Getting the Work Done? 大学生数据库学习的趋势:深入学习还是完成工作?

International Conference on Evaluation of Novel Approaches to Software Engineering Pub Date : 2023-07-07 DOI: 10.5220/0012008100003464

Emilia-Loredana Pop, M. Petrescu

{"title":"Tendencies in Database Learning for Undergraduate Students: Learning In-Depth or Getting the Work Done?","authors":"Emilia-Loredana Pop, M. Petrescu","doi":"10.5220/0012008100003464","DOIUrl":"https://doi.org/10.5220/0012008100003464","url":null,"abstract":"This study explores and analyzes the learning tendencies of second-year students enrolled in different lines of study related to the Databases course. There were 79 answers collected from 191 enrolled students that were analyzed and interpreted using thematic analysis. The participants in the study provided two sets of answers, anonymously collected (at the beginning and at the end of the course), thus allowing us to have clear data regarding their interests and to find out their tendencies. We looked into their expectations and if they were met; we concluded that the students want to learn only database basics. Their main challenges were related to the course homework. We combined the information and the answers related to 1) other database-related topics that they would like to learn, 2) how they plan to use the acquired information, and 3) overall interest in learning other database-related topics. The conclusion was that students prefer learning only the basic information that could help them achieve their goals: creating an application or using it at work. For these students, Getting the work done is preferred to Learning in-depth.","PeriodicalId":420861,"journal":{"name":"International Conference on Evaluation of Novel Approaches to Software Engineering","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-07-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134317648","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

Rethinking Certification for Higher Trust and Ethical Safeguarding of Autonomous Systems 重新思考认证对自治系统的更高信任和道德保障

International Conference on Evaluation of Novel Approaches to Software Engineering Pub Date : 2023-03-16 DOI: 10.48550/arXiv.2303.09388

Dasa Kusnirakova, Barbora Buhnova

{"title":"Rethinking Certification for Higher Trust and Ethical Safeguarding of Autonomous Systems","authors":"Dasa Kusnirakova, Barbora Buhnova","doi":"10.48550/arXiv.2303.09388","DOIUrl":"https://doi.org/10.48550/arXiv.2303.09388","url":null,"abstract":"With the increasing complexity of software permeating critical domains such as autonomous driving, new challenges are emerging in the ways the engineering of these systems needs to be rethought. Autonomous driving is expected to continue gradually overtaking all critical driving functions, which is adding to the complexity of the certification of autonomous driving systems. As a response, certification authorities have already started introducing strategies for the certification of autonomous vehicles and their software. But even with these new approaches, the certification procedures are not fully catching up with the dynamism and unpredictability of future autonomous systems, and thus may not necessarily guarantee compliance with all requirements imposed on these systems. In this paper, we identified a number of issues with the proposed certification strategies, which may impact the systems substantially. For instance, we emphasize the lack of adequate reflection on software changes occurring in constantly changing systems, or low support for systems' cooperation needed for the management of coordinated moves. Other shortcomings concern the narrow focus of the awarded certification by neglecting aspects such as the ethical behavior of autonomous software systems. The contribution of this paper is threefold. First, we discuss the motivation for the need to modify the current certification processes for autonomous driving systems. Second, we analyze current international standards used in the certification processes towards requirements derived from the requirements laid on dynamic software ecosystems and autonomous systems themselves. Third, we outline a concept for incorporating the missing parts into the certification procedure.","PeriodicalId":420861,"journal":{"name":"International Conference on Evaluation of Novel Approaches to Software Engineering","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131755060","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}

引用次数: 2

Digital Twins for Trust Building in Autonomous Drones through Dynamic Safety Evaluation 基于动态安全评估的自主无人机信任构建数字孪生模型

International Conference on Evaluation of Novel Approaches to Software Engineering Pub Date : 2023-03-15 DOI: 10.48550/arXiv.2303.12805

Danish Iqbal, Barbora Buhnova, Emilia Cioroaica

{"title":"Digital Twins for Trust Building in Autonomous Drones through Dynamic Safety Evaluation","authors":"Danish Iqbal, Barbora Buhnova, Emilia Cioroaica","doi":"10.48550/arXiv.2303.12805","DOIUrl":"https://doi.org/10.48550/arXiv.2303.12805","url":null,"abstract":"The adoption process of innovative software-intensive technologies leverages complex trust concerns in different forms and shapes. Perceived safety plays a fundamental role in technology adoption, being especially crucial in the case of those innovative software-driven technologies characterized by a high degree of dynamism and unpredictability, like collaborating autonomous systems. These systems need to synchronize their maneuvers in order to collaboratively engage in reactions to unpredictable incoming hazardous situations. That is however only possible in the presence of mutual trust. In this paper, we propose an approach for machine-to-machine dynamic trust assessment for collaborating autonomous systems that supports trust-building based on the concept of dynamic safety assurance within the collaborative process among the software-intensive autonomous systems. In our approach, we leverage the concept of digital twins which are abstract models fed with real-time data used in the run-time dynamic exchange of information. The information exchange is performed through the execution of specialized models that embed the necessary safety properties. More particularly, we examine the possible role of the Digital Twins in machine-to-machine trust building and present their design in supporting dynamic trust assessment of autonomous drones. Ultimately, we present a proof of concept of direct and indirect trust assessment by employing the Digital Twin in a use case involving two autonomous collaborating drones.","PeriodicalId":420861,"journal":{"name":"International Conference on Evaluation of Novel Approaches to Software Engineering","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-03-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130407393","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

Software Vulnerability Prediction Knowledge Transferring Between Programming Languages 软件漏洞预测知识在编程语言间的传递

International Conference on Evaluation of Novel Approaches to Software Engineering Pub Date : 2023-03-10 DOI: 10.48550/arXiv.2303.06177

Khadija Hanifi, R. Fouladi, Basak Gencer Unsalver, Goksu Karadag

引用次数: 1

Requirements Elicitation and Modelling of Artificial Intelligence Systems: An Empirical Study 人工智能系统的需求提取与建模:实证研究

International Conference on Evaluation of Novel Approaches to Software Engineering Pub Date : 2023-02-13 DOI: 10.48550/arXiv.2302.06034

Khlood Ahmad, Mohamed Abdelrazek, Chetan Arora, John C. Grundy, Muneera Bano

引用次数: 1

XtraLibD: Detecting Irrelevant Third-Party Libraries in Java and Python Applications XtraLibD:检测Java和Python应用程序中不相关的第三方库

International Conference on Evaluation of Novel Approaches to Software Engineering Pub Date : 2022-02-22 DOI: 10.1007/978-3-030-96648-5_7

Ritu Kapur, P. U. Rao, Agrim Dewan, B. Sodhi

引用次数: 0

Dynamic Link Network Emulation: A Model-based Design 动态链路网络仿真:基于模型的设计

International Conference on Evaluation of Novel Approaches to Software Engineering Pub Date : 2021-07-15 DOI: 10.5220/0011091100003176

Erick Petersen, J. L'opez, N. Kushik, Claude Poletti, D. Zeghlache

{"title":"Dynamic Link Network Emulation: A Model-based Design","authors":"Erick Petersen, J. L'opez, N. Kushik, Claude Poletti, D. Zeghlache","doi":"10.5220/0011091100003176","DOIUrl":"https://doi.org/10.5220/0011091100003176","url":null,"abstract":"This paper presents the design and architecture of a network emulator whose links' parameters (such as delay and bandwidth) vary at different time instances. The emulator can thus be used in order to test and evaluate novel solutions for such networks, before their final deployment. To achieve this goal, different existing technologies are carefully combined to emulate link dynamicity, automatic traffic generation, and overall network device emulation. The emulator takes as an input a formal model of the network to emulate and configures all required software to execute live software instances of the desired network components, in the requested topology. We devote our study to the so-called dynamic link networks, with potentially asymmetric links. Since emulating asymmetric dynamic links is far from trivial (even with the existing state-of-the-art tools), we provide a detailed design architecture that allows this. As a case study, a satellite network emulation is presented. Experimental results show the precision of our dynamic assignments and the overall flexibility of the proposed solution.","PeriodicalId":420861,"journal":{"name":"International Conference on Evaluation of Novel Approaches to Software Engineering","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115094289","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}

引用次数: 2

Preventive Model-based Verification and Repairing for SDN Requests 基于预防模型的SDN请求验证与修复

International Conference on Evaluation of Novel Approaches to Software Engineering Pub Date : 2020-09-21 DOI: 10.5220/0010494504210428

I. B. Bourdonov, Alexandre Kossachev, N. Yevtushenko, Jorge López, N. Kushik, D. Zeghlache

{"title":"Preventive Model-based Verification and Repairing for SDN Requests","authors":"I. B. Bourdonov, Alexandre Kossachev, N. Yevtushenko, Jorge López, N. Kushik, D. Zeghlache","doi":"10.5220/0010494504210428","DOIUrl":"https://doi.org/10.5220/0010494504210428","url":null,"abstract":"Software Defined Networking (SDN) is a novel network management technology, which currently attracts a lot of attention due to the provided capabilities. Recently, different works have been devoted to testing / verifying the (correct) configurations of SDN data planes. In general, SDN forwarding devices (e.g., switches) route (steer) traffic according to the configured flow rules; the latter identifies the set of virtual paths implemented in the data plane. In this paper, we propose a novel preventive approach for verifying that no misconfigurations (e.g., infinite loops), can occur given the requested set of paths. We discuss why such verification is essential, namely, how, when synthesizing a set of data paths, other not requested and undesired data paths (including loops) may be unintentionally configured. Furthermore, we show that for some cases the requested set of paths cannot be implemented without adding such undesired behavior, i.e., only a superset of the requested set can be implemented. Correspondingly, we present a verification technique for detecting such issues of potential misconfigurations and estimate the complexity of the proposed method; its polynomial complexity highlights the applicability of the obtained results. Finally, we propose a technique for debugging and repairing a set of paths in such a way that the corrected set does not induce undesired paths into the data plane, if the latter is possible.","PeriodicalId":420861,"journal":{"name":"International Conference on Evaluation of Novel Approaches to Software Engineering","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126428289","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

Evaluation of Software Product Quality Metrics 软件产品质量度量的评估

International Conference on Evaluation of Novel Approaches to Software Engineering Pub Date : 2020-09-03 DOI: 10.1007/978-3-030-40223-5_8

A. Molnar, A. Neamţu, S. Motogna

引用次数: 6

CkTail: Model Learning of Communicating Systems 通信系统的模型学习

International Conference on Evaluation of Novel Approaches to Software Engineering Pub Date : 2020-05-05 DOI: 10.5220/0009327400270038

S. Salva, Elliott Blot

引用次数: 7