La notación Z (formalmente zɛd ), nombrada después de la teoría determinada de Zermelo-Fränkel, es una lengua de especificación formal usada para describir y modelar sistemas de cálculo. Se apunta en la especificación clara de los programas de computadora y la formulación de pruebas sobre el comportamiento de programa previsto.
Z fue propuesto original por el Jean-Raymond Abrial en 1977 con la ayuda de Steve Schuman y el Beltrán Meyer . Fue desarrollado más lejos en el grupo de investigación programado en la Universidad de Oxford, en donde Abrial trabajó en los años ochenta tempranos.
Z se basa en la notación matemática estándar usada en la teoría determinada axiomática, el cálculo de la lambda, y la lógica de predicado de primer orden . Todas las expresiones en la notación de Z se mecanografían, de tal modo evitando algunas de las paradojas de la teoría determinada ingenua . Z contiene un catálogo estandardizado (llamado el el juego de herramientas matemático ) de funciones matemáticas y de predicados de uso general.
Aunque la notación de Z utilice muchos símbolos non- ASCII, la especificación incluye las sugerencias para rendir los símbolos de la notación de Z en el ASCII y en el látex .
Un recurso valioso para los recién llegado interesados en el aprendizaje de Z es la notación de Z: un manual.N-POS=30 de referencia.
La notación de Z fue utilizada en el proyecto del CICS de IBM .
Estándares
La ISO terminó un esfuerzo de estandardización de Z en 2002. Este estándar, dado derecho &ndash de la tecnología de la información del ; &ndash de la notación de la especificación formal de Z; El sintaxis, el tipo sistema y la semántica, 13568:2002 de ISO/IEC, se pueden obtener directo de la ISO.zip, 1 pdf del MB, 196 páginas
Ver también
Z++Objeto-z
Grupo de usuario Z (ZUG)
La comunidad Z filetea proyecto de (CZT)
Métodos formales
B-Método
.
| Random links: | Paula Yates | Reina (tarjeta que juega) | Liberación de la gente revolucionaria Partido-Delantera | Aquagirl | Marioneta de mano |