Introduction

FRET is a framework for the elicitation, specification, formalization and dealing out of necessities. Users enter map necessities in a genuinely just correct natural language. FRET helps working out and review of semantics by the usage of a fluctuate of kinds for each and each requirement: natural language description, formal mathematical logics, and diagrams. Requirements would possibly presumably presumably even be outlined in a hierarchical style and would possibly presumably presumably even be exported in a fluctuate of kinds to be venerable by analysis tools.

Contact

Please contact anastasia.mavridou@nasa.gov and tom.pressburger@nasa.gov for further knowledge on FRET. Detailed knowledge would possibly presumably presumably even be conceal in the FRET handbook.

Installation

Detailed directions would possibly presumably presumably even be conceal in installation directions.

Platforms

FRET has been examined in a fluctuate of structure/operating map
combinations. It has been examined on PC Intel, Apple Mac and Solar
architectures, with loads of versions and distributions of Windows, Mac OS
X, and Linux.

License

FRET has been launched underneath the NASA Open Source Settlement model 1.3, seek LICENSE.pdf.

Contributors

Leer the FRET Contributors.

Publications

Right here are some FRET-linked Publications.