Berrocal Rojas, Allan Francisco2023-08-172023-08-172009https://repositorio.sibdi.ucr.ac.cr/handle/123456789/19884Tesis (magister scientiae en computación e informática)--Universidad de Costa Rica. Sistema de Estudios de Posgrado, 2009spaAVIACIONPROCESAMIENTO DEL LENGUAJE NATURAL (CIENCIAS DE LA COMPUTACION)PROGRAMAS PARA COMPUTADORAAutomatización parcial de la revisión de aspectos de precisión, no-ambiguedad y verificabilidad en requerimientos de software escritos en lenguaje naturaltesis de maestría