BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa