D Giannakopoulou,
A Mavridou, J Rhein… - … for Software Quality …, 2020 - ntrs.nasa.gov
FRET is a tool for writing, understanding, formalizing and analyzing requirements. Users
write requirements in an intuitive, restricted natural language, called FRETISH, with precise …