Una especificación de programa del es la definición de un qué programa de computadora se espera hacer. Puede ser el informal, en este caso puede ser considerado como un modelo o manual del usuario desde un punto de vista del revelador, o el formal del, en este caso hace un significado definido definir en el matemático o los términos programáticos. En la práctica, la mayoría de las especificaciones acertadas se escriben para entender y para fine-tune los usos que estaban ya bien desarrollados, aunque los sistemas informáticos Seguridad-críticos a menudo se especifiquen cuidadosamente antes del desarrollo de aplicaciones. Las especificaciones son las más importantes para los interfaces externos que deben seguir siendo estables.
Ver también
métodos formales
Verificación formal En el contexto de los sistemas informáticos del soporte físico y, la verificación formal es el acto de probar o de refutar la corrección de los algoritmos previstos que son la base de un sistema con respecto a una cierta especificación formal o característica, usar métodos formales de matemáticas.
Especificación formal
Transformación de programa
Semántica indicativa
Semántica operacional
Semántica axiomática
Diseño por el contrato
Notación (AMN) de la máquina abstracta
Método (VDM) del desarrollo de Viena
Notación Z
Ingeniería de programas informáticos
Lengua de especificación
Especificación de programación del lenguaje
Refinamiento del programa
.
| Random links: | Dennis la amenaza (Reino Unido) | Juan II de Portugal | Río de Puyallup | Mármoles (álbum) | Nines de la liga del rugbi |