Logotipo
Unionpédia
Comunicação
Disponível no Google Play
Novo! Faça o download do Unionpédia em seu dispositivo Android™!
Livre
Acesso mais rápido do que o navegador!
 

Especificação de programa

Índice Especificação de programa

Uma especificação de programa é a definição do que se espera que um programa de computador faça.

8 relações: Engenharia de software, Especificação formal, Linguagem de especificação, Métodos formais, Notação de máquina abstrata, Notação Z, Programa de computador, Verificação formal.

Engenharia de software

acessodata.

Novo!!: Especificação de programa e Engenharia de software · Veja mais »

Especificação formal

Uma especificação formal é uma descrição matemática de software ou de hardware que pode ser utilizada para desenvolver uma implementação dos mesmos.

Novo!!: Especificação de programa e Especificação formal · Veja mais »

Linguagem de especificação

Uma linguagem de especificação é uma linguagem formal usada na ciência da computação.

Novo!!: Especificação de programa e Linguagem de especificação · Veja mais »

Métodos formais

Na ciência da computação e engenharia de software, métodos formais são técnicas baseadas em formalismos matemáticos para a especificação, desenvolvimento e verificação dos sistemas de softwares e hardwares.

Novo!!: Especificação de programa e Métodos formais · Veja mais »

Notação de máquina abstrata

Notação de máquina abstrata (NMA) é uma especificação de linguagem e linguagem de programação (abstrata) para especificar máquina abstratas no Método-B, baseada na teoria matemática das Substituições generalizadas.

Novo!!: Especificação de programa e Notação de máquina abstrata · Veja mais »

Notação Z

A notação Z (pronunciada zɛd), nomeada dos Axiomas de Zermelo-Fränkel, é uma linguagem de especificação formal usada para descrever e modelar sistemas computacionais.

Novo!!: Especificação de programa e Notação Z · Veja mais »

Programa de computador

Um programa de computador ou programa informático é um conjunto de instruções que descrevem uma tarefa a ser realizada por um computador.

Novo!!: Especificação de programa e Programa de computador · Veja mais »

Verificação formal

Verificação formal é a prova matemática da conformidade de um algoritmo a certa especificação formal ou propriedade, usando métodos formais.

Novo!!: Especificação de programa e Verificação formal · Veja mais »

Redireciona aqui:

Especificação de Programa, Especificação de programas.

CessanteEntrada
Ei! Agora estamos em Facebook! »