Publicaciones en las que colabora con LUIS FERNANDO LLANA DÍAZ (13)

2019

  1. Introducing MOOC-like methodologies in a face-to-face undergraduate course: a detailed case study

    Interactive Learning Environments, Vol. 27, Núm. 1, pp. 15-32

2018

  1. An axiomatic semantics for iocos_ conformance relation

    Journal of Logical and Algebraic Methods in Programming, Vol. 100, pp. 152-184

2015

  1. Extending mCRL2 with ready simulation and iocos input-output conformance simulation

    Proceedings of the ACM Symposium on Applied Computing

2014

  1. Effectiveness for input output conformance simulation iocos

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. FLOP: A user-friendly system for automated program assessment

    Journal of Universal Computer Science, Vol. 20, Núm. 9, pp. 1304-1326

2013

  1. Input-output conformance simulation (iocos) for model based testing

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2012

  1. FLOP, a free laboratory of programming

    Proceedings - 12th Koli Calling International Conference on Computing Education Research, Koli Calling 2012

2009

  1. Correctores automáticos de programas: implantación realista en la docencia universitaria

    Actas del II Seminario de Investigación en Tecnologías de la Información: SITIAE 2008

2002

  1. A system to generate electronic books on programming exercises

    Electronic Library, Vol. 20, Núm. 4, pp. 314-321

  2. Ejercicios de programación: creativos y recreativos con C++

    Pearson Educación

2001

  1. EXercita - A System for Archiving and Publishing Programming Exercises

    Computers and Education: towards an Interconnected Society

  2. EXercita: Automatic web publishing of programming exercises

    Proceedings of the Conference on Integrating Technology into Computer Science Education, ITiCSE

2000

  1. EXERCITA: una base de datos de material para prácticas de programación

    VI Jornadas sobre la Enseñanza Universitaria de la Informática: JENUI 2000 : Libro de Comunicaciones