11 relaciones: C. A. R. Hoare, Diseño por contrato, Lógica matemática, Postcondición, Precondición, Programación imperativa, Robert W. Floyd, Semántica de transformación de predicados, Sistema formal, Verificación formal, 1969.
C. A. R. Hoare
Charles Antony Richard Hoare (Colombo, Sri Lanka, 11 de enero de 1934), también conocido familiarmente como Tony Hoare, es un científico británico en computación.
¡Nuevo!!: Lógica de Hoare y C. A. R. Hoare · Ver más »
Diseño por contrato
El diseño por contrato es una metodología para el diseño e implementación de aplicaciones y componentes popularizada por el lenguaje de programación Eiffel.
¡Nuevo!!: Lógica de Hoare y Diseño por contrato · Ver más »
Lógica matemática
La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal o logística, es el estudio formal y simbólico de la lógica, y su aplicación a algunas áreas de la matemática y la ciencia.
¡Nuevo!!: Lógica de Hoare y Lógica matemática · Ver más »
Postcondición
En programación, una postcondición es una condición o predicado lógico que siempre debe cumplirse justamente después de la ejecución de una sección de código o de una operación (especificación formal).
¡Nuevo!!: Lógica de Hoare y Postcondición · Ver más »
Precondición
Una precondición es una condición que ha de satisfacerse justo antes del comienzo de la ejecución de una porción de código (normalmente un subprograma o método).
¡Nuevo!!: Lógica de Hoare y Precondición · Ver más »
Programación imperativa
En ciencias de la computación se denomina programación imperativa a un paradigma de programación de software que utiliza fórmulas que alteran el estado de un programa.
¡Nuevo!!: Lógica de Hoare y Programación imperativa · Ver más »
Robert W. Floyd
Robert W. Floyd (8 de junio de 1936 - 25 de septiembre de 2001) fue un prominente científico estadounidense en informática.
¡Nuevo!!: Lógica de Hoare y Robert W. Floyd · Ver más »
Semántica de transformación de predicados
La semántica de transformación de predicados es una extensión de Lógica de Floyd-Hoare ideada por Edsger Dijkstra y extendida y refinada por otros investigadores.
¡Nuevo!!: Lógica de Hoare y Semántica de transformación de predicados · Ver más »
Sistema formal
Un sistema formal o sistema lógico es un sistema abstracto compuesto por un lenguaje formal, axiomas, reglas de inferencia y a veces una semántica formal, que se utiliza para deducir o demostrar teoremas y dar una definición rigurosa del concepto de demostración.
¡Nuevo!!: Lógica de Hoare y Sistema formal · Ver más »
Verificación formal
La verificación formal, en ingeniería y en computación, es un método de validación estática (se valida a través del propio código del programa, a partir de una abstracción o de una representación simbólica) en el que, partiendo de un conjunto axiomático, reglas de inferencia y algún lenguaje lógico (como la lógica de primer orden), se puede encontrar una demostración o prueba de corrección de un programa, algoritmo, etc, aunque también se puede encontrar su refutación.
¡Nuevo!!: Lógica de Hoare y Verificación formal · Ver más »
1969
1969 fue un año común comenzado en miércoles según el calendario gregoriano.
¡Nuevo!!: Lógica de Hoare y 1969 · Ver más »