Verificación y validación de consecuencia lógica en requisitos basados en procesos de análisis de lenguaje natural.

Cholele, Amalia Nancy

Verificación y validación de consecuencia lógica en requisitos basados en procesos de análisis de lenguaje natural. - San Salvador de Jujuy : Universidad Nacional. Facultad de Ingeniería, 2012. - 127 p. : il. ; 30 cm

Bibliografía en p.124-127.


Informática
Lenguajes naturales
Lógica
Prolog
Proyecto final informática


Proyecto

043