Tradução de "verificação de software" para o idioma inglês:
Dicionário Português-Inglês
Verificação - tradução :
Exemplos (Fontes externas, não revisadas)
| O estudo da prova matemática é particularmente importante na lógica, e tem aplicações para prova automática de teoremas e verificação formal de software. | The study of mathematical proof is particularly important in logic, and has applications to automated theorem proving and formal verification of software. |
| Um dos objetivos do projeto Coyotos é demonstrar que o componente de isolamento e segurança foram definitivamente alcançados através da aplicação de técnicas de verificação de software. | One goal of the Coyotos project is to demonstrate that component isolation and security has been definitively achieved by applying software verification techniques. |
| Verificação de fugas | Leak check |
| Verificação de Hiperligações | Link Checker |
| Verificação de rubricas | Cross check items data |
| Intervalo de verificação minutos | Check interval minutes |
| Verificação n.o | Check No |
| Activar a verificação de chavetas | Enable braces check |
| Git Verificação de diferenças terminada. | Git Diff complete. |
| Subversion Verificação de diferenças terminada. | Subversion Diff complete. |
| LISTA DE VERIFICAÇÃO PARA CANDIDATOS | CHECKLIST FOR APPLICANTS |
| LISTA DE VERIFICAÇÃO PARA CANDIDATOS | Checklist for Applicants |
| Activar verificação chavetas | Enable braces check |
| Verificação da eligibilidade | Eligibility checks |
| Verificação n.o Relação | Check No Relationship |
| A verificação formal de declarações de lógica tem sido necessária para o desenvolvimento de software de sistemas de segurança crítica, e os avanços na prova automática de teoremas tem sido impulsionada para essa necessidade. | Formal verification of statements in logic has been necessary for software development of safety critical systems, and advances in automated theorem proving have been driven by this need. |
| Verificação n.o 13 Rubrica residual ver nota explicativa da verificação n.o 8 . | Check No 13 Residual item See explanatory note to Check No 8 . |
| Ver também Software livre Free Software Foundation Compatibilidade de licenças | Free software that depends on proprietary software is considered trapped by the Free Software Foundation. |
| A verificação da autenticidade deve ser realizada por máquinas de verificação de autenticidade testadas com sucesso por um BCN . | 4 The authenticity check shall be carried out by banknote authentication machines successfully tested by an NCB . |
| Instalação de Software | Software Install |
| Software de Astrologia | Astrology Software |
| Centro de Software | Software Center |
| Repositórios de software | Software Sources |
| Sinal de Software | Software Token |
| Atualizador de Software | Software Updater |
| Assim, pedi uma verificação. | And then I asked for verification. |
| Verificação com uma lupa | Check with a magnifying glass |
| Ver verificação n.o 8 | See Check No 8 |
| Verificação cruzada IFM MPEC | MFI MPEC cross check |
| VERIFICAÇÃO E RECOLHA OBRIGATÓRIA | VERIFICATION AND COMPULSORY COLLECTION |
| Apresentar blocos alcançáveis na verificação de fugas | Show reachable blocks in leak check |
| ANEXO 4 Lista de verificação para candidatos | ANNEX 4 Checklist for applicants |
| Comunicação e verificação da base de incidência | Reporting and verification of the reserve base |
| Verificação com uma lâmpada de luz ultravioleta | Check with an ultraviolet lamp Genuine |
| Apêndice 2 OPERAÇÕES DE VERIFICAÇÃO NOTAS EXPLICATIVAS | Appendix 2 CHECKS EXPLANATORY NOTES |
| Antivírus ou software antivírus (muitas vezes abreviado comoAV), também conhecido como software anti malware, é um software de computadorusado para prevenir, detectar e remover software malicioso. | Antivirus or anti virus software (often abbreviated as AV), sometimes known as anti malware software, is computer software used to prevent, detect and remove malicious software. |
| Processe compilações de mensagens e somas de verificação | Compute message digests and checksums |
| Licenças A maioria do software é publicado sob uma licença de software . | an algorithm) on how to implement a piece of software, or a component of a piece of software. |
| Ações Escrever e espalhar o software livre O trabalho do núcleo no movimento software livre focado em desenvolvimento de software. | Actions Writing and spreading free software The core work of the free software movement focused on software development. |
| Software de introdução algorítmico | Algorithmics introduction software |
| Software Visualizador de Logs | Software Log Viewer |
| Centro de Software Lubuntu | Lubuntu Software Center |
| Centro de Software Muon | Muon Software Center |
| Centro de Software Ubuntu | Ubuntu Software Center |
| Software Visualização de Dados | Data Visualization software |
Pesquisas relacionadas : Software Verificação De Vírus - Verificação De Verificação - Software De - Verificação - Verificação De Verificação De Fundo - Migração De Software - Software De Monitoramento - Software De Edição - Software De Teste - Fornecedor De Software - Software De Relatórios - Software De Avaliação - Assinatura De Software
