- 行业: 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 ...
(入力としてコンピュータ プログラムとその仕様と生成、人間に役立つ、証明または反証は program.~(2) の正しさの可能性を表現部分を自動化するソフトウェア ツールまたは検証プロセスのすべてを受け入れる 1) ソフトウェア ツールです。
Industry:Computer; Software
Morebitne težave, ki bi bila škodljiva za načrtovane dejavnosti projekta, ali program, značilna verjetnost pojava težave (0 — p — 1) in možne izgube (za življenje, denarja, premoženja, ugled in tako naprej) če pride do težave. Tako lahko sčasoma spremeni verjetnost in možnost izgube.
Industry:Computer; Software
(1) Per restituire un segnale trasmesso alla sua fonte, spesso con un ritardo per indicare che il segnale è una riflessione piuttosto che original.~(2) un segnale restituito, come in (1).
Industry:Computer; Software
En uafhængig undersøgelse af kildekoden af en person, gruppe eller værktøj at kontrollere overensstemmelsen med software design dokumentation og programmering standarder. Korrekthed og effektivitet kan også blive vurderet.
Industry:Computer; Software
(1) Processen af nulalternativet brugeren behov for at nå frem til en definition af systemet, hardware eller softwarekrav. (2) Processen med at studere og raffinering system, hardware eller software krav.
Industry:Computer; Software
في مشاريع هندسية، هذه هي طرف ثالث الأفراد أو الشركات في جلب للعمل على تصميم البرمجيات، البرمجة، اختبار، أو التكامل.
Industry:Computer; Software
في نظام/برنامج هندسة النظم (المتطلبات)، وانخفاض مستوى متطلبات يتم تحديده بأن ثمة ضرورة لاشتراط المستوى أعلى تتحقق.
Industry:Computer; Software
(1) Ο βαθμός στον οποίο ενός συστήματος, κατασκευαστικού στοιχείου ή διαδικασία πληροί καθοριστεί requirements.~(2) τον βαθμό στον οποίο ενός συστήματος, κατασκευαστικού στοιχείου ή διαδικασία ανταποκρίνεται στις ανάγκες του πελάτη ή χρήστη ή προσδοκίες.
Industry:Computer; Software
（1） に対しての測定や比較 made.~(2) A の手順、問題、または、システム、または互いにまたは (1).~(3) 回復ファイル。 のように標準のコンポーネントを比較するために使用できるテストできる標準
Industry:Computer; Software
Obrazec analize sklepa, ki uravnoteži konkurenčnih komponent za doseganje najboljše delovanje. Software prostorsko-časovna klasičen kompromis je primer optimizacije; algoritem, ki teče hitreje, običajno uporabi več pomnilnika. Optimization bilanc hitrejši runtime vrednost proti dodatnim memory vrednost.
Industry:Computer; Software
