Now showing items 1-1 of 1

  • Traductor para especificaciones de requisitos basado en tipo abstracto de datos 

    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 ...