Accueil > 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.
- Partie du discours : noun
- Secteur d’activité/Domaine : Informatique; Logiciels
- Catégorie : Software engineering
- Organization: IEEE Computer Society
0
Créateur
- Marius
-
(V.I.P) 60104 points - 100% positive feedback
(Arhus, Denmark)
