Feasibily of property-based testing for time-dependent systems
| Autores | Macías López, Laura M. Castro, David Cabrero |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 8112 (páxs. 527 ata 535) |
| Departamento | Matemáticas |
| Área | Estatística e investigación operativa |
| Contacto | Directorio da UDC |
Neste apartado móstrase a docencia impartida en graos, másteres e resto de titulacións oficiais ata os últimos 6 anos.
| Materia e estudos en que se imparte | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
|
Documentación e Estatística Sanitaria
Grao en Fisioterapia. Curso Ponte
|
Obrigatorio | 0 | 9 |
| Estatística | Formación básica | 0 | 67 |
| Métodos Numéricos e Estatísticos | Obrigatorio | 0 | 44 |
| Materia e estudos en que se imparte | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
|
Documentación e Estatística Sanitaria
Grao en Fisioterapia
Grao en Fisioterapia. Curso Ponte
|
Obrigatorio | 0 | 9 |
|
Estatística
Grao en Bioloxía
Programa de simultaneidade do Grao en Bioloxía e o Grao en Química
|
Formación básica | 0 | 56 |
|
Métodos Numéricos e Estatísticos
Grao en Nanociencia e Nanotecnoloxía
|
Obrigatorio | 0 | 25 |
| Materia e estudos en que se imparte | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
|
Ciencia de Datos
Grao en Xestión Dixital de Información e Documentación
|
Formación básica | 0 | 44 |
|
Fundamentos Estatísticos
Grao en Xestión Dixital de Información e Documentación
|
Formación básica | 0 | 44 |
|
Optimización Matemática
Grao en Ciencia e Enxeñaría de Datos
|
Obrigatorio | 0 | 18 |
Titorías definidas polo/a docente para o curso académico 2024/2025.
| Cuadrimestre | Día | Lugar |
|---|---|---|
| Segundo cuadrimestre |
luns
15:00 a 17:00 |
Sala común do edificio anexo do aparcamento |
| Segundo cuadrimestre |
luns
18:00 a 19:00 |
Sala común do edificio anexo do aparcamento |
| Segundo cuadrimestre |
mércores
17:00 a 18:00 |
Sala común do edificio anexo do aparcamento |
| Segundo cuadrimestre |
mércores
19:00 a 21:00 |
Sala común do edificio anexo do aparcamento |
Non figuran proxectos fin de grao ou máster dirixidos polo/a docente desde o ano 2013
Pode consultar os méritos de investigación seleccionando un tipo de mérito e o ano.
Feasibily of property-based testing for time-dependent systems
| Autores | Macías López, Laura M. Castro, David Cabrero |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 8112 (páxs. 527 ata 535) |
Tuning web services descriptions into QuickCheck models for automatic Testing
ERLANG 2013
Internacional
| Autores | Laura M. Castro Souto, Macías López Iglesias, Henrique Ferreiro García, Miguel A. Francisco |
| Organizador | ACM |
| Lugar | Boston, Massachusetts (Estados Unidos) |
Using Property-Based Testing in Time-Dependent Systems: a case study
International Conference On Computer Aided Systems Theory. Eurocast 2013
Internacional
| Autores | Macías López Iglesias, Laura M. Castro Souto, David Cabrero Souto |
| Organizador | Universidad de Las Palmas de Gran Canaria (ULPGC) |
| Lugar | Palmas de Gran Canaria, Las (España) |
Automatización de Pruebas para Servicios Web: Generación de Propiedades y Modelos
XII JORNADAS DE PROGRAMACIÓN Y LENGUAJE- PROLE
Nacional
| Autores | Macías López Iglesias, Laura M. Castro Souto, Henrique Ferreiro García, Miguel A. Francisco |
| Organizador | UNIVERSIDAD POLITÉCNICA DE MADRID |
| Lugar | Madrid (España) |
Automatic generation of test models for Web Services using WSDL and OCL
11th International Conference on Service Oriented Computing (ICSOC 2013)
Internacional
| Autores | Miguel A. Francisco, Laura M. Castro Souto, Macías López Iglesias, Henrique Ferreiro García |
| Organizador | IBM RESEARCH |
| Lugar | Berlín (Alemania) |
A DSL for Web Services Automatic Test Data Generation
25th Symposium on Implementation and Application of Functional Languages - ILF 2013
Internacional
| Autores | Macías López Iglesias, Henrique Ferreiro García, Laura M. Castro Souto, Thomas Arts |
| Organizador | ACM |
| Lugar | Nijmegen (Países Bajos) |
Declarative Distributed Advertisement System for IDTV: an Industrial Experience
Principles and Practice of Declarative Programming PPDP'12 - ACM SIGPLAN
Internacional
| Autores | Laura M. Castro Souto, David Cabrero Souto, Macías López Iglesias |
| Organizador | ACM |
| Lugar | Leuven (Bélgica) |
Failover and Takeover Contingency Mechanisms for Network Partition and Node Failure
ERLANG USER CONFERENCE 2012
Internacional
| Autores | David Cabrero Souto, Macías López Iglesias, Laura M. Castro Souto |
| Organizador | ACM |
| Lugar | Copenhague (Dinamarca) |
Sistema funcional distribuido de publicidad para IDTV
XII JORNADAS DE PROGRAMACIÓN Y LENGUAJE - PROLE 2012
Nacional
| Autores | Laura M. Castro Souto, Macías López Iglesias, David Cabrero Souto |
| Organizador | Universidad de Almería (UAL) |
| Lugar | Almería (España) |