La especificacion formal es un area de investigacion activa en la ingenieria de software de este siglo, en la que se aplica en diversas configuraciones y tecnicas, y aunque su uso industrial todavia es limitado, la comunidad cientifica tiene actualmente una comprension diferente acerca de su utilidad y necesidad. Hasta el momento el trabajo de los investigadores se focaliza en la especificacion escrita durante el diseno del modelo funcional preliminar, por lo que se centra principalmente en evaluar las herramientas relacionadas. En este trabajo se realiza una revision a la literatura, se hace un recorrido por la esencia, la funcion, el uso y los inconvenientes de las tecnicas de especificacion formal y se analizan algunos criterios de valoracion y de evaluacion a sus debilidades. Los resultados se convierten en la base para formular trabajos futuros, con el objetivo de buscar que la especificacion formal se afiance como actividad basica de investigacion. Palabras clave: Tecnicas formales, especificacion formal, metodos formales, ciencias computacionales, ingenieria de software.