Dane Sabo 8824324149 Auto sync: 2025-08-26 11:21:28 (90 files changed)

R  "Zettelkasten/Literature Notes/.archive/CH4System_Representation_S2020pdf2254.md" -> ".archive/Literature Notes/.archive/CH4System_Representation_S2020pdf2254.md"

R  "Zettelkasten/Literature Notes/.archive/IntroductionDiffusionModels2022.md" -> ".archive/Literature Notes/.archive/IntroductionDiffusionModels2022.md"

R  "Zettelkasten/Literature Notes/.archive/Kry10TechnicalOverview.md" -> ".archive/Literature Notes/.archive/Kry10TechnicalOverview.md"

R  "Zettelkasten/Literature Notes/.archive/ME2046_Sampled_Data_Analysis_Reading_Chapter_2pdf2254ME.md" -> ".archive/Literature Notes/.archive/ME2046_Sampled_Data_Analysis_Reading_Chapter_2pdf2254ME.md"

R  "Zettelkasten/Literature Notes/.archive/ME2046_The_z_transform_Chapter_3pdf2254ME.md" -> ".archive/Literature Notes/.archive/ME2046_The_z_transform_Chapter_3pdf2254ME.md"

R  "Zettelkasten/Literature Notes/.archive/My Library.bib" -> ".archive/Literature Notes/.archive/My Library.bib"

R  "Zettelkasten/Literature Notes/.archive/aModeladoNucleoAnalisis2023.md" -> ".archive/Literature Notes/.archive/aModeladoNucleoAnalisis2023.md"

R  "Zettelkasten/Literature Notes/.archive/atsumiModifiedBodePlots2012.md" -> ".archive/Literature Notes/.archive/atsumiModifiedBodePlots2012.md"

2025-08-26 11:21:28 -04:00

964 B

Raw Permalink Blame History

authors

citekey

alias

publish_date

last_import

Giannakopoulou, Dimitra

Mavridou, Anastasia

Rhein, Julian

Pressburger, Thomas

Schumann, Johann

Shi, Nija

giannakopoulouFormalRequirementsElicitation2020

2020-01-01

2025-07-30

Formal requirements elicitation with FRET

Indexing Information

Published: 2020-01

#InSecondPass

[!seealso] Related Papers

Annotations

Notes

!Zettelkasten/Literature Notes/Notes on Papers/Formal requirements elicitation with FRET-notes.md

Highlights From Zotero

[!tip] Brilliant A fretish requirement description is automatically parsed into six sequential fields, with the fret editordynamically coloring the text corresponding to the fields as the requirement is typed in (Figure 2): scope, condition, component, shall, timing, and response. 2025-07-15 11:32 pm

964 B Raw Permalink Blame History