17 relaciones: Cambridge University Press, Cálculo lambda, ERZ, Especificación formal, Guatemala, Ingeniería de software, Invariante, Jean-Raymond Abrial, Jonathan Bowen, Lógica de primer orden, Lenguaje de especificación, Lenguaje de programación, Lenguaje formal, Microsoft Word, Organización Internacional de Normalización, Teoría de conjuntos, Universidad de Oxford.
Cambridge University Press
Cambridge University Press (conocida en inglés coloquialmente como CUP) es una editorial que recibió su Royal Charter de la mano de Enrique VIII en 1534, y es considerada una de las dos editoriales privilegiadas de Inglaterra (la otra es la Oxford University Press).
¡Nuevo!!: Lenguaje Z y Cambridge University Press · Ver más »
Cálculo lambda
En lógica matemática, el cálculo lambda es un sistema formal diseñado para investigar la definición de función, la noción de aplicación de funciones y la recursión.
¡Nuevo!!: Lenguaje Z y Cálculo lambda · Ver más »
ERZ
ERZ es un proyecto que busca la integración entre diferentes paradigmas de especificación.
¡Nuevo!!: Lenguaje Z y ERZ · Ver más »
Especificación formal
Una especificación formal usa notación matemática para describir de manera precisa las propiedades que un sistema de información debe tener, sin preocuparse por la forma de obtener dichas propiedades.
¡Nuevo!!: Lenguaje Z y Especificación formal · Ver más »
Guatemala
Guatemala (del náhuatl Cuauhtemallan, ‘lugar de muchos árboles’); oficialmente la República de Guatemala, es un país soberano situado en el extremo noroccidental de América Central, de acuerdo con su constitución, su forma de gobierno consiste en una república democrática, laica y representativa para su administración en 22 departamentos y 340 municipios, los cuales están organizados en 8 regiones administrativas.
¡Nuevo!!: Lenguaje Z y Guatemala · Ver más »
Ingeniería de software
La Ingeniería de Software es una de las ramas de las ciencias de la computación que estudia la creación de software confiable y de calidad, basándose en métodos y técnicas de ingeniería, y brindando soporte operacional y de mantenimiento.
¡Nuevo!!: Lenguaje Z e Ingeniería de software · Ver más »
Invariante
Invariante es algo que no cambia al aplicarle un conjunto de transformaciones.
¡Nuevo!!: Lenguaje Z e Invariante · Ver más »
Jean-Raymond Abrial
Jean-Raymond Abrial (noviembre de 1938) es un informático francés, inventor de los métodos formales Z y B.
¡Nuevo!!: Lenguaje Z y Jean-Raymond Abrial · Ver más »
Jonathan Bowen
Jonathan P. Bowen FBCS FRSA (1956) es un informático británico.
¡Nuevo!!: Lenguaje Z y Jonathan Bowen · Ver más »
Lógica de primer orden
Una lógica de primer orden, también llamada lógica predicativa, lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.
¡Nuevo!!: Lenguaje Z y Lógica de primer orden · Ver más »
Lenguaje de especificación
En el contexto de la ingeniería eléctrica, la computación y ramas afines, un lenguaje de especificación o lenguaje de descripción es un lenguaje formal o semi-formal cuya función es construir modelos de los sistemas que se desea elaborar.
¡Nuevo!!: Lenguaje Z y Lenguaje de especificación · Ver más »
Lenguaje de programación
Un lenguaje de programación es un lenguaje formal (o artificial, es decir, un lenguaje con reglas gramaticales bien definidas) que proporciona a una persona, en este caso el programador, la capacidad y habilidad de escribir (o programar) una serie de instrucciones o secuencias de órdenes en forma de algoritmos con el fin de controlar el comportamiento físico o lógico de un sistema informático, para que de esa manera se puedan obtener diversas clases de datos o ejecutar determinadas tareas.
¡Nuevo!!: Lenguaje Z y Lenguaje de programación · Ver más »
Lenguaje formal
En matemáticas, lógica y ciencias de la computación, un lenguaje formal es un lenguaje cuyos símbolos son primitivos y las reglas para unir esos símbolos están formalmente especificadas.
¡Nuevo!!: Lenguaje Z y Lenguaje formal · Ver más »
Microsoft Word
Microsoft Word es un software de tratamiento de textos.
¡Nuevo!!: Lenguaje Z y Microsoft Word · Ver más »
Organización Internacional de Normalización
La Organización Internacional de Normalización (llamada en ocasiones: Organización Internacional de Estandarización; conocida por el acrónimo ISO) es una organización para la creación de estándares internacionales compuesta por diversas organizaciones nacionales de normalización.
¡Nuevo!!: Lenguaje Z y Organización Internacional de Normalización · Ver más »
Teoría de conjuntos
La teoría de conjuntos es una rama de laNlab lógica matemática que estudia las propiedades y relaciones de los conjuntos: colecciones abstractas de objetos, consideradas como objetos en sí mismas.
¡Nuevo!!: Lenguaje Z y Teoría de conjuntos · Ver más »
Universidad de Oxford
La Universidad de Oxford es una universidad pública de investigación ubicada en Oxford, Inglaterra, Reino Unido.
¡Nuevo!!: Lenguaje Z y Universidad de Oxford · Ver más »