The present proposal concentrates on theory while the previous one aimed at a combination of theory and software development.