From be7f809507c4e65af052815dc505350abd2ebfd8 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Mon, 21 Jul 2025 22:19:25 -0400 Subject: [PATCH] vault backup: 2025-07-21 22:19:25 --- .../Formal requirements elicitation with FRET.md | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/Notes on Papers/Formal requirements elicitation with FRET.md b/Notes on Papers/Formal requirements elicitation with FRET.md index 2e8e2c945..d9e64ba5c 100644 --- a/Notes on Papers/Formal requirements elicitation with FRET.md +++ b/Notes on Papers/Formal requirements elicitation with FRET.md @@ -3,12 +3,19 @@ This is a weird one. This paper is essentially just a 'state-of-the-FRET' paper **Context:** -FRET comes from NASA and is +FRET comes from NASA and is a tool to line up requirements in a temporal +language. **Correctness:** +Formal. But they don't really go into details. + **Contributions:** +Really I don't think they contribute much here than an explanation of what's +going on. + **Clarity:** + # Second Pass **What is the main thrust?**