Avendaño Díaz, Pamela (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 ...