UOOR: Seamless and Traceable Requirements
Fuente:
arXiv
Salvato in:
| Autori principali: | Naumcheva, Maria, Ebersold, Sophie, Bruel, Jean-Michel, Meyer, Bertrand |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
From What to How: A Taxonomy of Formalized Security Properties
di: Sayar, Imen, et al.
Pubblicazione: (2025)
di: Sayar, Imen, et al.
Pubblicazione: (2025)
Natural Language Processing for Requirements Traceability
di: Guo, Jin L. C., et al.
Pubblicazione: (2024)
di: Guo, Jin L. C., et al.
Pubblicazione: (2024)
On the Impact of Requirements Smells in Prompts: The Case of Automated Traceability
di: Vogelsang, Andreas, et al.
Pubblicazione: (2025)
di: Vogelsang, Andreas, et al.
Pubblicazione: (2025)
Auxiliary Artifacts in Requirements Traceability: A Systematic Mapping Study
di: Abdeen, Waleed, et al.
Pubblicazione: (2025)
di: Abdeen, Waleed, et al.
Pubblicazione: (2025)
Classifier or Prompt: A Case Study on Legal Requirements Traceability
di: Etezadi, Romina, et al.
Pubblicazione: (2025)
di: Etezadi, Romina, et al.
Pubblicazione: (2025)
ReqToCode: Embedding Requirements Traceability as a Structural Property of the Codebase
di: Schlathölter, Thorsten
Pubblicazione: (2026)
di: Schlathölter, Thorsten
Pubblicazione: (2026)
Enhancing Requirements Traceability Link Recovery: A Novel Approach with T-SimCSE
di: Wang, Ye, et al.
Pubblicazione: (2026)
di: Wang, Ye, et al.
Pubblicazione: (2026)
TVR: Automotive System Requirement Traceability Validation and Recovery Through Retrieval-Augmented Generation
di: Niu, Feifei, et al.
Pubblicazione: (2025)
di: Niu, Feifei, et al.
Pubblicazione: (2025)
R2Code: A Self-Reflective LLM Framework for Requirements-to-Code Traceability
di: Wang, Yifei, et al.
Pubblicazione: (2026)
di: Wang, Yifei, et al.
Pubblicazione: (2026)
TraceLLM: Leveraging Large Language Models with Prompt Engineering for Enhanced Requirements Traceability
di: Alturayeif, Nouf, et al.
Pubblicazione: (2026)
di: Alturayeif, Nouf, et al.
Pubblicazione: (2026)
Software Engineering as a Domain to Formalize
di: Meyer, Bertrand
Pubblicazione: (2025)
di: Meyer, Bertrand
Pubblicazione: (2025)
A formal definition of loop unrolling with applications to test coverage
di: Meyer, Bertrand
Pubblicazione: (2024)
di: Meyer, Bertrand
Pubblicazione: (2024)
UserTrace: User-Level Requirements Generation and Traceability Recovery from Software Project Repositories
di: Jin, Dongming, et al.
Pubblicazione: (2025)
di: Jin, Dongming, et al.
Pubblicazione: (2025)
Who's Who? LLM-assisted Software Traceability with Architecture Entity Recognition
di: Fuchß, Dominik, et al.
Pubblicazione: (2025)
di: Fuchß, Dominik, et al.
Pubblicazione: (2025)
Synergistic Enhancement of Requirement-to-Code Traceability: A Framework Combining Large Language Model based Data Augmentation and an Advanced Encoder
di: Zhang, Jianzhang, et al.
Pubblicazione: (2025)
di: Zhang, Jianzhang, et al.
Pubblicazione: (2025)
The nature of loops in programming
di: Meyer, Bertrand
Pubblicazione: (2025)
di: Meyer, Bertrand
Pubblicazione: (2025)
Engineering Decisions in MBSE: Insights for a Decision Capture Framework Development
di: Selmi, Nidhal, et al.
Pubblicazione: (2026)
di: Selmi, Nidhal, et al.
Pubblicazione: (2026)
Lessons from Formally Verified Deployed Software Systems (Extended version)
di: Huang, Li, et al.
Pubblicazione: (2023)
di: Huang, Li, et al.
Pubblicazione: (2023)
Leveraging Graph-RAG and Prompt Engineering to Enhance LLM-Based Automated Requirement Traceability and Compliance Checks
di: Masoudifard, Arsalan, et al.
Pubblicazione: (2024)
di: Masoudifard, Arsalan, et al.
Pubblicazione: (2024)
Bugfix: a standard language, database schema and repository for research on bugs and automatic program repair
di: Kananchuk, Victoria, et al.
Pubblicazione: (2025)
di: Kananchuk, Victoria, et al.
Pubblicazione: (2025)
Combining Tests and Proofs for Better Software Verification
di: Huang, Li, et al.
Pubblicazione: (2026)
di: Huang, Li, et al.
Pubblicazione: (2026)
BUGFIX: towards a common language and framework for the AutomaticProgram Repair community
di: Meyer, Bertrand, et al.
Pubblicazione: (2024)
di: Meyer, Bertrand, et al.
Pubblicazione: (2024)
IncreRTL: Traceability-Guided Incremental RTL Generation under Requirement Evolution
di: Chen, Luanrong, et al.
Pubblicazione: (2026)
di: Chen, Luanrong, et al.
Pubblicazione: (2026)
Taxonomic Trace Links: Rethinking Traceability and its Benefits
di: Abdeen, Waleed, et al.
Pubblicazione: (2025)
di: Abdeen, Waleed, et al.
Pubblicazione: (2025)
Introducing Traceability in GitHub for Medical Software Development
di: Stirbu, Vlad, et al.
Pubblicazione: (2021)
di: Stirbu, Vlad, et al.
Pubblicazione: (2021)
Cross-level Requirement Traceability: A Novel Approach Integrating Bag-of-Words and Word Embedding for Enhanced Similarity Functionality
di: Mohammad, Baher, et al.
Pubblicazione: (2024)
di: Mohammad, Baher, et al.
Pubblicazione: (2024)
A Minimal Executable Proof for Multi-Language Contract Traceability
di: Kasselman, Werner
Pubblicazione: (2026)
di: Kasselman, Werner
Pubblicazione: (2026)
Execution-free Program Repair
di: Huang, Li, et al.
Pubblicazione: (2024)
di: Huang, Li, et al.
Pubblicazione: (2024)
UITrans: Seamless UI Translation from Android to HarmonyOS
di: Gong, Lina, et al.
Pubblicazione: (2024)
di: Gong, Lina, et al.
Pubblicazione: (2024)
Establishing Traceability Links between Release Notes & Software Artifacts: Practitioners' Perspectives
di: Nath, Sristy Sumana, et al.
Pubblicazione: (2025)
di: Nath, Sristy Sumana, et al.
Pubblicazione: (2025)
SoK: Systematizing Software Artifacts Traceability via Associations, Techniques, and Applications
di: Chen, Zhifei, et al.
Pubblicazione: (2026)
di: Chen, Zhifei, et al.
Pubblicazione: (2026)
TRIAD: Automated Traceability Recovery based on Biterm-enhanced Deduction of Transitive Links among Artifacts
di: Gao, Hui, et al.
Pubblicazione: (2023)
di: Gao, Hui, et al.
Pubblicazione: (2023)
CONNECTOR: Enhancing the Traceability of Decentralized Bridge Applications via Automatic Cross-chain Transaction Association
di: Lin, Dan, et al.
Pubblicazione: (2024)
di: Lin, Dan, et al.
Pubblicazione: (2024)
AVIATE: Exploiting Translation Variants of Artifacts to Improve IR-based Traceability Recovery in Bilingual Software Projects
di: Sun, Kexin, et al.
Pubblicazione: (2024)
di: Sun, Kexin, et al.
Pubblicazione: (2024)
Requirements are All You Need: From Requirements to Code with LLMs
di: Wei, Bingyang
Pubblicazione: (2024)
di: Wei, Bingyang
Pubblicazione: (2024)
On Interpreting the Effectiveness of Unsupervised Software Traceability with Information Theory
di: Palacio, David N., et al.
Pubblicazione: (2024)
di: Palacio, David N., et al.
Pubblicazione: (2024)
A Rapid Review Regarding the Concept of Legal Requirements in Requirements Engineering
di: Ruohonen, Jukka
Pubblicazione: (2025)
di: Ruohonen, Jukka
Pubblicazione: (2025)
Characterizing Requirements Smells
di: Gentili, Emanuele, et al.
Pubblicazione: (2024)
di: Gentili, Emanuele, et al.
Pubblicazione: (2024)
Validating Network Protocol Parsers with Traceable RFC Document Interpretation
di: Zheng, Mingwei, et al.
Pubblicazione: (2025)
di: Zheng, Mingwei, et al.
Pubblicazione: (2025)
Traceability and Accountability in Role-Specialized Multi-Agent LLM Pipelines
di: Barrak, Amine
Pubblicazione: (2025)
di: Barrak, Amine
Pubblicazione: (2025)
Documenti analoghi
-
From What to How: A Taxonomy of Formalized Security Properties
di: Sayar, Imen, et al.
Pubblicazione: (2025) -
Natural Language Processing for Requirements Traceability
di: Guo, Jin L. C., et al.
Pubblicazione: (2024) -
On the Impact of Requirements Smells in Prompts: The Case of Automated Traceability
di: Vogelsang, Andreas, et al.
Pubblicazione: (2025) -
Auxiliary Artifacts in Requirements Traceability: A Systematic Mapping Study
di: Abdeen, Waleed, et al.
Pubblicazione: (2025) -
Classifier or Prompt: A Case Study on Legal Requirements Traceability
di: Etezadi, Romina, et al.
Pubblicazione: (2025)