Task: Language Identification
Input (Spanish, English): 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): es