125 hasil
Menampilkan 1–20 · 0,17 detik · RSS
Software
Scopus
ISSN 2674-113X · MDPI AG · 125 artikel di indeks
-
Artikel Jurnal Teks lengkap
SimDSL: A Domain-Specific Language for Large-Scale GPU-Resident Simulation
We present SimDSL, a domain-specific language (DSL) for executing large-scale simulations on the GPU using an Entity Component System (ECS) architecture. Systems written in SimDSL are analyzed, lowered into an intermediate representation, and compiled by a CuPy-based backend into CUDA kernels…
-
Artikel Jurnal Teks lengkap
Inclusion in Software Development Teams: An Empirical Study
In a software development team, people work together in different roles to carry out the activities of the software development process. Human factors have always been critical in managing software teams. However, they have always been overshadowed by a focus on technology and underlying processes…
-
Artikel Jurnal Teks lengkap
From Ethical Values to Process Quality in Agile Software Engineering: The Quality Value Driver (QVD) Framework
Software-intensive organizations increasingly face the challenge of integrating ethical considerations into routine work practices while maintaining process quality and organizational performance. This study develops the Quality Value Driver (QVD) framework, a managerial approach for embedding…
-
Artikel Jurnal Teks lengkap
Investigating Parallel Scaling Bottlenecks Across Rust, Julia, Haskell, and Python: Workload–Runtime Signatures
Parallel performance depends not only on programming language and runtime design, but also on how the dominant execution bottleneck changes as parallelism increases. We present a controlled cross-language study of Rust, Julia, Haskell, and Python using Merge Sort, Closest Pair of Points, and…
-
Artikel Jurnal Teks lengkap
Enhancing Cross-Project Defect Prediction via Transfer Component Analysis and Hybrid Ensembles
In cross-project defect prediction (CPDP), divergence in feature distribution between the source and target often fails when predicting defects across unrelated projects. Such a mismatch is typical rather than exceptional in real deployment scenarios. To address this, the Transfer Component…
-
Artikel Jurnal Teks lengkap
Towards a Theoretical Framework for Software Engineering: A Conceptual Definition of Software Life Cycles (And More)
Background: Researchers dealing with software engineering often express some concern about the lack of a core theory for this discipline. In fact, even the most basic concepts of software engineering—like the organization of software development life cycles—are usually described informally, with no…
-
Artikel Jurnal Teks lengkap
Operationalization of Equity Through a Quantitative Analysis of Stakeholder Salience
The incorporation of human values into software engineering processes is increasingly recognised as crucial, yet there is still a lack of practical methods to ensure their inclusion. A key challenge in this area is to identify a representative set of stakeholders while maintaining equality and…
-
Artikel Jurnal Teks lengkap
Cascaded Neurosymbolic Code Generation for Niche DSLs: Preserving Chain-of-Thought in Grammar-Constrained Decoding
Domain-Specific Languages (DSLs) are essential in software engineering for safely expressing complex domain logic. However, Large Language Models (LLMs) struggle to generate syntactically and semantically correct code for niche DSLs due to sparse representation in pre-training corpora. While…
-
Artikel Jurnal Teks lengkap
A Verifiable Service-Oriented Industrial Cyber–Physical Systems Framework for Energy-Aware Autonomous Navigation Using a High-Fidelity Cyber–Physical Twin
Autonomous Cyber–Physical Systems (CPS) must jointly satisfy energy efficiency, accuracy, and real-time constraints, which are typically treated separately in existing methods. This paper proposes a verifiable service-oriented CPS framework for energy-aware autonomous navigation using a…
-
Artikel Jurnal Teks lengkap
BRA-PS: A Blockchain Reference Architecture for Public Sector Citizen-Centric Applications
Public sector organizations are under increasing pressure to modernize service delivery while preserving transparency, interoperability, accountability, and citizen trust. Blockchain technology offers relevant capabilities for these objectives, particularly through shared ledgers, cryptographic…
-
Artikel Jurnal Teks lengkap
Formal Verification Under Evolution in Microservice-Based Systems: A Systematic Literature Review
Microservice-based systems evolve continuously through API changes, service splits and merges, dependency churn, and deployment-topology drift driven by DevOps practices. This rapid evolution erodes the assumptions encoded in formal models, test suites, and architectural descriptions, leaving…
-
Artikel Jurnal Teks lengkap
UVLM: A Modular Python Package for Unified Vision–Language Model Loading, Inference and Comparison
Vision–Language Models (VLMs) have emerged as powerful tools for image understanding tasks, yet their practical deployment remains hindered by significant architectural heterogeneity across model families. This paper introduces UVLM (Unified Vision–Language Model), a pip-installable Python (v3.9+)…
-
Artikel Jurnal Teks lengkap
OptimSolution: A Cross-Platform Framework for Benchmarking, Sensitivity, and Complexity Analysis of Continuous Optimisation Methods
We present OptimSolution, an open-source, cross-platform framework for the systematic benchmarking and analysis of continuous optimisation methods, available for Windows, Linux and macOS and operable via both a command-line interface (CLI) and a Qt-based Graphical User Interface (GUI). The…
-
Artikel Jurnal Teks lengkap
Learning to Code with Context: A Study-Based Approach
The rapid emergence of generative AI tools is transforming software development. Consequently, software engineering education must adapt to ensure that students not only learn traditional development methods but also understand how to use these new technologies effectively and responsibly. In…
-
Artikel Jurnal Teks lengkap
PromptShield: Protecting User Privacy in AI Chatbots
Artificial Intelligence Chatbots based on Large Language Models are becoming important cornerstones in education, professional, and personal contexts. Users frequently disclose sensitive information without the necessary awareness of how their data is processed, stored, and later used, creating…
-
Artikel Jurnal Teks lengkap
Bridging the Gap in Web API Security: A Systematic Review of Vulnerabilities, Misuse Patterns, and Developer Challenges
Web Application Programming Interfaces (Web APIs) have become fundamental components of modern software ecosystems. At the same time, they have emerged as major attack surfaces in web applications and distributed services. Although many web API vulnerabilities are well documented, a critical gap…
-
Artikel Jurnal Teks lengkap
Iterative Audit Convergence in LLM-Managed Multi-Agent Systems: A Case Study in Prompt-Engineering Quality Assurance
Prompt specifications for multi-agent large language model (LLM) systems carry data contracts and integration logic across interdependent files but are rarely subjected to structured-inspection rigor. We report a single-system case study of iterative, agent-driven auditing applied to AEGIS…
-
Artikel Jurnal Teks lengkap
The Democratization of Computational Thinking: Education, Practice, and Our AI-Augmented Future
This paper advances a theoretical argument that generative AI is accelerating the democratization of computational thinking and, in turn, reshaping education, professional practice, and the nature of computing itself. Traditionally, computational thinking has been closely tied to learning to…
-
Artikel Jurnal Teks lengkap
Development Bursts, Socio-Technical Congruence, and Delivery Reliability in Distributed Open-Source Software Projects
Socio-technical congruence (STC) theory posits that software development effectiveness depends on the degree to which developer coordination aligns with technical requirements. However, much existing research treats congruence as a static project attribute, overlooking the dynamic coordination…
-
Artikel Jurnal Teks lengkap
Formalizing Anonymity for Software Development
While anonymity is often considered as a binary property that is either satisfied or not satisfied, a closer analysis shows that there are different degrees of anonymity and that an appropriate degree of anonymity must be selected depending on application and context. For this purpose, different…