linguagem de requisitos formais

linguagem de requisitos formais

Uma língua artificial usada para representar um requisito de software. Requisitos de formal resultante podem ser comprovados "corretos" através de métodos de prova de regularidade. Também conhecido como linguagem de requisitos verificáveis.

This is auto-generated content. You can help to improve it.

0 0

Improve it

Add an image

Part of Speech: noun
Synonym(s):
Blossary:
Industry/Domain: Computer; Software
Category: Software engineering
Organization: IEEE Computer Society
Product:
Acronym-Abbreviation:

Collect to Blossary

Other Languages:

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 ...