Task: Paper Review
Input (Spanish, English): Review_1: El artículo realiza una reflexión sobre el estado actual y las posibles proyecciones de los métodos formales en el desarrollo de software.  Si bien la idea de realizar tal reflexión tiene un potencial interesante, el artículo queda corto en dos aspectos claves:  1. Hay muchísimas aseveraciones hechas en el documento que no tienen citas bibliográficas que las respalden, ni tampoco se desprenden de una deducción lógica a partir de premisas anteriores. Esto resta significativamente a la validez de los argumentos presentados. 2. Todas las aseveraciones presentadas en el documento que, según se interpreta, los autores quieren presentar como propias, son en realidad, problemas ampliamente conocidos en el área de métodos formales.  En resumen, el artículo no provee aseveraciones con evidencia suficiente o una línea argumentativa sólida, ni tampoco provee aseveraciones originales.  Por esos motivos considero que el artículo no es apto para ser publicado. Review_2: De acuerdo con la convocatoria, Infonor-Chile acepta reportes de trabajos de investigación en temas de interés en computación y tecnologías de la información y sus aplicaciones; el artículo presenta una reflexión, desde el punto de vista del autor (en algunos casos sustentado en citas bibliográficas), sobre los desafíos de los Métodos Formales en el ámbito de la Ingeniería de Software, sin embargo no ofrece aportes sustentados en algún tipo de validación, más que la opinión del autor sobre las oportunidades y desafíos de dicha área; incluso la revisión bibliográfica no ofrece evidencia de haber utilizado un proceso formal (p.e. revisión sistemática) para sustentar la reflexión propuesta.  Me parece que como trabajo de "divulgación" es muy interesante, pero como reporte de "investigación" es limitado. 
Output (English): reject