- 行业: 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 de programmering, expliciet aan staat en in volledige all van de instructies betrokken bij meerdere executies van een lus.
Industry:Computer; Software
In het bewijs van de juistheid, een aanwijzing waaruit blijkt dat een programma uitvoer beweringen logisch volgen uit haar input beweringen en verwerking stappen en dat, bovendien, het programma eindigt onder alle opgegeven invoer voorwaarden.
Industry:Computer; Software
In het bewijs van de juistheid, een aanduiding die aangeeft dat een programma uitvoer beweringen logisch uit de input beweringen volgen en verwerken stappen.
Industry:Computer; Software
In software en systeem testen, om te installeren of apparaten of instructies invoegen in hardware of software te controleren van de werking van een systeem of component.
Industry:Computer; Software
In software design, een vorm van demodularization waarin een onderliggende module is gekopieerd in-line in het lichaam van een superordinate module.
Industry:Computer; Software
In software design, een vorm van demodularization waarin een superordinate module gekopieerd naar het lichaam van een onderliggende module.
Industry:Computer; Software
In software design, een vorm van demodularization in welke twee of meer modules uitvoeren die na elkaar worden gecombineerd tot een enkele module.
Industry:Computer; Software
Chyba, ktorá sa vyskytne raz, alebo nepredvídateľné intervaloch.
Industry:Computer; Software
O processo de usar um método formal para design de software.
Industry:Computer; Software
