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
- Κλάδος/Τομέας: Υπολογιστές; Software
- Category: Software engineering
- Organization: IEEE Computer Society
0
Δημιουργός
- Aulia1
-
(V.I.P) 54969 points - 100% positive feedback
(Jakarta, Indonesia)
