Accueil >  Term: ngôn ngữ chính thức yêu cầu
ngôn ngữ chính thức yêu cầu

Một ngôn ngữ nhân tạo được sử dụng để đại diện cho một yêu cầu phần mềm. Kết quả chính thức yêu cầu có thể được chứng minh "đúng" thông qua phương pháp chứng minh đúng đắn. Cũng được gọi là ngôn ngữ yêu cầu kiểm chứng.

0 0

Créateur

  • JakeLam
  • (Hanoi, Vietnam)

  •  (V.I.P) 29427 points
  • 100% positive feedback
© 2024 CSOFT International, Ltd.