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