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 realizar la operación la lista tenga al menos un elemento y luego de aplicarla tenga un elemento menos que antes, además del hecho de que el elemento faltante sea realmente el primero. Esto que a priori podría parecer trivial forma parte del invariante de la operación.
De esta manera podríamos llevar esto a escalas que un ser humano no puede manejar mentalmente. Si consideramos que no podemos retenerlo menos podemos garantizar que algo alguna propiedad se cumple. Así pues ya podemos ver certas utilidades, que cabe destacar no son ni la punta del iceberg.
El objetivo de este programa es dar una muy breve introducción al tema dejando al escucha la tarea de investigación. Existe mucha documentación al respecto. Ya sin más damos comienzo a este nuevo episodio de Script Time, no sin antes olvidar recordarles que pueden sugerir temas que les interesen. Ahora sí comencemos...
**********************************
App de iOS: https://itunes.apple.com/us/app/code-time/id1435749618

**********************************

Para Contribuir
PAYPAL : davidgiordana@hotmail.com.ar
PATREON: https://www.patreon.com/codetime

**********************************

Curso completo de desarrollo en Swift 4 desde cero
https://www.udemy.com/curso-completo-de-swift-4-desde-cero/?couponCode=YOUTUBE_1

Curso de desarrollo de aplicaciones para iOS 11 desde cero
https://www.udemy.com/desarrollo-de-aplicaciones-para-ios-11-desde-cero/?couponCode=YOUTUBE_1

**********************************
Medios de contacto:
Twitter / Telegram: @DavidGiordana
Correo Electrónico: davidgiordana0@gmail.com
Grupo en Telegram: https://t.me/joinchat/C-YEzBGu5Jh-mu8ejM2toA

**********************************

Medios de Contacto

CANAL DE TELEGRAM: https://telegram.me/Code_Time
PODCAST: https://goo.gl/QUximq
ITUNES: https://goo.gl/XmDjX2

**********************************
Canciones Utilizadas

OP:
A Himitsu - Adventures: youtu.be/8BXNwnxaVQE

ED:
See You Tomorrow by GoSoundtrack http://www.gosoundtrack.com/
Music provided by Audio Library https://youtu.be/idlqqMHd0W4