Buchumschlag

Causal Models in Requirement Specifications for Machine Learning: A vision

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Heyn, Hans-Martin, Mao, Yufei, Weiss, Roland, Knauss, Eric
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Software Engineering D.2.1; D.2.2
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Data Annotation Requirements Representation and Specification (DARS)
von: Peng, Yi, et al.
Veröffentlicht: (2025)

From Machine Learning Documentation to Requirements: Bridging Processes with Requirements Languages
von: Peng, Yi, et al.
Veröffentlicht: (2025)

Early-Stage Requirements Transformation Approaches: A Systematic Review
von: Letsholo, Keletso J.
Veröffentlicht: (2024)

PICKLES: a Natural Language Framework for Requirement Specification and Model-Based Testing
von: Rodríguez, María Belén, et al.
Veröffentlicht: (2026)

Automatic Generation of Combinatorial Reoptimisation Problem Specifications: A Vision
von: Kratz, Maximilian, et al.
Veröffentlicht: (2025)

Towards an Approach to Pattern-based Domain-Specific Requirements Engineering
von: Chuprina, T., et al.
Veröffentlicht: (2024)

Graph-Based Specification and Automated Construction of ILP Problems
von: Ehmes, Sebastian, et al.
Veröffentlicht: (2022)

Addressing Visual Impairments with Model-Driven Engineering: A Systematic Literature Review
von: Michael, Judith, et al.
Veröffentlicht: (2025)

IACDM: Interactive Adversarial Convergence Development Methodology -- A Structured Framework for AI-Assisted Software Development
von: Moreira, Jasmine
Veröffentlicht: (2026)

Constrained LTL Specification Learning from Examples
von: Zhang, Changjian, et al.
Veröffentlicht: (2024)

Model-Driven Rapid Prototyping for Control Algorithms with the GIPS Framework (System Description)
von: Kratz, Maximilian, et al.
Veröffentlicht: (2025)

Model Generation with LLMs: From Requirements to UML Sequence Diagrams
von: Ferrari, Alessio, et al.
Veröffentlicht: (2024)

Prompts Blend Requirements and Solutions: From Intent to Implementation
von: Chakraborty, Shalini, et al.
Veröffentlicht: (2026)

Validating API Design Requirements for Interoperability: A Static Analysis Approach Using OpenAPI
von: Sundberg, Edwin, et al.
Veröffentlicht: (2025)

Think Like an Engineer: A Neuro-Symbolic Collaboration Agent for Generative Software Requirements Elicitation and Self-Review
von: Zhang, Sai, et al.
Veröffentlicht: (2025)

Reconsidering Requirements Engineering: Human-AI Collaboration in AI-Native Software Development
von: Abbasi, Mateen Ahmed, et al.
Veröffentlicht: (2025)

Test-Driven AI Agent Definition (TDAD): Compiling Tool-Using Agents from Behavioral Specifications
von: Rehan, Tzafrir
Veröffentlicht: (2026)

Synthesizing Test Cases for Narrowing Specification Candidates
von: Cunha, Alcino, et al.
Veröffentlicht: (2025)

Validating Formal Specifications with LLM-generated Test Cases
von: Cunha, Alcino, et al.
Veröffentlicht: (2025)

Towards Observation Lakehouses: Living, Interactive Archives of Software Behavior
von: Kessel, Marcus
Veröffentlicht: (2025)

Utilizing Precise and Complete Code Context to Guide LLM in Automatic False Positive Mitigation
von: Chen, Jinbao, et al.
Veröffentlicht: (2024)

Large Language Models (LLMs) for Requirements Engineering (RE): A Systematic Literature Review
von: Zadenoori, Mohammad Amin, et al.
Veröffentlicht: (2025)

Exploring LLMs for User Story Extraction from Mockups
von: Firmenich, Diego, et al.
Veröffentlicht: (2026)

SeMA: Extending and Analyzing Storyboards to Develop Secure Android Apps
von: Mitra, Joydeep, et al.
Veröffentlicht: (2020)

Generative Goal Modeling
von: Sharfuddin, Ateeq, et al.
Veröffentlicht: (2025)

Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements
von: Broccia, Giovanna, et al.
Veröffentlicht: (2024)

Test-driven Software Experimentation with LASSO: an LLM Prompt Benchmarking Example
von: Kessel, Marcus
Veröffentlicht: (2024)

N-Version Assessment and Enhancement of Generative AI
von: Kessel, Marcus, et al.
Veröffentlicht: (2024)

Morescient GAI for Software Engineering (Extended Version)
von: Kessel, Marcus, et al.
Veröffentlicht: (2024)

Who is Introducing the Failure? Automatically Attributing Failures of Multi-Agent Systems via Spectrum Analysis
von: Ge, Yu, et al.
Veröffentlicht: (2025)

AutoReSpec: A Framework for Generating Specification using Large Language Models
von: Ayon, Ragib Shahariar, et al.
Veröffentlicht: (2026)

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

Towards a Value-Complemented Framework for Enabling Human Monitoring in Cyber-Physical Systems
von: Pfister, Zoe, et al.
Veröffentlicht: (2025)

From Bugs to Benefits: Improving User Stories by Leveraging Crowd Knowledge with CrUISE-AC
von: Schwedt, Stefan, et al.
Veröffentlicht: (2025)

A Short Survey on Formalising Software Requirements using Large Language Models
von: Beg, Arshad, et al.
Veröffentlicht: (2025)

Talk is Cheap, Logic is Hard: Benchmarking LLMs on Post-Condition Formalization
von: Prasetya, I. S. W. B., et al.
Veröffentlicht: (2026)

Memory Management and Contextual Consistency for Long-Running Low-Code Agents
von: Xu, Jiexi
Veröffentlicht: (2025)

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects
von: Beg, Arshad, et al.
Veröffentlicht: (2025)

Towards Single-System Illusion in Software-Defined Vehicles -- Automated, AI-Powered Workflow
von: Lebioda, Krzysztof, et al.
Veröffentlicht: (2024)

Hybrid Active Teaching Methodology for Learning Development: A Self-assessment Case Study Report in Computer Engineering
von: Baima, Renan Lima, et al.
Veröffentlicht: (2024)