Saved in:
| Main Author: | |
|---|---|
| Format: | Recurso digital |
| Language: | |
| Published: |
Zenodo
2025
|
| Online Access: | https://doi.org/10.5281/zenodo.18099795 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- <h3>RAG4C: Observable-Centric Consistency Checking of Requirements and Models — Research Artifacts</h3> <p><strong>This archive contains:</strong></p> <ul> <li> <p><strong>Datasets</strong> used in our experiments</p> </li> <li> <p><strong>Prompts</strong> for observable extraction, synonym construction, and constraints formalisation</p> </li> <li><strong>Results</strong> (intermediate and final metrics)</li> <li> <p><strong>Scripts</strong> to reproduce tables and figures</p> </li> </ul> <p><strong>Implementation</strong></p> <ul> <li> <p>The RAG4C implementation is <strong>available upon request</strong>.</p> </li> </ul> <p>These materials support reproducibility and enable further comparison and extension of observable-centric consistency checking approaches.</p>