16 relaciones: Assert.h, C (lenguaje de programación), C++, C. A. R. Hoare, Clase (informática), Depuración de programas, Desarrollo guiado por pruebas, Diseño por contrato, Eiffel (lenguaje de programación), Id est, Java (lenguaje de programación), Lógica de primer orden, Postcondición, Precondición, Preprocesador, Programación.
Assert.h
assert.h es un archivo de cabecera de la biblioteca estándar del Lenguaje de programación C, en el que se define la macro de depuración assert (aserción, en español), que implementa una aserción (test), usada para comprobar suposiciones en el programa: Esta macro se expande como un bloque "if", en el que se comprueba la condición 'test' y, dependiendo de si es o no verdadera, puede abortar el programa.
¡Nuevo!!: Aserción (informática) y Assert.h · Ver más »
C (lenguaje de programación)
C es un lenguaje de programación de propósito general originalmente desarrollado por Dennis Ritchie entre 1969 y 1972 en los Laboratorios Bell, como evolución del anterior lenguaje B, a su vez basado en BCPL.
¡Nuevo!!: Aserción (informática) y C (lenguaje de programación) · Ver más »
C++
C++ es un lenguaje de programación diseñado en 1979 por Bjarne Stroustrup.
¡Nuevo!!: Aserción (informática) y C++ · Ver más »
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!!: Aserción (informática) y C. A. R. Hoare · Ver más »
Clase (informática)
En informática, una clase es una plantilla para el objetivo de la creación de objetos de datos según un modelo predefinido.
¡Nuevo!!: Aserción (informática) y Clase (informática) · Ver más »
Depuración de programas
La depuración de programas es el proceso de identificar y corregir errores de programación.
¡Nuevo!!: Aserción (informática) y Depuración de programas · Ver más »
Desarrollo guiado por pruebas
Desarrollo guiado por pruebas de software, o Test-driven development (TDD) es una práctica de ingeniería de software que involucra otras dos prácticas: Escribir las pruebas primero (Test First Development) y Refactorización (Refactoring).
¡Nuevo!!: Aserción (informática) y Desarrollo guiado por pruebas · 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!!: Aserción (informática) 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!!: Aserción (informática) y Eiffel (lenguaje de programación) · Ver más »
Id est
Id est es una expresión latina que significa ‘esto es’, cuya abreviatura i.e. es muy usada en definiciones matemáticas y demostraciones de teoremas, lemas y corolarios.
¡Nuevo!!: Aserción (informática) e Id est · Ver más »
Java (lenguaje de programación)
Java es un lenguaje de programación y una plataforma informática que fue comercializada por primera vez en 1995 por Sun Microsystems.
¡Nuevo!!: Aserción (informática) y Java (lenguaje de programación) · 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!!: Aserción (informática) y Lógica de primer orden · 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!!: Aserción (informática) 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!!: Aserción (informática) y Precondición · Ver más »
Preprocesador
Un preprocesador es un programa separado que es invocado por el compilador antes de que comience la traducción real.
¡Nuevo!!: Aserción (informática) y Preprocesador · Ver más »
Programación
La programación es el proceso de crear un conjunto de instrucciones que le dicen a una computadora como realizar algún tipo de tarea.
¡Nuevo!!: Aserción (informática) y Programación · Ver más »
Redirecciona aquí:
Asercion (informatica), Asercion (informática), Asercion (programacion), Asercion (programación), Aserción (informatica), Aserción (programación).