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.
- ส่วนหนึ่งของคำพูด: noun
- อุตสาหกรรม/ขอบเขต: Computer; Software
- Category: Software engineering
- Organization: IEEE Computer Society
0
ผู้สร้าง
- Aulia1
-
(V.I.P) 54969 points - 100% positive feedback
(Jakarta, Indonesia)
