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. Se cumple tanto antes como después de estas instrucciones, 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 una 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
Programm zur automatischen Verifikation (en alemán)
Datos:Q385374
Agosto 04, 2021
invariante, informática, informática, conoce, como, invariante, condición, sigue, cumpliendo, después, ejecución, determinadas, instrucciones, cumple, tanto, antes, como, después, estas, instrucciones, permaneciendo, variación, ello, denomina, invariante, inva. En la informatica se conoce como invariante a una condicion que se sigue cumpliendo despues de la ejecucion de determinadas instrucciones Se cumple tanto antes como despues de estas instrucciones permaneciendo sin variacion 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 diseno por contrato En estos casos se describen las precondiciones postcondiciones e invariantes para un metodo de una interfaz Este concepto se puede implementar con la ayuda de aserciones siempre y cuando el lenguaje de programacion o la API los soporte Enlaces externos EditarProgramm zur automatischen Verifikation en aleman Datos Q385374Obtenido de https es wikipedia org w index php title Invariante informatica amp oldid 117442993, wikipedia, wiki, leyendo, leer, libro, biblioteca,
