Accueil > Term: požadavky na formální jazyk
požadavky na formální jazyk
Umělý jazyk používaný k reprezentaci požadavek softwaru. Výsledné formální požadavky prokazatelně "správný" prostřednictvím důkaz správnosti metody. Známý také jako ověřitelné požadavky jazyk.
- Partie du discours : noun
- Secteur d’activité/Domaine : Informatique; Logiciels
- Catégorie : Software engineering
- Organization: IEEE Computer Society
0
Créateur
- Marjeta
- 100% positive feedback