- 行业: 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 ...
Dôkaz správnosti techniky v ktorých tvrdenia sú v písomnej forme opisujú program vstupov, výstupov a prechodných podmienok, sada vety je vyvinutý, týkajúcich sa spokojnosti vstupné tvrdení k spokojnosti výstup tvrdení a vety sú dokázané alebo vyvrátená dôkazom pomocou indukcie.
Industry:Computer; Software
Kvantitatívny ukazovateľ miere, systému, komponentu, alebo processpossesses daný atribút.
Industry:Computer; Software
Kvantitatívne vyhlásenie o očakávané číslom alebo charakter porúch systému alebo komponentu.
Industry:Computer; Software
Množstvo alebo údaje tovaru, ktorého hodnota môže meniť; napríklad premenná aktuálneho času.
Industry:Computer; Software
Množstvo alebo údaje položky, ktorých hodnotu nie je možné zmeniť; napríklad údaje v bode päť, s nemennou hodnotou 5.
Industry:Computer; Software
Operácia čítania, ktorá mení údaje na prístupné miesto.
Industry:Computer; Software
Operácia čítania, že nevymaže údaje na prístupné miesto.
Industry:Computer; Software
Záznam všetkých alebo vybraných podprogramy alebo funkcia hovorov uskutočnených počas realizácie počítačového programu a prípadne hodnoty parametrov prešiel a odoslal každý podprogram alebo funkcia.
Industry:Computer; Software
Záznam všetkých alebo vybraných podprogramy alebo funkcia hovorov uskutočnených počas realizácie počítačového programu a prípadne hodnoty parametrov prešiel a odoslal každý podprogram alebo funkcia.
Industry:Computer; Software
Záznam názvu a hodnoty premenných pristupovať alebo zmenili počas realizácie počítačový program.
Industry:Computer; Software
