La especificación formal en contexto: actual y futuro

espanolLa 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 EnglishFormal specification is an active research field in software engineering of this century, where different configurations and techniques are employed and although their industrial use is still limited, the scientific community currently has a different understanding about its usefulness and necessity. Until present time, researchers� work focuses on the specification written during the design of the preliminary functional model, for this reason it mainly focuses on evaluating the related tools. In this paper, a literature review is performed, covering the essence, function, use and disadvantages of formal specification techniques and some assessment and evaluation criteria are analyzed regarding their weaknesses. The results become the basis for future work formulation, aimed to the strengthening of formal specification as a core research activity