¿Estan obsoletas las espeficicaciones formales?
En mis largos años de desarrollo de software y de herramientas especializadas, he visto cómo el arte de realizar las especificaiones formales ha ido desapareciendo. Recomiendo este artículo de la Revista Informática, en donde Leslie Lamport (investigador de Microsoft y creador de TLA+) e refiere al tema: http://www.informatica.cl/SPR3/spirou.php?opcion=Articulo&id=192