Invariante (informática)

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 determinados comandos. Se cumple tanto antes como después de estos comandos, permaneciendo sin variación, por ello se denomina invariante. Las invariantes se pueden utilizar para demostrar el buen funcionamiento de algoritmos y cumplen con un papel importante en el diseño por contrato. En estos casos se describen las precondiciones, postcondiciones e invariantes para un método de un interfaz. Este concepto se puede implementar con la ayuda de aserciones, siempre y cuando el lenguaje de programación o la API los soporte.

Enlaces externos


Wikimedia foundation. 2010.

Игры ⚽ Поможем сделать НИР

Mira otros diccionarios:

  • Invariante — En matemáticas, invariante es algo que no cambia al aplicarle un conjunto de transformaciones. Más formalmente una entidad se considera invariante bajo un conjunto de transformaciones si la imagen transformada de la entidad es indistinguible de… …   Wikipedia Español

  • Método (informática) — En la programación orientada a objetos, un método es una subrutina asociada exclusivamente a una clase (llamados métodos de clase o métodos estáticos) o a un objeto (llamados métodos de instancia). Análogamente a los procedimientos en los… …   Wikipedia Español

  • Árbol de expansión — Un árbol de expansión (aristas azules gruesas) de un grafo de rejilla. En el campo matemático de la teoría de grafos, un árbol de expansión T de un grafo conexo, no dirigido G es un árbol compuesto por todos los vértices y algunas (quizá todas)… …   Wikipedia Español

  • David Hilbert — Nacimiento 23 de enero de 1862 Königsberg, Prusia Oriental Fallecimiento 14 de febrero de …   Wikipedia Español

  • IIR — es una sigla en inglés para Infinite Impulse Response o Respuesta infinita al impulso. Se trata de un tipo de filtros digitales en el que, como su nombre indica, si la entrada es una señal impulso, la salida tendrá un número infinito de términos… …   Wikipedia Español

  • Objeto (programación) — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar …   Wikipedia Español

  • Robert W. Floyd — Saltar a navegación, búsqueda Robert W Floyd (8 de junio de 1936 25 de septiembre de 2001) fue un prominente científico estadounidense en informática. Nacido en Nueva York, Floyd culminó bachillerato a los 14 años. Se graduó en la Universidad de… …   Wikipedia Español

  • Simulación por eventos discretos — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar …   Wikipedia Español

  • Processus de traduction — On entend par processus de traduction tout processus, y compris non verbal, qui mène un texte de départ à son actualisation dans le même code ou dans un code différent (texte d’arrivée). Dans la chaîne de communication, il représente la phase de… …   Wikipédia en Français

Compartir el artículo y extractos

Link directo
… Do a right-click on the link above
and select “Copy Link”