Accueil > Term: Formerfordernisse Sprache
Formerfordernisse Sprache
Eine künstliche Sprache verwendet, um eine Software-Anforderung darstellen. Die resultierende formale Anforderungen können durch Nachweis der Richtigkeit Methoden "richtige" nachgewiesen werden. Auch bekannt als überprüfbare Anforderungen Sprache.
- Partie du discours : noun
- Secteur d’activité/Domaine : Informatique; Logiciels
- Catégorie : Software engineering
- Organization: IEEE Computer Society
0
Créateur
- Angelika Jung
- 100% positive feedback
(Bonn, Germany)