首页 >  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

创建者

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