Método formal de modelización conceptual para sistemas software - Natalia Juristo Juzgado (Director) Doctorando: Ana María Moreno Sánchez-Capuchino (1998)