32 lines
615 B
Markdown
32 lines
615 B
Markdown
# First Pass
|
|
**Category:**
|
|
This is a weird one. This paper is essentially just a 'state-of-the-FRET' paper
|
|
|
|
**Context:**
|
|
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:**
|
|
Easy to read.
|
|
|
|
# Second Pass
|
|
**What is the main thrust?**
|
|
|
|
**What is the supporting evidence?**
|
|
|
|
**What are the key findings?**
|
|
|
|
# Third Pass
|
|
**Recreation Notes:**
|
|
|
|
**Hidden Findings:**
|
|
|
|
**Weak Points? Strong Points?**
|