Home > 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.
- Jenis Kata: noun
- Industri / Domain: Komputer; Perangkat lunak
- Kategori: Software engineering
- Organization: IEEE Computer Society
0
Penulis
- Angelika Jung
- 100% positive feedback
(Bonn, Germany)