Arc Additive Manufacturing (AAM) is a cuttingedge technology for producing complex metal components with high precision and efficiency. This study introduces a dynamic fluid simulation method to optimize AAM path plan...
详细信息
[Context andMotivation] Large Language Models (LLMs) have made remarkable advancements in emulating human linguistic capabilities, showing potential in executing various traditional softwareengineering tasks, includi...
详细信息
ISBN:
(纸本)9783031573262;9783031573279
[Context andMotivation] Large Language Models (LLMs) have made remarkable advancements in emulating human linguistic capabilities, showing potential in executing various traditional softwareengineering tasks, including code generation. [Question/Problem] Despite their generally good performance, utilizing LLM-generated code raises legitimate concerns regarding its correctness and the assurances it can provide. [Principal Idea/Results] To address these concerns, we propose turning to formal requirements engineering-a practice currently predominantly used in developing complex systems where adherence to standards and accountability are required. [Contribution] In this vision paper, we discuss the integration of automatic formal requirements engineering techniques as a complement to LLM code generation. Additionally, we explore how LLMs can facilitate the broader acceptance of formal requirements, thus making the vision proposed in this paper realizable.
is crucial in educational systems, particularly in softwareengineering (SE) programs, where fair and effective evaluations drive continuous improvement. The shift to student-centric methodologies has evolved assessme...
详细信息
is crucial in educational systems, particularly in softwareengineering (SE) programs, where fair and effective evaluations drive continuous improvement. The shift to student-centric methodologies has evolved assessment strategies to focus on aligning educational processes with students' developmental needs rather than merely measuring academic outputs. This paper adapts the Goal-Question-Metric (GQM) framework to enhance learning in softwareengineering education by linking educational goals, learning activities, and assessment methods. This approach specifies expected learning outcomes and integrates mechanisms for continuous improvement, aligning teaching strategies with student performance metrics. A systematic framework for course assessment using the GQM framework is presented, aligning assessment methods with Intended Learning Outcomes (ILOs) and Student Learning Outcomes (SLOs) to ensure data-driven enhancements. To validate this approach, a template was introduced to assess the impact of a tailored GQM approach on the final exam outcomes of a softwareengineering course at King Abdulaziz University's Department of computerscience. A controlled experiment was conducted over two semesters with students from the CPCS 351 course. The control group, in the first semester, completed their finals without applying GQM, while the experimental group in the following semester employed a customized GQM framework. Statistical analyses, including ANOVA and Mann-Whitney U tests, were utilized to compare exam performance between the groups. Results indicated a significant improvement in the exam scores of the experimental group, thereby validating the effectiveness of the GQM framework in boosting academic performance through structured exam preparation and execution.
Black-box context-free grammar inference is a hard problem as in many practical settings it only has access to a limited number of example programs. The state-of-the-art approach Arvada heuristically generalizes gramm...
详细信息
In software ecosystems, the decision-making process for vendor selection remains a significant challenge, often worsened by the lack of effective tools that leverage visualization to aid in these decisions. This study...
详细信息
ISBN:
(纸本)9783031645754;9783031645761
In software ecosystems, the decision-making process for vendor selection remains a significant challenge, often worsened by the lack of effective tools that leverage visualization to aid in these decisions. This study aims to bridge this gap by prototyping a tool and hence proposing a user interface for the same, based on a software vendor selection framework, enhancing decision-making through intuitive visualizations and a user-friendly interface. Our research methodology combined a semistructured literature review, preliminary user interface development, and expert feedback to ensure the tool's practicality and effectiveness. The prototype testing of the user interface design, informed by expert feedback, indicates a positive impact on decision-making processes, demonstrating the prototype's ability to streamline vendor analysis and selection. The proposed tool significantly contributes to reducing the complexity and subjectivity of vendor selection, offering a more structured and data-driven approach.
This study centers on the development of a narrative-driven, science fiction-themed animated video using Vyond's Go AI-powered platform. The objective is to enhance conceptual understanding and cognitive engagemen...
详细信息
software vulnerabilities are a major cyber threat and it is important to detect them. One important approach to detecting vulnerabilities is to use deep learning while treating a program function as a whole, known as ...
详细信息
The release of ChatGPT heralds a new era in artificial intelligence, as large language models (LLMs) empower myriad industries. This paper introduces RSChat, a model based on supervised fine-tuning of multiple large l...
详细信息
In computerscience, cultural assumptions are embedded in programming languages and problem prompts. This paper investigates the impact of cultural assumptions on internationalcomputerscience students in the US. By ...
详细信息
ISBN:
(纸本)9798400706264
In computerscience, cultural assumptions are embedded in programming languages and problem prompts. This paper investigates the impact of cultural assumptions on internationalcomputerscience students in the US. By performing thematic analysis on semistructured interviews with 12 international graduate students at North Carolina State University, the authors found six main themes. Analyzing these themes provided insight into what barriers international students face and how they can be alleviated. By shedding light on this topic, the authors hope to inform computerscience educators and researchers on the importance of creating inclusive and culturally relevant learning environments that accommodate the needs of diverse students.
DAPSys software is a system software that will perform detection, analysis, and protection by providing features like graphical password authentication, VPN detection, traffic analysis by packetsniffing, RFID blocking...
详细信息
暂无评论