Tesis doctoral realizada en el Departamento de Informática de la Universidad de Oviedo