Semiotics is the discipline that studies the signs and the cognitive process of meaning-making. As part of semiotics studies, the idea of semiospheres has been formulated, representing spheres of meaning that do not e...
详细信息
Context: The rapid evolution of softwareengineering in response to the complex demands of the modern digital society has led to increased pressure on developers to adapt quickly. However, a pragmatic approach often o...
详细信息
ISBN:
(纸本)9789897587467
Context: The rapid evolution of softwareengineering in response to the complex demands of the modern digital society has led to increased pressure on developers to adapt quickly. However, a pragmatic approach often overlooks the deeper theoretical foundations, which can result in inefficient software development practices. systems Thinking (ST), particularly through Critical systems Heuristics (CSH), offers a reflective and holistic approach to address these challenges, especially in the software requirements elicitation phase. Goal: This research aims to relate an experience of introducing systems Thinking to undergraduate students using Critical systems Heuristics as a support tool in a requirement elicitation process. Method: A mixed-methods educational experience was conducted with 36 undergraduate softwareengineering students. The students applied the CSH framework during an assignment on software requirements elicitation. The effectiveness of CSH was assessed through both quantitative measures (number and categorization of elicited requirements) and qualitative feedback (students’ perceptions and reflections). At the end of the project, we collected the students’ reflections about the application experience to gather students’ feedback Results: The application of CSH led to the elicitation of 372 total requirements, of which 25 were derived using the CSH framework. Students reported a positive impact on their overall understanding of the system but also highlighted challenges related to the complexity and time-consuming nature of the framework. Conclusion: The study demonstrates that the CSH framework can be a valuable tool in software requirements elicitation, aiding in the understanding the problem’s context and in the confirmation of requirements. While students acknowledged its benefits, they also recognized its limitations, suggesting that further refinement is needed for practical use. This experience contributes to the integration of systems Thinking
The electronic safety and arming device test system is developed to ensure the reliability of weapon systems. In view of the low test efficiency and high requirements for testers in manual testing during the current t...
详细信息
A collective adaptive system is made up of cooperating entities that can adjust in real time to evolving, open environments and shifting requirements. To ensure such a system meets its intended goals, rigorous enginee...
详细信息
ISBN:
(纸本)9783031751066;9783031751073
A collective adaptive system is made up of cooperating entities that can adjust in real time to evolving, open environments and shifting requirements. To ensure such a system meets its intended goals, rigorous engineering must employ suitable methods and tools. This introduction offers a short overview of the 5(th) edition of the track "Rigorous engineering of Collective Adaptive systems" and briefly presents the 20 scientific contributions, organised into seven thematic sections. Large Ensembles and Collective Dynamics, Knowledge, Consciousness and Emergence, Automated Reasoning for Better Interaction, Modelling and engineering Collective Adaptive systems, Analysing Collective Adaptive systems.
The software industry is characterized by an environment of uncertainty, high volatility, and constant change. This context has shaped the industry, its components, and actors, generating methodologies capable of meet...
详细信息
In edge-cloud systems, the quality of infrastructure deployment is crucial for delivering high-quality services, especially when using popular Infrastructure as Code (IaC) tools like Ansible. Ensuring the reliability ...
详细信息
ISBN:
(纸本)9783031751097;9783031751103
In edge-cloud systems, the quality of infrastructure deployment is crucial for delivering high-quality services, especially when using popular Infrastructure as Code (IaC) tools like Ansible. Ensuring the reliability of such large-scale code systems poses a significant challenge due to the limited testing resources. software defect prediction (SDP) addresses this limitation by identifying defectprone software modules, allowing developers to prioritize testing resources effectively. This paper introduces a Large Language Model (LLM)-based approach for SDP in Ansible scripts with Code-Smell-guided Prompting (CSP). CSP leverages code smell indicators extracted from Ansible scripts to refine prompts given to LLMs, enhancing their understanding of code structure concerning defects. Our experimental results demonstrate that CSP variants, particularly the Chain of Thought CSP (CoT-CSP), outperform traditional prompting strategies, as evidenced by improved F1-scores and Recall. To the best of our knowledge, this is the first attempt to employ LLMs for SDP in Ansible scripts. By employing a code smell-guided prompting strategy tailored for Ansible, we anticipate that the proposed method will enhance software quality assurance and reliability, thereby increasing the overall reliability of edge-cloud systems.
Maritime transportation business suffers from trust issues and burdensome paperwork. Blockchain-based smart contracts are a promising solution. Due to the nature of the blockchain, it is important to verify smart cont...
详细信息
ISBN:
(纸本)9783031664557;9783031664564
Maritime transportation business suffers from trust issues and burdensome paperwork. Blockchain-based smart contracts are a promising solution. Due to the nature of the blockchain, it is important to verify smart contracts before deployment, especially for its functionality and legality. In this paper, we propose a verification framework that automatically verifies the functionality and legality requirements of maritime transportation smart contracts. Smart contracts of an application, based on a set of templates, are modeled in a network of timed automata;domain-specific requirements are collected and formulated as temporal logic formulas;real-time model checking tool UPPAAL is then used to check whether these requirements are satisfied. We carry out experiments on nine real-world smart contracts to show the effectiveness and feasibility of our framework. We also compare our work with existing tools to show its effectiveness and efficiency.
Cycling is an important field of sport and a great example of a sport in which athletes are highly measured due to cycling computers that monitor and document workouts in detail. Leveraging this variety of data, we de...
详细信息
This contribution delves into the incorporation of Sustainable Development Goals (SDGs) into the computerengineering curriculum. The study addresses challenges associated with integrating SDGs as cross-cutting conten...
详细信息
This paper presents BC-SBOM, a novel blockchainbased system designed to enhance the management of software Bills of Materials (SBOMs). By leveraging blockchain technology, BC-SBOM ensures secure storage and sharing of...
详细信息
ISBN:
(纸本)9791188428137
This paper presents BC-SBOM, a novel blockchainbased system designed to enhance the management of software Bills of Materials (SBOMs). By leveraging blockchain technology, BC-SBOM ensures secure storage and sharing of SBOMs, while providing a comprehensive global view of dependencies among software components. The system also supports rapid propagation of alerts for newly discovered vulnerabilities, thereby increasing responsiveness to potential threats. Offering superior reliability, transparency, and availability compared to traditional SBOM tools, BC-SBOM aims to significantly improve the management of complex softwaresystems and contribute to the advancement of software security practices. Copyright 2025 Global IT Research Institute (GIRI). All rights reserved.
暂无评论