https://github.com/NASA-SW-VnV/fret

Skip to content
 
Sign up

  * Why GitHub?
      + Features
      + Mobile
      + Actions
      + Codespaces
      + Packages
      + Security
      + Code review
      + Issues
      + Integrations
      + GitHub Sponsors
      + Customer stories
  * Team
  * Enterprise
  * Explore
      + Explore GitHub
      + Learn and contribute
      + Topics
      + Collections
      + Trending
      + Learning Lab
      + Open source guides
      + Connect with others
      + The ReadME Project
      + Events
      + Community forum
      + GitHub Education
      + GitHub Stars program
  * Marketplace
  * Pricing
      + Plans
      + Compare plans
      + Contact Sales
      + Education

[                    ] 

  *  
    #
    In this repository All GitHub |
    Jump to |

  * No suggested jump to results

  *  
    #
    In this repository All GitHub |
    Jump to |
  *  
    #
    In this organization All GitHub |
    Jump to |
  *  
    #
    In this repository All GitHub |
    Jump to |

Sign in
Sign up
{{ message }}

NASA-SW-VnV / fret Public

  * Notifications
  * Star 91
  * Fork 12
  * 

A framework for the elicitation, specification, formalization and
understanding of requirements.

91 stars 12 forks
Star
Notifications

  * Code
  * Issues 4
  * Pull requests 1
  * Discussions
  * Actions
  * Projects 0
  * Wiki
  * Security
  * Insights

More

  * Code
  * Issues
  * Pull requests
  * Discussions
  * Actions
  * Projects
  * Wiki
  * Security
  * Insights

master
Switch branches/tags
[                    ]
Branches Tags
Could not load branches
Nothing to show
Loading
{{ refName }} default View all branches
Could not load tags
Nothing to show
{{ refName }} default
Loading
View all tags
2 branches 1 tag
Code
Loading

Latest commit

@anmavrid
anmavrid Update README.md
...
5d854aa Oct 27, 2021
Update README.md
5d854aa

Git stats

  * 544 commits

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
executables
Updated runfret and instructions for Linux executable
Apr 30, 2021
fret-electron
Realizability: Fixed bug where System component result was
incorrectl...
Aug 27, 2021
tools
Fixed license character bug and updated license to all files
Aug 11, 2021
tutorialExamples
Created folder for tutorialExamples (FRETDemo.json) and updated node
...
Aug 11, 2021
.gitignore
Updated .gitignore to ignore files in analysis/tmp
Aug 11, 2021
CONTRIBUTORS.md
Added Andreas and Khanh as contributors
Aug 11, 2021
LICENSE.pdf
Added Updated NOSA licesne
Aug 11, 2021
PUBLICATIONS.md
Publications now linked from README, contributions before open
sourci...
Aug 11, 2021
README.md
Update README.md
Oct 27, 2021
View code
[                    ]
FRET: Formal Requirements Elicitation Tool Introduction Contact
Installation Platforms License Contributors Publications

README.md

 FRET: Formal Requirements Elicitation Tool

 Introduction

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.

 Contact

Please contact anastasia.mavridou@nasa.gov and
tom.pressburger@nasa.gov for further information on FRET. Detailed
information can be found in the FRET manual.

 Installation

Detailed instructions can be found in installation instructions.

 Platforms

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.

 License

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

 Contributors

See the FRET Contributors.

 Publications

Here are some FRET-related Publications.

About

A framework for the elicitation, specification, formalization and
understanding of requirements.

Resources

Readme

Releases 1

 
FRET public release v2.0 Latest
Aug 17, 2021

Packages 0

No packages published

Contributors 7

  * @anmavrid
  * @andreaskatis
  * @tpressburger
  * @artimid
  * @kvtrinh
  * @rheinj
  * @JohannSchumann

Languages

  * JavaScript 80.9%
  * HTML 13.6%
  * C 2.6%
  * ANTLR 1.3%
  * EJS 0.5%
  * CSS 0.3%
  * Other 0.8%

  * (c) 2021 GitHub, Inc.
  * Terms
  * Privacy
  * Security
  * Status
  * Docs

 

  * Contact GitHub
  * Pricing
  * API
  * Training
  * Blog
  * About

You can't perform that action at this time.
You signed in with another tab or window. Reload to refresh your
session. You signed out in another tab or window. Reload to refresh
your session.