Home >  Term: persyaratan formal bahasa
persyaratan formal bahasa

Bahasa buatan yang digunakan untuk mewakili persyaratan perangkat lunak. Formal dihasilkan persyaratan dapat dibuktikan "benar" melalui metode bukti kebenaran. Juga dikenal sebagai bahasa persyaratan dapat diverifikasi.

0 0

Creator

  • Aulia1
  • (Jakarta, Indonesia)

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