Home > 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
- Category: Software engineering
- Organization: IEEE Computer Society
0
Δημιουργός
- Marius
-
(V.I.P) 60104 points - 100% positive feedback
(Arhus, Denmark)
