:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Júnior, Everaldo Silva, Marsso, Lina, Caldas, Ricardo, Chechik, Marsha, Rodrigues, Genaína Nunes
Format:	Preprint
Published:	2026
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2602.09921
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects
by: Feng, Nick, et al.
Published: (2024)

Normative Requirements Operationalization with Large Language Models
by: Feng, Nick, et al.
Published: (2024)

Proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins
by: Chechik, Marsha, et al.
Published: (2025)

Analyzing and Debugging Normative Requirements via Satisfiability Checking
by: Feng, Nick, et al.
Published: (2024)

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

Runtime Enforcement for Operationalizing Ethics in Autonomous Systems
by: De Sanctis, Martina, et al.
Published: (2026)

Search-based Trace Diagnostic
by: Araujo, Gabriel, et al.
Published: (2024)

Runtime Verification and Field-based Testing for ROS-based Robotic Systems
by: Caldas, Ricardo, et al.
Published: (2024)

PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases
by: Murphy, Logan, et al.
Published: (2024)

A Software Engineering Perspective on Testing Large Language Models: Research, Practice, Tools and Benchmarks
by: Hudson, Sinclair, et al.
Published: (2024)

Abductive Vibe Coding (Extended Abstract)
by: Murphy, Logan, et al.
Published: (2026)

Towards an Engineering Discipline for Resilient Cyber-Physical Systems
by: Caldas, Ricardo D.
Published: (2024)

Abstraction Engineering
by: Bencomo, Nelly, et al.
Published: (2024)

Future of Software Engineering Research: The SIGSOFT Perspective
by: Di Penta, Massimiliano, et al.
Published: (2026)

Operationalizing Ethics for AI Agents: How Developers Encode Values into Repository Context Files
by: Treude, Christoph, et al.
Published: (2026)

Software Security Mapping Framework: Operationalization of Security Requirements
by: Lee, Sung Une, et al.
Published: (2025)

Multi-CoLoR: Context-Aware Localization and Reasoning across Multi-Language Codebases
by: Vats, Indira, et al.
Published: (2026)

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

Assurance Case Development for Evolving Software Product Lines: A Formal Approach
by: Murphy, Logan, et al.
Published: (2025)

Formal Synthesis of Uncertainty Reduction Controllers
by: Carwehl, Marc, et al.
Published: (2024)

Operationalizing Software Engineering Theories for Practical Validation
by: Alves, Isaque, et al.
Published: (2026)

A Requirements Engineering Technology for the IoT Software Systems
by: da Silva, Danyllo Valente, et al.
Published: (2021)

An Adaptive Testing Approach Based on Field Data
by: Silva, Samira, et al.
Published: (2025)

Human-Centred Requirements Engineering for Critical Systems: Insights from Disaster Early Warning Applications
by: Madugalla, Anuradha, et al.
Published: (2025)

LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements
by: Kolyakov, Kevin, et al.
Published: (2025)

Ethics of Care for Software Engineering
by: Serebrenik, Alexander, et al.
Published: (2026)

Privacy and Confidentiality Requirements Engineering for Process Data
by: Haertel, Fabian, et al.
Published: (2025)

Towards Requirements Engineering for GenAI-Enabled Software: Bridging Responsibility Gaps through Human Oversight Requirements
by: Mao, Zhenyu, et al.
Published: (2025)

Practical Guidelines for the Selection and Evaluation of Natural Language Processing Techniques in Requirements Engineering
by: Sabetzadeh, Mehrdad, et al.
Published: (2024)

AI Asset Management for Manufacturing (AIM4M): Development of a Process Model for Operationalization
by: Rauh, Lukas, et al.
Published: (2025)

Industrial Practices of Requirements Engineering for ML-Enabled Systems in Brazil
by: Alves, Antonio Pedro Santos, et al.
Published: (2024)

Towards Requirements Engineering for RAG Systems
by: Sporsem, Tor, et al.
Published: (2025)

Analysis of LLMs vs Human Experts in Requirements Engineering
by: Hymel, Cory, et al.
Published: (2025)

Raising AI Ethics Awareness through an AI Ethics Quiz for Software Practitioners
by: Pant, Aastha, et al.
Published: (2024)

Towards a Software Reference Architecture for Natural Language Processing Tools in Requirements Engineering
by: Frattini, Julian, et al.
Published: (2026)

A Conceptual Framework for Requirements Engineering of Pretrained-Model-Enabled Systems
by: Jin, Dongming, et al.
Published: (2025)

A Rapid Review Regarding the Concept of Legal Requirements in Requirements Engineering
by: Ruohonen, Jukka
Published: (2025)

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

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

Prompt Engineering for Requirements Engineering: A Literature Review and Roadmap
by: Huang, Kaicheng, et al.
Published: (2025)