Buchumschlag

Generative Goal Modeling

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Sharfuddin, Ateeq, Breaux, Travis
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Software Engineering D.2.1
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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)

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

Causal Models in Requirement Specifications for Machine Learning: A vision
von: Heyn, Hans-Martin, et al.
Veröffentlicht: (2025)

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)

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

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

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

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

From Machine Learning Documentation to Requirements: Bridging Processes with Requirements Languages
von: Peng, Yi, 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)

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

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

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

Faster than the Team, Faster than the Customer: Tool Integration, Collaboration, and Organisational Lag in AI-assisted RE
von: Steghöfer, Jan-Philipp
Veröffentlicht: (2026)

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

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

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

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

Language models are robotic planners: reframing plans as goal refinement graphs
von: Sharfuddin, Ateeq, et al.
Veröffentlicht: (2024)

Human-Machine Collaboration and Ethical Considerations in Adaptive Cyber-Physical Systems
von: Pfister, Zoe
Veröffentlicht: (2025)

A Human Centric Requirements Engineering Framework for Assessing Github Copilot Output
von: Heydari, Soroush
Veröffentlicht: (2025)

HM-Req: A Framework for Embedding Values within CPS Human Monitoring Requirements
von: Pfister, Zoe, et al.
Veröffentlicht: (2026)

Social, Legal, Ethical, Empathetic and Cultural Norm Operationalisation for AI Agents
von: Calinescu, Radu, et al.
Veröffentlicht: (2026)

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

Model checking of hyperproperties for high-level relational models
von: Macedo, Nuno, et al.
Veröffentlicht: (2025)

Automatic Generation of Combinatorial Reoptimisation Problem Specifications: A Vision
von: Kratz, Maximilian, 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)

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

Teaching Complex Systems based on Microservices
von: Ferreira, Renato Cordeiro, et al.
Veröffentlicht: (2025)

Smart Expansion Techniques for ASP-based Interactive Configuration
von: Balážová, Lucia, et al.
Veröffentlicht: (2025)

Reliability in Software Engineering Qualitative Research through Inter-Coder Agreement: A guide using Krippendorff's $α$ & Atlas.ti
von: González-Prieto, Ángel, et al.
Veröffentlicht: (2020)

AgentAssay: Token-Efficient Regression Testing for Non-Deterministic AI Agent Workflows
von: Bhardwaj, Varun Pratap
Veröffentlicht: (2026)

SLEGO: A Collaborative Data Analytics System with LLM Recommender for Diverse Users
von: Ng, Siu Lung, et al.
Veröffentlicht: (2024)

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

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

A Short Survey on Formalising Software Requirements using Large Language Models
von: Beg, Arshad, 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)

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