Cover Image

Bridging MDE and AI: A Systematic Review of Domain-Specific Languages and Model-Driven Practices in AI Software Systems Engineering

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Raedler, Simon, Berardinelli, Luca, Winter, Karolin, Rahimi, Abbas, Rinderle-Ma, Stefanie
Format:	Preprint
Published:	2023
Subjects:	Software Engineering Artificial Intelligence A.1; H.1.0; I.2.4
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Code Generation for Machine Learning using Model-Driven Engineering and SysML
by: Raedler, Simon, et al.
Published: (2023)

Cognitive Atrophy and Systemic Collapse in AI-Dependent Software Engineering
by: Ginac, Frank
Published: (2026)

Cryptographic Registry Provenance: Structural Defense Against Dependency Confusion in AI Package Ecosystems
by: McCann, Alan L.
Published: (2026)

Towards Single-System Illusion in Software-Defined Vehicles -- Automated, AI-Powered Workflow
by: Lebioda, Krzysztof, et al.
Published: (2024)

Large Language Models (LLMs) for Requirements Engineering (RE): A Systematic Literature Review
by: Zadenoori, Mohammad Amin, et al.
Published: (2025)

Privacy Engineering From Principles to Practice: A Roadmap
by: Pallas, Frank, et al.
Published: (2024)

Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification
by: Beyer, Dirk, et al.
Published: (2022)

Reliability Conditions in Quadrature Algorithms
by: Adam, Gh., et al.
Published: (2003)

Intent Formalization: A Grand Challenge for Reliable Coding in the Age of AI Agents
by: Lahiri, Shuvendu K.
Published: (2026)

Synthesizing Test Cases for Narrowing Specification Candidates
by: Cunha, Alcino, et al.
Published: (2025)

Validating Formal Specifications with LLM-generated Test Cases
by: Cunha, Alcino, et al.
Published: (2025)

The Two Boundaries: Why Behavioral AI Governance Fails Structurally
by: McCann, Alan L.
Published: (2026)

Morescient GAI for Software Engineering (Extended Version)
by: Kessel, Marcus, et al.
Published: (2024)

Verifying Correctness of PLC Software during System Evolution using Model Containment Approach
by: Bandyopadhyay, Soumyadip, et al.
Published: (2025)

Role and Identity Work of Software Engineering Professionals in the Generative AI Era
by: Melegati, Jorge
Published: (2026)

Three Decades of Formal Methods in Business Process Compliance: A Systematic Literature Review
by: López, Hugo A., et al.
Published: (2024)

Nidus: Externalized Reasoning for AI-Assisted Engineering
by: Gorinevski, Danil
Published: (2026)

Synergy of Large Language Model and Model Driven Engineering for Automated Development of Centralized Vehicular Systems
by: Petrovic, Nenad, et al.
Published: (2024)

FalseCrashReducer: Mitigating False Positive Crashes in OSS-Fuzz-Gen Using Agentic AI
by: Amusuo, Paschal C., et al.
Published: (2025)

Towards an Approach to Pattern-based Domain-Specific Requirements Engineering
by: Chuprina, T., et al.
Published: (2024)

Do Unit Proofs Work? An Empirical Study of Compositional Bounded Model Checking for Memory Safety Verification
by: Amusuo, Paschal C., et al.
Published: (2025)

QuickCheck for VDM
by: Battle, Nick, et al.
Published: (2024)

A Unit Proofing Framework for Code-level Verification: A Research Agenda
by: Amusuo, Paschal C., et al.
Published: (2024)

Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version)
by: Baier, Daniel, et al.
Published: (2024)

Constrained LTL Specification Learning from Examples
by: Zhang, Changjian, et al.
Published: (2024)

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects
by: Beg, Arshad, et al.
Published: (2025)

The Future of AI-Driven Software Engineering
by: Terragni, Valerio, et al.
Published: (2024)

Recommended Practices for Spreadsheet Testing
by: Panko, Raymond R.
Published: (2007)

A Short Survey on Formalising Software Requirements using Large Language Models
by: Beg, Arshad, et al.
Published: (2025)

Structural Quality Gaps in Practitioner AI Governance Prompts: An Empirical Study Using a Five-Principle Evaluation Framework
by: Zietsman, Christo
Published: (2026)

Speeding up SQL subqueries via decoupling of non-correlated predicate (extended version)
by: Radivonchik, Dmitrii, et al.
Published: (2025)

Towards Comprehensive Sampling of SMT Solutions
by: Lyu, Shuangyu, et al.
Published: (2025)

Mechanizing Olver's Error Arithmetic
by: Fan, Max, et al.
Published: (2025)

New Developments in Interval Arithmetic and Their Implications for Floating-Point Standardization
by: van Emden, M. H.
Published: (2002)

Constitutional Spec-Driven Development: Enforcing Security by Construction in AI-Assisted Code Generation
by: Marri, Srinivas Rao
Published: (2026)

AI-Based Software Vulnerability Detection: A Systematic Literature Review
by: Shimmi, Samiha, et al.
Published: (2025)

Towards Observation Lakehouses: Living, Interactive Archives of Software Behavior
by: Kessel, Marcus
Published: (2025)

The Specification as Quality Gate: Three Hypotheses on AI-Assisted Code Review
by: Zietsman, Christo
Published: (2026)

N-Version Assessment and Enhancement of Generative AI
by: Kessel, Marcus, et al.
Published: (2024)

Formalising Software Requirements using Large Language Models
by: Beg, Arshad, et al.
Published: (2025)