- 行业: 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 ...
Язык программирования, используемый для выражения программ с точки зрения конструкций и управления ограничены исчислении предикатов; к примеру Пролог.
Industry:Computer; Software
In una sequenza predefinita di istruzioni per computer che viene inserita in un programma, solitamente durante il montaggio o la compilazione, di ingegneria del software in ogni posto che suo compare nel programma.
Industry:Computer; Software
In ingegneria del software, un elemento di dati, elemento di controllo, segnale, evento o cambiamento di stato che provoca, trigger o avvia un'azione o una sequenza di azioni.
Industry:Computer; Software
Un langage qui peut être utilisé comme son propre métalangage ; par exemple, anglais, allemand.
Industry:Computer; Software
Un langage qui ne peut être utilisé comme son propre métalangage. Exemples FORTRAN, COBOL.
Industry:Computer; Software
Доказательство корректности техники в которого записываются описанием программы входы, выходы и промежуточных условий, разработан набор из теорем касающиеся удовлетворенности входных утверждений к удовлетворению вывода утверждений и теоремы доказываются или опровергнуть с помощью доказательство по индукции.
Industry:Computer; Software
Количественную оценку степени, в которой системы, компонента или processpossesses данного атрибута.
Industry:Computer; Software
Un langage utilisé pour accéder aux informations stockées dans une base de données.
Industry:Computer; Software
Un langage utilisé pour exprimer des commandes à un système informatique.
Industry:Computer; Software
Количественная заявление о ожидаемого числа или характера неисправности в системы или компонента.
Industry:Computer; Software
