Imagen de Portada

Neurosymbolic Architectural Reasoning: Towards Formal Analysis through Neural Software Architecture Inference

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Herbold, Steffen, Knieke, Christoph, Rausch, Andreas, Schindler, Christian
Formato:	Preprint
Publicado:	2025
Materias:	Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Generating Software Architecture Description from Source Code using Reverse Engineering and Large Language Model
por: Hatahet, Ahmad, et al.
Publicado: (2025)

Software Process as a Service: Towards A Software Process Ecosystem
por: Greulich, Oliver, et al.
Publicado: (2025)

Emergent Software Service Platform and its Application in a Smart Mobility Setting
por: Wilken, Nils, et al.
Publicado: (2023)

SELU: A Software Engineering Language Understanding Benchmark
por: Peña, Fabian C., et al.
Publicado: (2025)

Causal Inference for the Effect of Code Coverage on Bug Introduction
por: Schulte, Lukas, et al.
Publicado: (2026)

LLM-Based Design Pattern Detection
por: Schindler, Christian, et al.
Publicado: (2025)

VeriODD: From YAML to SMT-LIB -- Automating Verification of Operational Design Domains
por: Rafie, Bassel, et al.
Publicado: (2025)

Evaluating the Performance and Efficiency of Sentence-BERT for Code Comment Classification
por: Peña, Fabian C., et al.
Publicado: (2025)

Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis
por: Lanzinger, Florian, et al.
Publicado: (2024)

Towards Living Software Architecture Diagrams
por: Correia, Filipe F., et al.
Publicado: (2024)

Utilizing LLMs for Industrial Process Automation: A Case Study on Modifying RAPID Programs
por: Fares, Salim, et al.
Publicado: (2025)

An Exploratory Study of Bug-Introducing Changes: Exploring Relationships in Bug-Introducing Changes Towards Causal Understanding
por: Schulte, Lukas, et al.
Publicado: (2023)

The Architecture Tradeoff and Risk Analysis Framework (ATRAF): A Unified Approach for Evaluating Software Architectures, Reference Architectures, and Architectural Frameworks
por: Hassouna, Amine Ben
Publicado: (2025)

Toward an Architectural Blueprint to Observe Sustainability in and by Software Systems
por: Toczé, Klervie, et al.
Publicado: (2026)

Towards a Generic Software Architecture for IoT Systems
por: Abuseta, Yousef
Publicado: (2024)

Exploring the Reasoning Depth of Small Language Models in Software Architecture: A Multidimensional Evaluation Framework Towards Software Engineering 2.0
por: Vo, Ha, et al.
Publicado: (2026)

Towards Assessing Spread in Sets of Software Architecture Designs
por: Cortellessa, Vittorio, et al.
Publicado: (2024)

An Explanation of Software Architecture Explanations
por: Rukmono, Satrio Adi, et al.
Publicado: (2025)

An Architecture for Software Engineering Gamification
por: Pedreira, Óscar, et al.
Publicado: (2024)

Generating Context-Aware Contrastive Explanations in Rule-based Systems
por: Herbold, Lars, et al.
Publicado: (2024)

Towards Benchmarking Design Pattern Detection Under Obfuscation: Reproducing and Evaluating Attention-Based Detection Method
por: Shenoy, Manthan, et al.
Publicado: (2025)

Modular Monolith: Is This the Trend in Software Architecture?
por: Su, Ruoyu, et al.
Publicado: (2024)

Dynamic and Static Analysis of Python Software with Kieker Including Reconstructed Architectures
por: Larrivain, Daphné, et al.
Publicado: (2025)

A Systematic Mapping Study on Architectural Approaches to Software Performance Analysis
por: Zhao, Yutong, et al.
Publicado: (2024)

Perspective of Software Engineering Researchers on Machine Learning Practices Regarding Research, Review, and Education
por: Mojica-Hanke, Anamaria, et al.
Publicado: (2024)

The whos, whats, and whys of issues related to personal data and data protection in open-source projects on GitHub
por: Henning, Anne, et al.
Publicado: (2023)

Towards LLM-Assisted Architecture Recovery for Real-World ROS~2 Systems: An Agent-Based Multi-Level Approach to Hierarchical Structural Architecture Reconstruction
por: Briechle, Dominique, et al.
Publicado: (2026)

Towards Leveraging LLMs to Generate Abstract Penetration Test Cases from Software Architecture
por: Jafari, Mahdi, et al.
Publicado: (2026)

Towards a Software Reference Architecture for Natural Language Processing Tools in Requirements Engineering
por: Frattini, Julian, et al.
Publicado: (2026)

Towards Enabling An Artificial Self-Construction Software Life-cycle via Autopoietic Architectures
por: Rodriguez-Cardenas, Daniel, et al.
Publicado: (2026)

An AUTOSAR-Aligned Architectural Study of Vulnerabilities in Automotive SoC Software
por: Basu, Srijita, et al.
Publicado: (2025)

Fairness-First Design Thinking for Software Architecture
por: Fatima, Iffat, et al.
Publicado: (2026)

Towards Mixed-Criticality Software Architectures for Centralized HPC Platforms in Software-Defined Vehicles: A Systematic Literature Review
por: Mauser, Lucas, et al.
Publicado: (2025)

Neurosymbolic Auditing of Natural-Language Software Requirements
por: Hall, Bethel, et al.
Publicado: (2026)

Scalable Software as a Service Architecture
por: Dedase, Ardy
Publicado: (2024)

Requirements for Active Assistance of Natural Questions in Software Architecture
por: Lemos, Diogo, et al.
Publicado: (2025)

Injecting Sustainability in Software Architecture: A Rapid Review
por: Funke, Markus, et al.
Publicado: (2025)

Using Sustainability Impact Scores for Software Architecture Evaluation
por: Fatima, Iffat, et al.
Publicado: (2025)

Describing Globally Distributed Software Architectures for Tax Compliance
por: Dorner, Michael, et al.
Publicado: (2023)

Introducing Interactions in Multi-Objective Optimization of Software Architectures
por: Cortellessa, Vittorio, et al.
Publicado: (2023)