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...
详细信息
Predicting the metastatic direction of primary breast cancer (BC), thus assisting physicians in precise treatment, strict follow-up, and effectively improving the prognosis. The clinical data of 293,946 patients with ...
详细信息
This paper addresses the testing phase of the software development life cycle, mainly focusing on identifying the broken links in documentation. Broken links cause serious issues that can bring down the integrity of t...
详细信息
To mitigate the challenges posed by data uncertainty in Full-Self Driving (FSD) systems. This paper proposes a novel feature extraction learning model called Adaptive Region of Interest Optimized Pyramid Network (ARO)...
详细信息
An artificial intelligence (AI) system works by combining a computer program and algorithms to make a device more efficient and intelligent for tasks that are typically performed by humans. Deep learning, machine lear...
详细信息
The proceedings contain 7 papers. The special focus in this conference is on engineering Trustworthy software Systems. The topics include: From Logic to Programming;digital Twin Tutorial: The Incubator Case Study...
ISBN:
(纸本)9789819646555
The proceedings contain 7 papers. The special focus in this conference is on engineering Trustworthy software Systems. The topics include: From Logic to Programming;digital Twin Tutorial: The Incubator Case Study;AI Components for High Integrity, Safety-Critical Human-Cyber-Physical Systems: A Challenge for Formal Methods;Testing and Design of Uniform CNF Samplers: A Virtuous Cycle Enabled by Distribution Testing;softwareengineering Experiences of an Optimist;Automating Component-Based Embedded software Construction via Formal Synthesis and LLMs.
To ensure the high availability of modern online systems, effective maintenance is of critical importance. Today's software maintenance techniques for online systems heavily rely on metrics, which are time series ...
详细信息
ISBN:
(纸本)9783031664557;9783031664564
To ensure the high availability of modern online systems, effective maintenance is of critical importance. Today's software maintenance techniques for online systems heavily rely on metrics, which are time series data that can describe the real-time state of a system from various perspectives. Typically, software engineers generate dashboards with metrics to aid software maintenance. Though several attempts have been devoted to metric analysis for automatic software maintenance, the primary step, i.e., dashboard generation, remains manual to a large extent. In this paper, we develop a metric recommendation service, which can automate the dashboard generation practice and greatly ease the burden in maintaining an online system. Specifically, we analyze the needs of two essential steps of online system maintenance, i.e., anomaly detection and fault diagnosis, and design metric recommendation mechanisms for them respectively. Graph learning techniques are employed in the automation of metric recommendation. Our experiments demonstrate that the proposed approach can achieve an F1-score of 0.912 in selecting metrics for anomaly detection, and an accuracy of 0.859 in retrieving metrics for faults diagnosis, which significantly outperforms the compared baselines.
Ensuring compliance with industry standards and regulations is a critical challenge in software and systems engineering, particularly in domains such as automotive or aerospace in which adherence to standards is manda...
详细信息
ISBN:
(纸本)9783031783852;9783031783869
Ensuring compliance with industry standards and regulations is a critical challenge in software and systems engineering, particularly in domains such as automotive or aerospace in which adherence to standards is mandatory. Compliance checking is often manually connected, e.g., through reviews based on project-specific rules, which is a costly process. This paper proposes a structured, tool-supported approach to compliance analysis. The proposed approach is based on providing a computable reference model, which lays the foundation for the tailoring of project-specific processes, and an automated analysis of the degree of implemented compliance-relevant activities. A proof of concept was is presented, which includes the development of an ECSS-based reference model for software systems engineering, which was developed in close collaboration with practitioners from the aerospace domain. Based on this reference model, the process management tool Stages was used to provide means to generate assessments and action plans. To demonstrate the concept, an exemplary systems development process was modeled and analyzed, which allowed us to identify missing elements in the planed project activities.
Predicting financial defaults plays a vital role in reducing financial risks for credit businesses. A prominent trend in this area is the incorporation of borrowers’ social profiles into predictive models using graph...
详细信息
This paper introduces a lightweight, configurable interface, bus can be cascaded expansion of the airborne electromechanical interface unit. The device is applied to the electrical control system of small and medium-s...
详细信息
暂无评论