Cover Image

A Data Annotation Requirements Representation and Specification (DARS)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Peng, Yi, Saeeda, Hina, Heyn, Hans-Martin, Horkoff, Jennifer, Knauss, Eric, Warg, Fredrick
Format:	Preprint
Published:	2025
Subjects:	Software Engineering D.2.1; H.4
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

From Machine Learning Documentation to Requirements: Bridging Processes with Requirements Languages
by: Peng, Yi, et al.
Published: (2025)

RE for AI in Practice: Managing Data Annotation Requirements for AI Autonomous Driving Systems
by: Saeeda, Hina, et al.
Published: (2025)

Causal Models in Requirement Specifications for Machine Learning: A vision
by: Heyn, Hans-Martin, et al.
Published: (2025)

Data Annotation Quality Problems in AI-Enabled Perception System Development
by: Saeeda, Hina, et al.
Published: (2025)

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

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

Automated Configuration Synthesis for Machine Learning Models: A git-Based Requirement and Architecture Management System
by: AlShriaf, Abdullatif, et al.
Published: (2024)

DEMO enhanced BPMN
by: Guerreiro, Sérgio, et al.
Published: (2024)

Requirements Debt in AI-Enabled Perception Systems Development: An Industrial RE4AI Perspective
by: Saeeda, Hina, et al.
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)

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

Deriving and Validating Requirements Engineering Principles for Large-Scale Agile Development: An Industrial Longitudinal Study
by: Saeeda, Hina, et al.
Published: (2026)

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

Prompts Blend Requirements and Solutions: From Intent to Implementation
by: Chakraborty, Shalini, et al.
Published: (2026)

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

An Industrial-Scale Retrieval-Augmented Generation Framework for Requirements Engineering: Empirical Evaluation with Automotive Manufacturing Data
by: Khalid, Muhammad, et al.
Published: (2026)

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

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

Working Document -- Formalising Software Requirements with Large Language Models
by: Beg, Arshad, et al.
Published: (2025)

Evaluating LLM-Generated ACSL Annotations for Formal Verification
by: Beg, Arshad, et al.
Published: (2026)

Model checking of hyperproperties for high-level relational models
by: Macedo, Nuno, et al.
Published: (2025)

Inference-Time Intervention in Large Language Models for Reliable Requirement Verification
by: Darm, Paul, et al.
Published: (2025)

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

Extending Behavior Trees for Robotic Missions with Quality Requirements
by: Ghzouli, Razan, et al.
Published: (2025)

Graph-Based Specification and Automated Construction of ILP Problems
by: Ehmes, Sebastian, et al.
Published: (2022)

What is Business Process Automation Anyway?
by: Vu, Hoang, et al.
Published: (2025)

Spreadsheet Engineering: A Research Framework
by: Grossman, Thomas A.
Published: (2007)

Automatic Generation of Combinatorial Reoptimisation Problem Specifications: A Vision
by: Kratz, Maximilian, et al.
Published: (2025)

Discovery and Simulation of Data-Aware Business Processes
by: López-Pintado, Orlenys, et al.
Published: (2024)

Early-Stage Requirements Transformation Approaches: A Systematic Review
by: Letsholo, Keletso J.
Published: (2024)

Requirements Strategy for Managing Human Factors in Automated Vehicle Development
by: Muhammad, Amna Pir, et al.
Published: (2024)

AutoReSpec: A Framework for Generating Specification using Large Language Models
by: Ayon, Ragib Shahariar, et al.
Published: (2026)

A Human Centric Requirements Engineering Framework for Assessing Github Copilot Output
by: Heydari, Soroush
Published: (2025)

HM-Req: A Framework for Embedding Values within CPS Human Monitoring Requirements
by: Pfister, Zoe, et al.
Published: (2026)

Short Version of VERIFAI2026 Paper -- Learning Infused Formal Reasoning: Contract Synthesis, Artefact Reuse and Semantic Foundations
by: Beg, Arshad, et al.
Published: (2026)

Validating API Design Requirements for Interoperability: A Static Analysis Approach Using OpenAPI
by: Sundberg, Edwin, et al.
Published: (2025)

Understanding and Reusing Test Suites Across Database Systems
by: Zhong, Suyang, et al.
Published: (2024)

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

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