홈 > 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 engineering
- Organization: IEEE Computer Society
0
작성자
- Aulia1
-
(V.I.P) 54969 포인트 - 100% positive feedback
(Jakarta, Indonesia)
