홈 > Term: formelle krav sprog
formelle krav sprog
En kunstig sprog bruges til at repræsentere et software krav. Den resulterende formelle krav kan bevises "rigtige" gennem bevis for rigtigheden metoder. Også kendt som kontrollerbare krav sprog.
- 품사: noun
- 분야/도메인: 컴퓨터; 소프트웨어
- 카테고리: Software engineering
- Organization: IEEE Computer Society
0
작성자
- Marius
-
(V.I.P) 60104 포인트 - 100% positive feedback
(Arhus, Denmark)
