xmlui.themes.about.link
Visualizar por autor "Medina Pasaje, Julio Luis"
Mostrando ítems 1-14 de 14
-
Análisis de la madurez de las rúbricas para la evaluación de los Trabajos Fin de Grado en Ingeniería Informática en el ámbito universitario español
Vega Ruiz, Alfonso de la; Rivas Concepción, Juan María
; López Martínez, Patricia
; García Saiz, Diego
; Medina Pasaje, Julio Luis
; Sánchez Barreiro, Pablo
(AENUI, Asociación de Enseñantes Universitarios de la Informática, 2024)
-
CONTREX: Design of embedded mixed-criticality CONTRol systems under consideration of EXtra-functional properties
Grüttner, Kim; Görgen, Ralph; Schreiner, Sören; Herrera Casanueva, Fernando; Peñil del Campo, Pablo; Medina Pasaje, Julio Luis
; Villar Bonet, Eugenio, 1957-
; Palermo, Gianluca; Fornaciari, William; Brandolese, Carlo; Gadioli, Davide; Vitali, Emanuele; Zoni, Davide; Bocchio, Sara; Ceva, Luca; Azzoni, Paolo; Poncino, Massimo; Vinco, Sara; Macii, Enrico; [et al.] (Elsevier, 2017-06)
-
Extensión de Moodle para la evaluación automática de ejercicios de programación en Java
Quintana Pelayo, Guillermo; Pérez Tijero, Héctor; Aldea Rivas, Mario
; Medina Pasaje, Julio Luis
; Sebrango Briz, Rubén (AENUI, Asociación de Enseñantes Universitarios de la Informática, 2019)
-
From FMTV to WATERS: lessons learned from the first verification challenge at ECRTS
Altmeyer, Sebastian; André, Étienne; Dal Zilio, Silvano; Fejoz, Loïc; González Harbour, Michael; Graf, Susanne; Gutiérrez García, José Javier
; Henia, Rafik; Le Botlan, Didier; Lipari, Giuseppe; Medina Pasaje, Julio Luis
; Navet, Nicolas; Quinton, Sophie; Rivas Concepción, Juan María
; Sun, Youcheng (Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2023)
-
From FMTV to WATERS: lessons learned from the first verification challenge at ECRTS (Artifact)
Altmeyer, Sebastian; André, Étienne; Dal Zilio, Silvano; Fejoz, Loïc; González Harbour, Michael; Graf, Susanne; Gutiérrez García, José Javier
; Henia, Rafik; Le Botlan, Didier; Lipari, Giuseppe; Medina Pasaje, Julio Luis
; Navet, Nicolas; Quinton, Sophie; Rivas Concepción, Juan María
; Sun, Youcheng (Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2023)
-
Metodología y herramientas UML para el modelado y análisis de sistemas de tiempo real orientados a objetos
Medina Pasaje, Julio Luis(Universidad de Cantabria, 2006-02-09)