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.
- Part of Speech: noun
- Industry/Domain: Computer; Software
- Category: Software engineering
- Organization: IEEE Computer Society
0
Creator
- Aulia1
-
(V.I.P) 54969 points - 100% positive feedback
(Jakarta, Indonesia)
