Home > Terms > Portuguese, Brazilian (PB) > prova de correção
prova de correção
(1) Uma técnica formal usada para provar matematicamente que um programa de computador satisfaz sua requirements.~(2) especificado uma prova que resulta da aplicação da técnica (1).
- Part of Speech: noun
- Synonym(s):
- Blossary:
- Industry/Domain: Computer; Software
- Category: Software engineering
- Organization: IEEE Computer Society
- Product:
- Acronym-Abbreviation:
Other Languages:
Member comments
Terms in the News
Billy Morgan
Sports; Snowboarding
Snowboarder britânico Billy Morgan aterrou o primeiro alguma vez 1800 cortiça quádruplo do esporte. o piloto, que representou a Grã-Bretanha nos Jogos Olímpicos de inverno em Sochi 2014, foi em Livigno, Itália, quando ele alcançou a manobra. Envolve lançando quatro vezes, enquanto o corpo gira também cinco rotações completas sobre um eixo lateralmente ou virado ...
Marzieh Afkham
Broadcasting & receiving; News
Marzieh Afkham, a primeira porta-voz do Ministério das Relações Internacionais do país, vai liderar uma missão no leste da Ásia, informou a agência de notícias do Estado. Não está claro para qual país ela será enviada, uma vez que sua nomeação ainda não foi anunciada oficialmente. Afkham será a segunda embaixadora que o Irã já teve. Sob o domínio do último ...
Pacote semanal
Language; Online services; Slang; Internet
Semanal pacote ou "Paquete Semanal" como é conhecido em Cuba é um termo usado pelos cubanos para descrever as informações coletadas de internet fora de Cuba e salvos em unidades de disco rígido para ser transportado na própria Cuba. Pacotes semanais são depois vendidos para o cubano sem acesso à internet, permitindo-lhes obter informações poucos dias - e às vezes ...
Banco de investimento de infra-estrutura Asiático (AIIB)
Banking; Investment banking
O Banco Asiático de investimento infra-estrutura (AIIB) é uma instituição financeira internacional criada para atender à necessidade da Ásia para o desenvolvimento de infra-estrutura. De acordo com o Banco Asiático de desenvolvimento, Ásia precisa de US $ 800 bilhões anualmente para estradas, portos, usinas de energia ou outros projetos de infra-estrutura antes de ...
Espartano
Online services; Internet
Spartan é o nome de código dado para o novo navegador da Microsoft Windows 10 que irá substituir o Microsoft Windows Internet Explorer. o novo navegador será construído do chão e desconsiderar qualquer código da plataforma IE. Tem um novo motor de renderização que é construído para ser compatível com como a web é escrito hoje. o ...
Featured Terms
Festival de cinema de Cannes
Fundada em 1946, O Festival de Cannes é um dos festivais de cinema mais antigas e prestigiadas do mundo que inspeciona e mostruários novos filmes de ...
Contributor
Featured blossaries
Browers Terms By Category
- Action toys(4)
- Skill toys(3)
- Animals & stuffed toys(2)
- Educational toys(1)
- Baby toys(1)
Toys and games(11) Terms
- Manufactured fibers(1805)
- Fabric(212)
- Sewing(201)
- Fibers & stitching(53)
Textiles(2271) Terms
- Alcohol & Hydroxybenzene & Ether(29)
- Pigments(13)
- Organic acids(4)
- Intermediates(1)
Organic chemicals(47) Terms
- Authors(2488)
- Sportspeople(853)
- Politicians(816)
- Comedians(274)
- Personalities(267)
- Popes(204)
People(6223) Terms
- Social media(480)
- Internet(195)
- Search engines(29)
- Online games(22)
- Ecommerce(21)
- SEO(8)