Gespeichert in:
| Hauptverfasser: | , , , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | https://arxiv.org/abs/2503.24040 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866910899772588032 |
|---|---|
| author | Farrell, Marie Luckcuck, Matt Monahan, Rosemary Reynolds, Conor Sheridan, Oisín |
| author_facet | Farrell, Marie Luckcuck, Matt Monahan, Rosemary Reynolds, Conor Sheridan, Oisín |
| contents | This paper gives an overview of previous work in which the authors used NASA's Formal Requirement Elicitation Tool (FRET) to formalise requirements. We discuss four case studies where we used FRET to capture the system's requirements. These formalised requirements subsequently guided the case study specifications in a combination of formal paradigms. For each case study we summarise insights gained during this process, exploring the expressiveness and the potential interoperability of these approaches. Our experience confirms FRET's suitability as a framework for the elicitation and understanding of requirements and for providing traceability from requirements to specification. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2503_24040 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Adventures in FRET and Specification Farrell, Marie Luckcuck, Matt Monahan, Rosemary Reynolds, Conor Sheridan, Oisín Software Engineering This paper gives an overview of previous work in which the authors used NASA's Formal Requirement Elicitation Tool (FRET) to formalise requirements. We discuss four case studies where we used FRET to capture the system's requirements. These formalised requirements subsequently guided the case study specifications in a combination of formal paradigms. For each case study we summarise insights gained during this process, exploring the expressiveness and the potential interoperability of these approaches. Our experience confirms FRET's suitability as a framework for the elicitation and understanding of requirements and for providing traceability from requirements to specification. |
| title | Adventures in FRET and Specification |
| topic | Software Engineering |
| url | https://arxiv.org/abs/2503.24040 |