Departamento
Sistemas Informáticos y Computación
Publicaciones (16) Publicaciones en las que ha participado algún/a investigador/a
2016
-
A System to Manage Non-Formal Higher Education Activities
Revista Iberoamericana de Tecnologias del Aprendizaje, Vol. 11, Núm. 3, pp. 205-212
-
A formal verification framework for static analysis: As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY
Software and Systems Modeling, Vol. 15, Núm. 4, pp. 987-1012
-
A system to manage grammatical level tests in the context of language schools
Journal of Cases on Information Technology, Vol. 18, Núm. 4, pp. 53-69
-
Aprendiendo a hacer presentaciones efectivas en inglés con BusinessApp
RIED: revista iberoamericana de educación a distancia, Vol. 19, Núm. 1, pp. 41-61
-
Concepto de lugar geométrico. Génesis de utilización personal y profesional con distintas herramientas
Bolema - Mathematics Education Bulletin, Vol. 30, Núm. 54, pp. 67-94
-
Cost-related interface for software product lines
Journal of Logical and Algebraic Methods in Programming, Vol. 85, Núm. 1, pp. 227-244
-
Debate sobre un proyecto para España
Temas para el debate, Núm. 256, pp. 38-52
-
El aprendizaje de lenguas extranjeras mediante tecnología móvil en el contexto de la educación a distancia y combinada
RIED: revista iberoamericana de educación a distancia, Vol. 19, Núm. 1, pp. 25-40
-
Encoding Bigraphical Reactive Systems into Graph Transformation Systems
Electronic Notes in Discrete Mathematics, Vol. 55, pp. 207-210
-
Evaluation of properties over phylogenetic trees using stochastic logics
BMC Bioinformatics, Vol. 17, Núm. 1
-
La corrupción, cáncer de la democracia
Temas para el debate, Núm. 264, pp. 24-25
-
Recursively spreadable and reductible measures of specificity
Information Sciences, Vol. 326, pp. 270-277
-
Resource-usage-aware configuration in software product lines
Journal of Logical and Algebraic Methods in Programming, Vol. 85, Núm. 1, pp. 173-199
-
To innovate or not to innovate in the didactic second language scenario (and how): that is the question?
Porta Linguarum: revista internacional de didáctica de las lenguas extranjeras, Núm. 1, pp. 7-15
-
Trends in Computers in Education
Revista Iberoamericana de Tecnologias del Aprendizaje, Vol. 11, Núm. 3, pp. 177-178
-
Trends in software engineering for engineering education
International Journal of Engineering Education, Vol. 32, Núm. 2, pp. 869-872