Verificación automática del comportamiento activo de uml usando métodos formales

Tesis doctoral de Beato Gutiérrez María Encarnación El lenguaje unificado de modelado (uml) posee ventajas incuestionables como técnica visual de […]

, , , , ,