:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	González-Prieto, Ángel, Perez, Jorge, Diaz, Jessica, López-Fernández, Daniel
Format:	Preprint
Published:	2020
Subjects:	Software Engineering Methodology A.1; D.2.1; G.3
Online Access:	https://arxiv.org/abs/2008.00977
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

Bayesian Data Analysis in Empirical Software Engineering Research
by: Furia, Carlo A., et al.
Published: (2018)

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

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

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

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

Generative Goal Modeling
by: Sharfuddin, Ateeq, et al.
Published: (2025)

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

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

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

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

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

A Data Annotation Requirements Representation and Specification (DARS)
by: Peng, Yi, et al.
Published: (2025)

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

Private GPTs for LLM-driven testing in software development and machine learning
by: Jagielski, Jakub, et al.
Published: (2025)

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

Smart Expansion Techniques for ASP-based Interactive Configuration
by: Balážová, Lucia, et al.
Published: (2025)

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

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

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

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

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

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

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

Human-Machine Collaboration and Ethical Considerations in Adaptive Cyber-Physical Systems
by: Pfister, Zoe
Published: (2025)

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

Causal Models in Requirement Specifications for Machine Learning: A vision
by: Heyn, Hans-Martin, 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)

Discrete Fourier Transform Approximations Based on the Cooley-Tukey Radix-2 Algorithm
by: Coelho, D. F. G., et al.
Published: (2024)

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

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

IACDM: Interactive Adversarial Convergence Development Methodology -- A Structured Framework for AI-Assisted Software Development
by: Moreira, Jasmine
Published: (2026)

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

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

Reconsidering Requirements Engineering: Human-AI Collaboration in AI-Native Software Development
by: Abbasi, Mateen Ahmed, et al.
Published: (2025)

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

Social, Legal, Ethical, Empathetic and Cultural Norm Operationalisation for AI Agents
by: Calinescu, Radu, et al.
Published: (2026)

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

O software Atlas.ti como recurso para a análise de conteúdo: analisando a robótica no Ensino de Ciências em teses brasileiras
by: Luiz Alberto Silva Junior
Published: (2018)