8 relações: Engenharia de software, Especificação formal, Linguagem de especificação, Métodos formais, Notação de máquina abstrata, Programa de computador, Verificação formal, Z notation.
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 »
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 »
Z notation
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 Z notation · Veja mais »