Home >  Term: formal requirements language
formal requirements language

An artificial language used to represent a software requirement. The resulting formal requirements can be proven "correct" through proof-of-correctness methods. Also known as verifiable requirements language.

0 0

Creator

  • artemis
  •  (Gold) 1356 points
  • 100% positive feedback
© 2024 CSOFT International, Ltd.