Buscar
Mostrando publicaciones 1-1 de 1
Traductor para especificaciones de requisitos basado en tipo abstracto de datos
(Universidad Católica del Maule, Facultad de Ciencias de la Ingeniería, 2004)
Los métodos formales de especificación cuentan con una base matemática que permite
disminuir inconsistencias, ambigüedades e incompletitudes en la etapa de especificación de
requisitos de un software, evitando así el ...