FRET (Software)

Formal Requirements Elicitation Tool (FRET) is a requirements engineering tool. It was developed by the NASA Ames Research Center to specify complex safety-critical systems whose failure could result in loss of life, significant property damage, or environmental harm. FRET is open-source software released under the NASA Open Source Agreement.

FRET
Developer(s)
  • Andreas Katis
  • Anastasia Mavridou
  • Tom Pressburger
  • Johann Schumann
  • Khanh Trinh
Stable release
3.1 / December 15, 2023 (2023-12-15)
Written inJavaScript
Operating systemWindows, Linux, OS X
TypeFormalizing
LicenseNASA Open Source Agreement version 1.3
Websitehttps://github.com/NASA-SW-VnV/fret
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.