Code Time

Es bien sabido que la programación y el desarrollo de software es parte de la ciencia de la computación. Además se puede asegurar que una buena parte de estas disciplinas está basado en la matemática y la lógica. Si juntamos todas estas cosas llegamos finalmente a los métodos formales, tema que normalmente suele ser ignorado. ¿Cual es la razón por la que no se le da importancia? Muchas veces esto se debe a una mala formación o al deseo de un progreso acelerado. Aún así su utilidad es innegable. Los métodos formales, entre otras cosas, para demostrar ciertas propiedades que debe cumplir un programa o implementación. Tienen como objetivo establecer una base bien formada sobre la cual se pueden sacar conclusiones sin ambigüedades. Uno de los usos comunes es a la hora de establecer propiedades que debe cumplir una estructura o programa a lo largo de su vida útil. A esto se lo suele llamar invariante. Si, por ejemplo, tenemos una lista de la cual queremos eliminar el primer elemento es lógico pedir que antes de re