Logo
Unionpedia
Comunicación
Disponible en Google Play
¡Nuevo! ¡Descarga Unionpedia en tu dispositivo Android™!
Gratis
¡Más rápido que el navegador!
 

Precondición

Índice 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).

11 relaciones: Código fuente, Condición, Diseño por contrato, Eiffel (lenguaje de programación), Invariante (informática), Lógica de Hoare, Lenguaje de programación, Método (informática), Postcondición, Subrutina, Trigger (base de datos).

Código fuente

El código fuente de un programa informático (o software) es un conjunto de líneas de texto con los pasos que debe seguir la computadora para ejecutar un cargador.

¡Nuevo!!: Precondición y Código fuente · Ver más »

Condición

Condición puede referirse a.

¡Nuevo!!: Precondición y Condición · 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!!: Precondición y Diseño por contrato · Ver más »

Eiffel (lenguaje de programación)

Eiffel es un lenguaje de programación orientado a objetos que sigue el estándar ISO diseñado por Bertrand Meyer (defensor de los lenguajes orientados a objetos y autor de la construcción de Software Orientado a Objetos) y Software Eiffel.

¡Nuevo!!: Precondición y Eiffel (lenguaje de programación) · Ver más »

Invariante (informática)

En la informática se conoce como invariante a una condición que se sigue cumpliendo después de la ejecución de determinadas instrucciones.

¡Nuevo!!: Precondición e Invariante (informática) · Ver más »

Lógica de Hoare

La lógica de Hoare es un sistema formal desarrollado por C.A.R. Hoare — y posteriormente refinado por otros investigadores — que proporciona a una serie de reglas de inferencia para razonar sobre la corrección de programas imperativos con el rigor de la lógica matemática.

¡Nuevo!!: Precondición y Lógica de Hoare · 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!!: Precondición y Lenguaje de programación · Ver más »

Método (informática)

En la programación, un método es una subrutina cuyo código es definido en una clase y puede pertenecer tanto a una clase, como es el caso de los métodos de clase o estáticos, como a un objeto, como es el caso de los métodos de instancia.

¡Nuevo!!: Precondición y Método (informá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!!: Precondición y Postcondición · Ver más »

Subrutina

En informática, una subrutina o subprograma (también llamada procedimiento, función, rutina o método), como idea general, se presenta como un subalgoritmo que forma parte del algoritmo principal, el cual permite resolver una tarea específica.

¡Nuevo!!: Precondición y Subrutina · Ver más »

Trigger (base de datos)

Un trigger o disparador es un objeto que se asocia con tablas y se almacena en la base de datos.

¡Nuevo!!: Precondición y Trigger (base de datos) · Ver más »

Redirecciona aquí:

Precondicion, Precondiciones.

SalienteEntrante
¡Hey! ¡Ahora tenemos Facebook! »