Translation of "safety critical software" to Portuguese language:
Dictionary English-Portuguese
Examples (External sources, not reviewed)
| 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. | 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. |
| The crew experienced some minor problems, none of them critical to the safety or success of the mission. | O grupo passou por alguns problemas pequenos, não sendo nenhum deles críticos para a segurança ou o sucesso da missão. |
| Safety safety first? | Segurança em primeiro lugar. |
| Recovering from such damage to critical software infrastructure incurs technical support costs and businesses can be forced to close whilst remedial action is undertaken. | Recuperando se de taldano à infraestrutura de software crítico incorre em custos de suporte técnicoe as empresas podem ser obrigadas a fechar, enquanto a ação corretiva érealizada. |
| Pillsbury's training program to the FDA in 1969, titled Food Safety through the Hazard Analysis and Critical Control Point System , was the first time that HACCP was used. | Análise de Perigos e Pontos Críticos de Controlo (APPCC), ou em inglês Hazard Analysis and Critical Control Point (HACCP) é um sistema de gestão de segurança alimentar. |
| Think of models of terrorism, child kidnapping, airline safety, car safety. | Pensem nos modelos do terrorismo, sequestros de crianças, segurança aérea, segurança automobilística. |
| Borland Software Corporation is a software company that facilitates software deployment projects. | A Borland Software Corporation é uma empresa de software com sede em Austin, Texas. |
| Zzzzzzip for safety. | Zzzzzip para segurança. |
| I want to advertise safety. How am I going to advertise safety? | Queremos anunciar segurança. Com devemos anunciar segurança? |
| ( d ) Participants shall at all times restrict outgoing traffic from the workstations to business critical sites , as well as to sites required for legitimate and reasonable software updates . | d ) Os participantes devem a todo o tempo restringir o tráfego dos computadores pessoais ao acesso aos sítios da web essenciais para as suas operações , assim como para actualizações de software lícitas e justificadas . |
| Free software that depends on proprietary software is considered trapped by the Free Software Foundation. | Ver também Software livre Free Software Foundation Compatibilidade de licenças |
| The free software movement also rejects proprietary software, refusing to install software that does not give them the freedoms of free software. | O movimento software livre também rejeita o software proprietário, se recusando a instalar software que não dar lhes as liberdades do software livre. |
| But that's just safety. | Mas isso é somente segurança. |
| Safety margin against deflation | Margem de segurança face à deflação |
| Health and safety assessment | Avaliação do ciclo de vida das notas de euro |
| Health and safety assessment | Avaliação em matéria de saúde e de segurança |
| Farming and Food Safety | A Agricultura e a Higiene dos Alimentos |
| You speak of safety, what safety have we got on the streets in Maputo? | Fala de segurança que segurança o sr tem nas ruas de maputo ? |
| You're critical. | Vocês são críticos. |
| Critical Essays . | Critical Essays . |
| Critical Discourse Analysis Theory and Interdisciplinarity in Critical Discourse Analysis. | Racism in the news a Critical Discourse Analysis of news reporting in two Australian newspapers. |
| Critical The critical reception of the film was generally positive. | Crítica A recepção crítica do filme foi no geral positiva. |
| Application software Application software or Applications are what most people think of when they think of software. | Software aplicativo, que permite ao usuário fazer uma ou mais tarefas específicas. |
| Software Install | Instalação de Software |
| Software Settings | Definições do software |
| Astrology Software | Software de Astrologia |
| Software Center | Centro de Software |
| Software Updates | Programas Atualizações |
| Software Sources | Repositórios de software |
| Software Token | Sinal de Software |
| Software Updater | Atualizador de Software |
| Software 0096 | Software 0096 |
| Software 5901 | Software 5901 |
| Software J002G | Software J002G |
| Software J002F | Software J002F |
| Software HFCM0001 . | Software HFCM0001 . |
| Software minus Version transport B811 , Software minus Version detection EUN112 | Software minus Version transport B811 , Software minus Version detection EUN112 |
| Software minus Version transport B811 Software minus Version detection EUN112 | Software minus Version transport B811 Software minus Version detection EUN112 |
| Free software is sometimes locally called swatantra software in India. | Software livre é às vezes chamado localmente software Swatantra na Índia. |
| This type of software is often called classroom management software. | Proporcionar informação potencialmente útil aos produtores de software educativo. |
| The Free Software Directory This is a listing of software packages that have been verified as free software. | Todos os anos a FSF coleta milhares de atribuições de direitos autorais de desenvolvedores e corporações que trabalham com software livre. |
| Actions Writing and spreading free software The core work of the free software movement focused on software development. | Ações Escrever e espalhar o software livre O trabalho do núcleo no movimento software livre focado em desenvolvimento de software. |
| 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. | 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. |
| You know. What about safety? | Isso é seguro? |
| measures to improve transport safety | Medidas que permitam aumentar a segurança dos transportes |
Related searches : Safety Critical - Safety Software - Mission-critical Software - Safety Critical Element - Safety Critical Equipment - Safety Critical Systems - Safety Critical Applications - Safety Critical Component - Critical To Safety - Safety Critical Parts - Not Critical
