Copertina

Towards a DSL to Formalize Multimodal Requirements

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Gomez-Vazquez, Marcos, Cabot, Jordi
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Towards Automated Governance: A DSL for Human-Agent Collaboration in Software Projects
di: Ait, Adem, et al.
Pubblicazione: (2025)

Vibe Modeling: Challenges and Opportunities
di: Cabot, Jordi
Pubblicazione: (2025)

Low-Modeling of Software Systems
di: Cabot, Jordi
Pubblicazione: (2024)

AgentSLA : Towards a Service Level Agreement for AI Agents
di: Jouneaux, Gwendal, et al.
Pubblicazione: (2025)

Towards a unified user modeling language for engineering human centered AI systems
di: Conrardy, Aaron, et al.
Pubblicazione: (2025)

Vibe-driven model-based engineering
di: Cabot, Jordi
Pubblicazione: (2026)

From a Natural to a Formal Language with DSL Assistant
di: Mosthaf, My M., et al.
Pubblicazione: (2024)

From Image to UML: First Results of Image Based UML Diagram Generation Using LLMs
di: Conrardy, Aaron, et al.
Pubblicazione: (2024)

Enabling Content Management Systems as an Information Source in Model-driven Projects
di: Giner-Miguelez, Joan, et al.
Pubblicazione: (2025)

Can Language Models Pass Software Testing Certification Exams? a case study
di: Haq, Fitash Ul, et al.
Pubblicazione: (2026)

Towards Modeling Human-Agentic Collaborative Workflows: A BPMN Extension
di: Ait, Adem, et al.
Pubblicazione: (2024)

B-OCL: An Object Constraint Language Interpreter in Python
di: Haq, Fitash Ul, et al.
Pubblicazione: (2025)

User Modeling in Model-Driven Engineering: A Systematic Literature Review
di: Conrardy, Aaron, et al.
Pubblicazione: (2024)

Towards an Agentic LLM-based Approach to Requirement Formalization from Unstructured Specifications
di: Tagliaferro, Alberto, et al.
Pubblicazione: (2026)

CONCORD: Towards a DSL for Configurable Graph Code Representation
di: Saad, Mootez, et al.
Pubblicazione: (2024)

Towards a Framework for Operationalizing the Specification of Trustworthy AI Requirements
di: Villamizar, Hugo, et al.
Pubblicazione: (2025)

Towards the interoperability of low-code platforms
di: Alfonso, Iván, et al.
Pubblicazione: (2024)

Low-code and no-code with BESSER to create and deploy smart web applications
di: Alfonso, Iván, et al.
Pubblicazione: (2026)

LangBiTe: A Platform for Testing Bias in Large Language Models
di: Morales, Sergio, et al.
Pubblicazione: (2024)

EMF-REST: Generation of RESTful APIs from Models
di: Ed-Douibi, Hamza, et al.
Pubblicazione: (2015)

Formal Verification of Ecosystem Restoration Requirements using UML and Alloy
di: Sousa, Tiago, et al.
Pubblicazione: (2024)

On the Creation of Representative Samples of Software Repositories
di: Gorostidi, June, et al.
Pubblicazione: (2024)

A Low-Code Approach for the Automatic Personalization of Conversational Agents
di: Conrardy, Aaron, et al.
Pubblicazione: (2026)

A Model-based Chatbot Generation Approach to Converse with Open Data Sources
di: Ed-douibi, Hamza, et al.
Pubblicazione: (2020)

Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision
di: Lu, Xu, et al.
Pubblicazione: (2025)

Declarative Policy Control for Data Spaces: A DSL-Based Approach for Manufacturing-X
di: Pfeiffer, Jérôme, et al.
Pubblicazione: (2025)

From Text to DSL: Evaluating Grammar-Based Model Generation Using Open LLMs
di: Baber, Junaid, et al.
Pubblicazione: (2026)

An Event-Driven Tool for Context-Aware Code Smell Detection Using SmellDSL
di: Viegas, Matheus dos Santos, et al.
Pubblicazione: (2026)

Building BESSER: an open-source low-code platform
di: Alfonso, Iván, et al.
Pubblicazione: (2024)

AI-Assisted Modeling: DSL-Driven AI Interactions
di: Smyth, Steven, et al.
Pubblicazione: (2025)

Multi-Agent Debate Strategies to Enhance Requirements Engineering with Large Language Models
di: Oriol, Marc, et al.
Pubblicazione: (2025)

A Framework to Model ML Engineering Processes
di: Morales, Sergio, et al.
Pubblicazione: (2024)

Towards a Taxonomy of Sustainability Requirements for Software Design
di: Roy, Mandira, et al.
Pubblicazione: (2025)

Attributes of a Great Requirements Engineer
di: Barbosa, Larissa, et al.
Pubblicazione: (2024)

DSL or Code? Evaluating the Quality of LLM-Generated Algebraic Specifications: A Case Study in Optimization at Kinaxis
di: Ayoughi, Negin, et al.
Pubblicazione: (2026)

An LLM-driven Scenario Generation Pipeline Using an Extended Scenic DSL for Autonomous Driving Safety Validation
di: Safa, Fida Khandaker, et al.
Pubblicazione: (2026)

Towards Bridging Formal Methods and Human Interpretability
di: Paul, Abhijit, et al.
Pubblicazione: (2025)

Towards Quantifying Requirements Technical Debt for Software Requirements concerning Veracity: A Perspective and Research Roadmap
di: Perera, Judith, et al.
Pubblicazione: (2024)

RECOVER: Toward Requirements Generation from Stakeholders' Conversations
di: Voria, Gianmario, et al.
Pubblicazione: (2024)

SynQ: An Embedded DSL for Synchronous System Design with Quantitative Types
di: Chen, Rui, et al.
Pubblicazione: (2025)