Uso de Técnicas de Aprendizaje para la Validación de Especificaciones

摘要

En este artículo abordamos el proceso de valida-ciónde especificaciones preliminares escritas en lenguaje natural desde una nueva perspectiva: el uso de técnicasde aprendizaje automático. Describimos un sistema que a partir de ejemplos de especificaciones correctas construye o refina un modelo que nos permitirá validar nuevas especificaciones.