首页 > 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.
- 词性： noun
- 行业/领域： 计算机; 软件
- 类别 软件工程
- Organization: IEEE Computer Society
0
创建者
- Aulia1
-
(V.I.P) 54969 分数 - 100% positive feedback
(Jakarta, Indonesia)
