FRET is a framework for the elicitation, specification, formalization and understanding of requirements. Users enter system requirements in a specialized natural language. FRET helps understanding and review of semantics by utilizing a variety of forms for each requirement: natural language description, formal mathematical logics, and diagrams. Requirements can be defined in a hierarchical fashion and can be exported in a variety of forms to be used by analysis tools.

For further information on FRET, please contact andreas.katis@nasa.gov, anastasia.mavridou@nasa.gov, tom.pressburger@nasa.gov or issues and discussions on GitHub at https://github.com/NASA-SW-VnV/fret.git. Detailed information can be found in the FRET manual.

Detailed instructions can be found in installation instructions.

FRET has been tested in a range of architecture/operating system combinations. It has been tested on PC Intel, Apple Mac and Sun architectures, with different versions and distributions of Windows, Mac OS X, and Linux.

FRET has been released under the NASA Open Source Agreement version 1.3, see LICENSE.pdf.

See the FRET Contributors.

Here are some FRET-related Publications.