Understanding human values like honesty, security, power, and fairness is crucial for designing trustworthy software systems. Recently, the softwareengineering community has recognized the importance of considering h...
详细信息
ISBN:
(纸本)9783031783852;9783031783869
Understanding human values like honesty, security, power, and fairness is crucial for designing trustworthy software systems. Recently, the softwareengineering community has recognized the importance of considering human values when developing software systems. However, there is no mature approach to considering human values as a first-order concern in softwareengineering. The exact meaning of such values is often vague or unclear, which makes it difficult to treat them systematically and break them down into traceable requirements, implementation, and testing artifacts. In this vision paper, we propose a systematic approach to seamlessly integrate human values into the requirements engineering process. Concretely, we introduce the concept of "value tactics", which are tangible design decisions crafted to uphold certain values explicitly. We illustrate the approach with a running example and conclude with a research agenda for advancing value-aware softwareengineering.
Among numerical libraries capable of computing gradient descent optimization, JAX stands out by offering more features, accelerated by an intermediate representation known as Jaxpr language. However, editing the Jaxpr...
详细信息
ISBN:
(纸本)9783031779404;9783031779411
Among numerical libraries capable of computing gradient descent optimization, JAX stands out by offering more features, accelerated by an intermediate representation known as Jaxpr language. However, editing the Jaxpr code is not directly possible. This article introduces JaxDecompiler, a tool that transforms any JAX function into an editable Python code, especially useful for editing the JAX function generated by the gradient function. JaxDecompiler simplifies the processes of reverse engineering, understanding, customizing, and interoperability of software developed by JAX. We highlight its capabilities, emphasize its practical applications especially in deep learning and more generally gradient-informed software, and demonstrate that the decompiled code speed performance is similar to the original.
A digital twin is a virtual representation of a physical entity, serving as a pivotal convergence technology that facilitates the diagnosis, optimization, prediction, and problem-solving of the corresponding physical ...
详细信息
ISBN:
(纸本)9783031751097;9783031751103
A digital twin is a virtual representation of a physical entity, serving as a pivotal convergence technology that facilitates the diagnosis, optimization, prediction, and problem-solving of the corresponding physical entity. It is widely applicable across diverse sectors, including automobiles, manufacturing, logistics, and smart cities. The automotive industry, in particular, is actively integrating digital twin throughout the entire product lifecycle from research and development, production, sales, and services to enhance the overall customer experience. This paper presents insights into software practices and experiences related to the implementation of smart mobility digital twin. Drawing from lessons learned in digital twin projects, we outline guidelines for effective application. It is expected to gradually improve transportation convenience and utility value for customers through a comprehensive analysis that integrates the digital twin of the vehicle with those of the surrounding environment, including traffic patterns and human behavior, in conjunction with spatio-temporal information.
The proceedings contain 37 papers. The special focus in this conference is on Applied Cognitive Computing. The topics include: Assessing Information Influence for Node Attribute Prediction;in-Vehicle Sensing Plat...
ISBN:
(纸本)9783031856273
The proceedings contain 37 papers. The special focus in this conference is on Applied Cognitive Computing. The topics include: Assessing Information Influence for Node Attribute Prediction;in-Vehicle Sensing Platform for the Inference of Older Drivers’ Mild Cognitive Condition;infusing Human Feedback into Intermediate Prompting Steps of Large Language Models;experimental Analysis of Contemporary Trends, Performance, and Limitations in Graph Embeddings: A Concise Review;a Secure Self-Adaptive System in Applications of Cognitive Computing;revisiting the Nexus Between Handwriting and Personality: Graphology;from Static Graph Attention Generation to Dynamic Graph Attention Coefficient;An Integrated Approach for AI-Assisted Survey Systems Using Deterministic and Nondeterministic Models;a Voxel-Representation-Based Data Generator of Adversarial Objects for Robotic Manipulators;an Analysis of Different Information Granularity Distribution Protocols to Improve Consistency in Intuitionistic Reciprocal Preference Relations;enhancing Differential Evolution for Neural Network Optimization Through Boundary Individual Consideration;predictive Modeling of Shading Effects on Photovoltaic Panels Using Regression Analysis;enhancing Cultural Algorithm Guided Policy Gradients with Parameter-Based Exploration Through Topographic Knowledge and Adaptive Weighting;Enhancing Clinical Documentation Through NLP-Driven Disease Categorization and Visualization: A Case Study Utilizing the Llama2 AI Model;automatic Modulation Recognition: A Hybrid Approach Using Deep Learning and K-Means Clustering;An ISR Asset Planning Application;causal Discovery with Interactive Human Inputs;implementation of a Lightweight Gradient Descent Trained Expert System Algorithm;Leveraging JSBSim and Gymnasium: A Reinforcement Learning Approach for Air Combat Simulation;orthogonal Activation Functions in Neural Networks: Utilizing Chebyshev, Legendre, and Hermite Polynomials;XAI-Based Assessment of software Vulnerabil
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 software systems and contribute to the advancement of software security practices. Copyright 2025 Global IT Research Institute (GIRI). All rights reserved.
This paper proposes an innovative approach to addressing the lack of diversity in softwareengineering education by integrating non-STEM students into mobile app development programs. Leveraging the Challenge-Based Le...
详细信息
Integrating fragmented knowledge points in softwareengineering teaching can ensure the continuity of learners’ learning of softwareengineering courses. In order to improve the reliability of integration of fragment...
详细信息
In critical softwareengineering, structured assurance cases (ACs) are used to demonstrate how key properties (e.g., safety, security) are supported by evidence artifacts (e.g., test results, proofs). ACs can also be ...
详细信息
ISBN:
(纸本)9783031765537;9783031765544
In critical softwareengineering, structured assurance cases (ACs) are used to demonstrate how key properties (e.g., safety, security) are supported by evidence artifacts (e.g., test results, proofs). ACs can also be studied as formal objects in themselves, such that formal methods can be used to establish their correctness. Creating rigorous ACs is particularly challenging in the context of software product lines (SPLs), wherein a family of related software products is engineered simultaneously. Since creating individual ACs for each product is infeasible, AC development must be lifted to the level of product lines. In this work, we propose PLACIDUS, a methodology for integrating formal methods and software product line engineering to develop provably correct ACs for SPLs. To provide rigorous foundations for PLACIDUS, we define a variability-aware AC language and formalize its semantics using the proof assistant Lean. We provide tool support for PLACIDUS as part of an Eclipse-based model management framework. Finally, we demonstrate the feasibility of PLACIDUS by developing an AC for a product line of medical devices.
Requirements engineers have the responsibility for classifying software requirements into functional and nonfunctional variants. As software architects need quality requirements to be known to get their job done, mach...
详细信息
ISBN:
(纸本)9783031752001;9783031752018
Requirements engineers have the responsibility for classifying software requirements into functional and nonfunctional variants. As software architects need quality requirements to be known to get their job done, machine learning is employed to speed up and add consistency to the process of identifying and categorizing requirements so that effort may be spent more effectively. We experimented with the effects of different machine learning algorithms, as well as different pre-processing and feature selection techniques. It was determined that, for this application, stop words should not be removed and that performing lemmatization on words provides the most effective features for classification. Furthermore, after finalizing our choices of pre-processing techniques and algorithm to use, we proposed a modification to the Extensive Feature Selector by gathering the most distinctive words in each category and using a list of those as our main features. By using a threshold of 0.013, we obtained an F1 score of 0.787, which is an improvement on the base Enhanced Feature Selector's F1 score of 0.761 with the same number of word features.
Smart Contracts are pieces of software that are deployed in Blockchain infrastructures to enable the interaction (and production of value) between unknown parties, without intermediaries, but in a trustworthy and tran...
详细信息
ISBN:
(纸本)9783031783852;9783031783869
Smart Contracts are pieces of software that are deployed in Blockchain infrastructures to enable the interaction (and production of value) between unknown parties, without intermediaries, but in a trustworthy and transparent manner. A key to Smart Contracts' success is their delivery to excellent standards of quality (e.g., security, documentation, code understandability etc.). To achieve this goal, the development of Smart Contracts needs to be driven by proven softwareengineering practices. In this paper, we conducted a systematic mapping study to get a comprehensive overview on how "good" softwareengineering practices are applied to Smart Contract Development. To identify primary studies that lie on the intersection of softwareengineering and smart contract development, we have selected specific publication venues and queried the literature. After applying the selection criteria, 113 studies were identified, analyzed, and synthesized results have been reported. The results provided some actionable implications for researchers and practitioners.
暂无评论