Departamento
Sistemas Informáticos y Computación
Publicacións (40) Publicacións nas que participase algún/ha investigador/a
2019
-
A Framework for Modeling Cloud Infrastructures and User Interactions
IEEE Access, Vol. 7, pp. 43269-43285
-
A Transformational Approach to Resource Analysis with Typed-norms Inference
Theory and Practice of Logic Programming
-
A UML Profile for the Design, Quality Assessment and Deployment of Data-intensive Applications
Software and Systems Modeling, Vol. 18, Núm. 6, pp. 3577-3614
-
A bibliometric approach to the analysis of the Technologically-Enhanced Language Learning (TELL) literature
ARGENTINIAN JOURNAL OF APPLIED LINGUISTICS, Vol. 7, Núm. 2, pp. 8-33
-
A core Erlang semantics for declarative debugging
Journal of Logical and Algebraic Methods in Programming, Vol. 107, pp. 1-37
-
A modeling approach for Systems-of-Systems by adapting ISO/IEC/IEEE 42010 Standard evaluated by Goal-Question-Metric
Science of Computer Programming, Vol. 184
-
A review of annotation classification tools in the educational domain
Open Computer Science, Vol. 9, Núm. 1, pp. 299-307
-
An Assertional Proof of Red–Black Trees Using Dafny
Journal of Automated Reasoning
-
An expert system for checking the correctness of memory systems using simulation and metamorphic testing
Expert Systems with Applications, Vol. 132, pp. 44-62
-
An overview of a novel analysis approach for enhancing context awareness in smart environments
Information and Software Technology, Vol. 111, pp. 131-143
-
An overview on consensus-based approaches to processing collective inconsistency and knowledge integration
Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery, Vol. 9, Núm. 4
-
Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis
Theory and Practice of Logic Programming, Vol. 19, Núm. 5-6, pp. 990-1005
-
Executing bigraphical reactive systems
Discrete Applied Mathematics, Vol. 253, pp. 73-92
-
FlinkCheck: Property-based testing for apache flink
IEEE Access, Vol. 7, pp. 150369-150382
-
How to interweave accessibility with didactic and technological quality of digital educational materials
Journal of accessibility and design for all: JACCES, Vol. 9, Núm. 2, pp. 141-168
-
ILSA (Ingeniería de Lenguajes Software y Aplicaciones), UCM: Investigación en Repositorios de Objetos Educativos en Dominios Especializados
IE Comunicaciones: Revista Iberoamericana de Informática Educativa, Núm. 30, pp. 90-103
-
ITRS/GCRS transformation: Uncertainty propagation analysis and short-term modelling of IAU 2006/2000A developments
Advances in Space Research, Vol. 63, Núm. 5, pp. 1792-1802
-
Improving cloud architectures using UML profiles and M2T transformation techniques
Journal of Supercomputing, Vol. 75, Núm. 12, pp. 8012-8058
-
Incomplete smt techniques for solving non-linear formulas over the integers
ACM Transactions on Computational Logic, Vol. 20, Núm. 4
-
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