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.
- Installing and Running FRET
- Developer's Guide
- FRETish grammar
- FRET Graphical User Interface (GUI)
- FRET Command Line Interface (CLI)
We provide a set of example requirements that can be directly imported in FRET in the case studies directory. The easiest example to start with is Finite State Machine.
Andreas Katis, Anastasia Mavridou, Johann Schumann.
Alumni and Interns: Milan Bhandari, David Bushnell, Tanja de Jong, Dimitra Giannakopoulou, Kelly Ho, George (Yorgo) Karamanolis, David Kooi, Daniel Mendoza, Jessica Phelan, Thomas Pressburger, Julian Rhein, Daniel Riley, Nija Shi, Khanh Trinh, Gricel Vazquez.