首页 > Term: formalūs reikalavimai kalba
formalūs reikalavimai kalba
Dirbtinė kalba, naudojama atstovauti programinės įrangos reikalavimas. Dėl formalių reikalavimų gali būti įrodyta "teisinga" per teisingumą įrodymo metodų. Taip pat žinomas kaip patikrinti reikalavimų kalba.
- 词性: noun
- 行业/领域: 计算机; 软件
- 类别 软件工程
- Organization: IEEE Computer Society
0
创建者
- Paulius
- 100% positive feedback
(Vilnius, Lithuania)