Accueil > 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.
- Partie du discours : noun
- Secteur d’activité/Domaine : Informatique; Logiciels
- Catégorie : Software engineering
- Organization: IEEE Computer Society
0
Créateur
- Aulia1
-
(V.I.P) 54969 points - 100% positive feedback
(Jakarta, Indonesia)
