- 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 ...
In microprogramming, one of the basic operations needed to carry out a machine language instruction.
Industry:Computer; Software
In microprogramming, the process of converting a microprogram into a functionally equivalent microprogram that is faster or shorter than the original.
Industry:Computer; Software
In programming, to state explicitly and in full all of the instructions involved in multiple executions of a loop.
Industry:Computer; Software
In proof of correctness, a designation indicating that a program's output assertions follow logically from its input assertions and processing steps, and that, in addition, the program terminates under all specified input conditions.
Industry:Computer; Software
In proof of correctness, a designation indicating that a program's output assertions follow logically from its input assertions and processing steps.
Industry:Computer; Software
In software and system testing, to install or insert devices or instructions into hardware or software to monitor the operation of a system or component.
Industry:Computer; Software
In software design, a form of demodularization in which a subordinate module is copied in-line into the body of a superordinate module.
Industry:Computer; Software
In software design, a form of demodularization in which a superordinate module is copied into the body of a subordinate module.
Industry:Computer; Software
In software design, a form of demodularization in which two or more modules that execute one after the other are combined into a single module.
Industry:Computer; Software
In software design, a situation in which a module must deal with two or more data sets that have incompatible data structures.
Industry:Computer; Software
