- 업종: 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 ...
(1) Una técnica formal utilizada para demostrar matemáticamente un programa de ordenador cumple su requirements.~(2) especificado una prueba que resulta de aplicar la técnica en (1).
Industry:Computer; Software
Separation eller ruttnande en översta krav eller formgivning successivt lågnivå detaljerade krav eller design. Synonymous med dekompositionsträd.
Industry:Computer; Software
Dokumentation som anger Detaljer om metoden test för en programvarufunktion eller en kombination av programfunktioner och identifiera de associerade testerna.
Industry:Computer; Software
(1) Một chương trình máy tính ngắn mà cư trú vĩnh viễn hoặc dễ dàng nạp vào một máy tính và thực hiện mà mang lại cho một chương trình lớn hơn, như là một hệ điều hành hoặc bộ tải của nó, vào memory.~(2) sử dụng một chương trình như trong (1).
Industry:Computer; Software
(1) 電腦詞,其中包含指定的電腦程式的當前狀態的資訊。資訊可能包括錯誤指示符,要執行的下一條指令的位址、 當前啟用的中斷和這麼 on.~(2) A 專用註冊紀錄冊,其中包含程式狀態字 (1) 中。
Industry:Computer; Software
(1) 電腦詞,其中包含指定的電腦程式的當前狀態的資訊。資訊可能包括錯誤指示符,要執行的下一條指令的位址、 當前啟用的中斷和這麼 on.~(2) A 專用註冊紀錄冊,其中包含程式狀態字 (1) 中。
Industry:Computer; Software
(1) 當一預定的量的時間到期後沒有發生預期事件發生的狀況。例如,導致的一種線上過程終止,如果在指定的時間段,體驗 (1) 中的條件 time.~(2) 內不收到任何使用者輸入的條件。
Industry:Computer; Software
(A) kolekce všech souvisejících s softwaru artefaktů (např, prostředí softwarového inženýrství), patřící do systému, nebo (B) umístění/formát v němž je uložena kolekce.
Industry:Computer; Software
(1) Un grupo de dígitos binarios adyacentes operados a como una unidad y suele ser más corto que una palabra de equipo (con frecuencia denota un grupo de ocho bits).~(2) un elemento de almacenamiento de equipo que puede contener un grupo de bits como en (1).
Industry:Computer; Software
(1) Un medio y la información grabaron en él, que generalmente tiene permanencia y puede ser leído por una persona o una máquina. Ejemplos de software de Ingeniería incluyen planes de proyectos, especificaciones, planes de pruebas, manuals.~(2) de usuario para crear un documento como en (1).~(3) para agregar comentarios a un programa de ordenador.
Industry:Computer; Software