upload
IEEE Computer Society
行业: Computer; Software
Number of terms: 50628
Number of blossaries: 0
Company Profile:
Founded in 1946, the IEEE Computer Society is a professional organization for computing professionals. Based in Washington, DC, it's the largest of IEEE’s 38 societies organized under the IEEE Technical Activities Board. The IEEE Computer Society is dedicated to advancing the theory, practice, and ...
一种人工语言,用来表示一个软件要求。由此正式要求可以证明"正确"通过证明的正确方法。也称为可核查的要求的语言。
Industry:Computer; Software
Retesting per detectar errors introduïts per modificació com requereix de la prova anterior.
Industry:Computer; Software
El procés d'utilitzar un mètode formal de disseny de programari.
Industry:Computer; Software
Una restricció que ha de ser cert quan un cas d'ús s'ha acabat.
Industry:Computer; Software
Aktivitātes, kas apstrādā visas ievadītās informācijas un rada visas izvades informāciju kartēšana.
Industry:Computer; Software
Una restricció que ha de ser cert quan s'invoca un cas d'ús.
Industry:Computer; Software
Documentació de V & V resultats i avaluacions de qualitat de programari.
Industry:Computer; Software
Daļēji pabeigtu programmatūras apakšsistēmu, kas var pagarināt atbilstoši instantiating kādu konkrētu plug-ins.
Industry:Computer; Software
Programmatūras attīstības projektu raksturo kā uzturēšana, lai izlabotu kļūdas sākotnējā prasību specifikācija.
Industry:Computer; Software
以对象,这些对象之间的连接表示一种系统或组件的软件开发技术。面向功能的设计和面向数据结构的设计与 对比。
Industry:Computer; Software
© 2024 CSOFT International, Ltd.