upload
IEEE Computer Society
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 ...
(1) Uno strumento software che accetta come input un programma per computer e una rappresentazione della sua specifica e produce, possibilmente con l'aiuto umano, una prova o menzogna della correttezza del program.~(2) qualsiasi strumento software che consente di automatizzare parte o tutto il processo di verifica.
Industry:Computer; Software
(1) Urutan dari pernyataan program komputer yang dijalankan berulang kali sampai kondisi tertentu terpenuhi atau saat kondisi tertentu adalah true.~(2) untuk melaksanakan serangkaian pernyataan program komputer seperti (1).
Industry:Computer; Software
(1) Urutan dari pernyataan program komputer yang dijalankan berulang kali sampai kondisi tertentu terpenuhi atau saat kondisi tertentu adalah true.~(2) untuk melaksanakan serangkaian pernyataan program komputer seperti (1).
Industry:Computer; Software
Uma abordagem sistemática para a criação de um design que consiste da aplicação ordenada de uma coleção específica de ferramentas, técnicas e orientações.
Industry:Computer; Software
Aktiviteetti-ryhmän, joka hankkeen toimien suorittamiseen tarvitaan, mutta ulkopuolella hallinta ja kehittäminen toiminnan ryhmiä.
Industry:Computer; Software
システム管理の手順、プラクティス、技術、技能、およびソフトウェア開発を正常に管理する必要がある経験。
Industry:Computer; Software
キャッシュ フロー ストリームと同等の単一のキャッシュ フローのインスタンス計画の地平線に先頭に変換の比較のための基礎。
Industry:Computer; Software
(1) Standard contro cui le misure o confronti possono essere made.~(2) a procedura, problema o test che possono essere utilizzati per confrontare i sistemi o componenti a vicenda o a uno standard come (1).~(3) un file di recupero.
Industry:Computer; Software
(1) Una tecnica di allocazione di archiviazione nel computer che segmenti di programma vengono caricati dalla memoria ausiliaria di immagazzinaggio principale quando necessario, sovrascrivendo altri segmenti non attualmente in use.~(2) un segmento di programma di computer che è mantenuto nell'immagazzinaggio ausiliario e caricato nella memoria principale, quando necessario, sovrascrivendo altri segmenti non attualmente in use.~(3) per caricare un segmento di programma di computer da immagazzinaggio ausiliario per immagazzinaggio principale in modo tale che altri segmenti del programma vengono sovrascritti.
Industry:Computer; Software
Um documento que descreve o conteúdo e o formato dos dados permanentes ou semi permanentes necessários para o software para realizar suas funções.
Industry:Computer; Software