Lenguaje Z
Lenguaje de especificación formal / De Wikipedia, la enciclopedia encyclopedia
Estimado Wikiwand AI, Seamos breves simplemente respondiendo estas preguntas clave:
¿Puede enumerar los principales datos y estadísticas sobre Lenguaje Z?
Resumir este artículo para un niño de 10 años
El Lenguaje Z es un lenguaje de especificación formal utilizado en ingeniería del software para la especificación formal de sistemas de información, como una fase previa al desarrollo del código de programa para el mismo en un lenguaje de programación. Fue desarrollado por Jean-Raymond Abrial mientras formaba parte del Grupo de investigación en Programación del Laboratorio de computación de la Universidad de Oxford.[1]
El lenguaje Z se basa en la teoría de conjuntos, el cálculo lambda y la lógica de primer orden. En Z se definen construcciones denominadas esquemas para describir el espacio de estados del sistema y las operaciones que sobre el mismo se efectúan. En los esquemas se declaran variables y predicados que afectan los valores de las variables declaradas.[2]