Accueil > Term: formella krav språk
formella krav språk
Ett konstgjort språk som används för att representera ett krav på programvara. De resulterande formella krav kan bevisas "korrekt" genom beviset för korrekthet metoder. Kallas även kontrollerbara krav språk.
- Partie du discours : noun
- Secteur d’activité/Domaine : Informatique; Logiciels
- Catégorie : Software engineering
- Organization: IEEE Computer Society
0
Créateur
- Matilda03
- 100% positive feedback
(Stockholm, Sweden)