- Industry: 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 ...
Une preuve de technique de rectitude dans quelles affirmations sont rédigés en décrivant les intrants, extrants et conditions intermédiaires, un ensemble de théorèmes est mis au point concernant la satisfaction des affirmations d'entrée à la satisfaction des assertions de sortie et les théorèmes sont prouvés ou réfuté à l'aide de la preuve par induction.
Industry:Computer; Software
En microprogrammed datamaskin som kan microprograms opprettes eller endres av brukeren.
Industry:Computer; Software
En microprogramming teknikk der ulike microoperations er kodet som forskjellige verdier i den samme posten i en microinstruction.
Industry:Computer; Software
Une mesure quantitative de la mesure dans laquelle un système, du composant ou processpossesses un attribut donné.
Industry:Computer; Software
선언 해야 할 각 데이터 항목의 형식을 요구 하 고, 부적 절 한 데이터 형식, 연산자의 응용 하는 걸로 하 고 호환 되지 않는 형식의 데이터 항목의 상호 작용을 방지 일부 프로그래밍 언어의 기능.
Industry:Computer; Software
기능 또는 특성 항목의 품질에 영향을 줍니다. 참고: 품질 특성의 계층 구조에서 더 높은 수준의 특성 호출할 수 있습니다 품질 요인, 품질 특성 이라는 낮은 수준의 특성.
Industry:Computer; Software
El período de tiempo en el ciclo de vida del software durante el cual un producto de software está integrado en su entorno operativo y probado en este entorno para asegurarse de que funciona como sea necesario.
Industry:Computer; Software
En microprogramming teknikk som ulike microoperations kan kodes identisk til den samme posten i en microinstruction, og en som utføres er avhengig av verdien i et annet felt internt eller eksternt til microinstruction.
Industry:Computer; Software
