| Departamento | Ciencias de la Computación y Tecnologías de la Información |
| Área | Ciencia de la computación e inteligencia artificial |
| Investigación | Grupo de investigación Ciudadanía Digital |
| Líneas de investigación | Deseño e arquitectura de sistemas de información; sistemas concorrentes e distribuídos; verificación e validación de software. |
| Palabras clave | concorrencia, distribución, dispoñibilidade, escalabilidade, programación funcional, validación automática, probas baseadas en modelos, probas baseadas en propiedades |
| Evaluación de méritos docentes | 3 quinquenio(s) |
| Evaluación de méritos de investigación | 2 sexenio(s) |
| Contacto | Directorio de la UDC |
| Orcid id0000-0002-3028-1523 ResearcherIDA-6404-2011 Scopus15755224100 | |
En este apartado se muestra la docencia impartida en grados, másteres y resto de estudios oficiales en los últimos 6 años.
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
|
Arquitectura del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
(Obligatorio)
Máster Universitario en Ingeniería Informática
|
Optativo | 0 | 42 |
|
Trabajo Fin de Grado. Mención en Computación
Grado en Ingeniería Informática
|
Obligatorio | 0 | 16 |
|
Trabajo Fin de Grado. Mención en Ingeniería del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
|
Obligatorio | 0 | 32 |
|
Trabajo Fin de Grado. Mención en Sistemas de Información
Grado en Ingeniería Informática
|
Obligatorio | 0 | 2,66 |
|
Trabajo Fin de Grado. Mención en Tecnologías de la Información
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
|
Obligatorio | 0 | 7,16 |
|
Trabajo Fin de Máster
Máster Universitario en Ingeniería Informática
|
Obligatorio | 0 | 6 |
|
Trabajo Fin de Máster (TFM)
Máster Universitario en Políticas Sociales e Intervención Sociocomunitaria
|
Obligatorio | 0 | 8 |
|
Validación y Verificación del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
(Obligatorio)
|
Optativo | 0 | 14 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
| Algoritmos | Obligatorio | 0 | 3 |
|
Arquitectura del Software
Grado en Ingeniería Informática. Curso Puente
(Obligatorio)
|
Optativo | 0 | 46 |
| Trabajo Fin de Grado. Mención en Computación | Obligatorio | 0 | 12 |
|
Trabajo Fin de Grado. Mención en Ingeniería del Software
Grado en Ingeniería Informática. Curso Puente
|
Obligatorio | 0 | 36 |
| Trabajo Fin de Grado. Mención en Sistemas de Información | Obligatorio | 0 | 4 |
| Trabajo Fin de Máster | Obligatorio | 0 | 5 |
|
Validación y Verificación del Software
Grado en Ingeniería Informática. Curso Puente
(Obligatorio)
|
Optativo | 0 | 14 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
|
Arquitectura del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
(Obligatorio)
Máster Universitario en Ingeniería Informática
|
Optativo | 0 | 63 |
|
Trabajo Fin de Grado. Mención en Computación
Grado en Ingeniería Informática
|
Obligatorio | 0 | 18,6666666666667 |
|
Trabajo Fin de Grado. Mención en Ingeniería del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
|
Obligatorio | 0 | 12 |
|
Trabajo Fin de Grado. Mención en Sistemas de Información
Grado en Ingeniería Informática
|
Obligatorio | 0 | 4 |
|
Validación y Verificación del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
(Obligatorio)
|
Optativo | 0 | 42 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
|
Arquitectura del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
(Obligatorio)
Máster Universitario en Ingeniería Informática
|
Optativo | 0 | 49 |
|
Trabajo Fin de Grado. Mención en Computación
Grado en Ingeniería Informática
|
Obligatorio | 0 | 12 |
|
Trabajo Fin de Grado. Mención en Ingeniería del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
|
Obligatorio | 0 | 12 |
|
Trabajo Fin de Grado. Mención en Sistemas de Información
Grado en Ingeniería Informática
|
Obligatorio | 0 | 8 |
|
Validación y Verificación del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
(Obligatorio)
|
Optativo | 0 | 42 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
|
Arquitectura del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
(Obligatorio)
Máster Universitario en Ingeniería Informática
Máster Universitario en Ingeniería Informática
|
Optativo | 0 | 63 |
|
Trabajo Fin de Grado. Mención en Computación
Grado en Ingeniería Informática
|
Obligatorio | 0 | 16 |
|
Trabajo Fin de Grado. Mención en Ingeniería de Computadores
Grado en Ingeniería Informática
|
Obligatorio | 0 | 0 |
|
Trabajo Fin de Grado. Mención en Ingeniería del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
|
Obligatorio | 0 | 16 |
|
Trabajo Fin de Grado. Mención en Sistemas de Información
Grado en Ingeniería Informática
|
Obligatorio | 0 | 0 |
|
Trabajo Fin de Grado. Mención en Tecnologías de la Información
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
|
Obligatorio | 0 | 16 |
|
Trabajo Fin de Máster
Máster Universitario en Ingeniería Informática
|
Obligatorio | 0 | 10 |
|
Validación y Verificación del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
(Obligatorio)
|
Optativo | 0 | 42 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
|
Arquitectura del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
(Obligatorio)
Máster Universitario en Ingeniería Informática
|
Optativo | 0 | 63 |
|
Trabajo Fin de Grado. Mención en Computación
Grado en Ingeniería Informática
|
Obligatorio | 0 | 0 |
|
Trabajo Fin de Grado. Mención en Ingeniería de Computadores
Grado en Ingeniería Informática
|
Obligatorio | 0 | 0 |
|
Trabajo Fin de Grado. Mención en Ingeniería del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
|
Obligatorio | 0 | 8 |
|
Trabajo Fin de Grado. Mención en Sistemas de Información
Grado en Ingeniería Informática
|
Obligatorio | 0 | 4 |
|
Trabajo Fin de Grado. Mención en Tecnologías de la Información
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
|
Obligatorio | 0 | 0 |
|
Validación y Verificación del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
(Obligatorio)
|
Optativo | 0 | 35 |
Tutorías definidas por el/la docente para el curso académico 2024/2025.
| Cuatrimestre | Día | Lugar |
|---|---|---|
| Segundo cuatrimestre |
lunes
17:00 a 19:00 |
Online (Teams) ou D4.15 (confirmar antes) |
| Segundo cuatrimestre |
viernes
17:00 a 19:00 |
Online (Teams) ou D4.15 (confirmar antes) |
| Segundo cuatrimestre |
viernes
09:30 a 11:30 |
D4.15 |
Dirigidos o codirigidos por el/la docente desde el año 2013.
| Análisis de la gestión económica de una consultora TIC con un sistema de Business Intelligence |
| Aplicación para gestión de tickets online |
| Herramienta de alcance general para la gestión de incidencias, peticiones, recursos y flujos de proceso |
| Lenguaje de programación funcional ejecutable sobre una máquina virtual propia |
| Librería de probas de seguridad para programas en Elixir |
| Sintaxis de consulta de datos al estilo SQL para Riak KV |
| ErlNote: Aplicación web de planificación persoal |
| Solución de integración de procesos relacionados con la calidade a través de un sistema BPM |
| Chat de voz distribuido |
| Desarrollo e integración de funcionalidades de gestión de proyectos en un sistema de control de versiones |
| Desarrollo e integración de funcionalidades de gestión de proyectos en un sistema de control de versiones |
| Diseño e implementación de un sistema distribuido para la ejecución de pruebas. |
| Diseño e implementación del despliegue en la nube de una plataforma altamente escalable de metadatos multimedia |
| El Software libre en la enseñanza de la asignatura informática del curso 4º de ESo |
| Librería para el desarrollo de crawlers web distribuidos |
Puede consultar los méritos de investigación seleccionando un tipo de mérito y el año.
ADVANCED GENIUS ENERGY MANAGER FOR RETAIL SHOPS
| Entidad financiadora | Digital Innovation Hub Industrial de Galicia (DIHGIGAL) |
| Investigadores principales | Laura Milagros Castro Souto; José Luis Calvo Rolle |
| Tipo | Contrato |
| Fechas | Desde 10/08/2022 a 10/06/2023 |
ASIMETRÍAS DE GÉNERO EN LA COMUNICACIÓN POLÍTICA DIGITAL. PRÁCTICAS, ESTRUCTURAS DE PODER Y VIOLENCIAS EN LA TUITESFERA ESPAÑOLA
| Entidad financiadora | INSTITUTO DE LA MUJER. MINISTERIO DE IGUALDAD |
| Investigadores principales | María Teresa Piñeiro Otero |
| Tipo | Proyecto Otros Programas |
| Fechas | Desde 01/01/2022 a 31/12/2023 |
ETHiC. Efficient Thermas Comfort
| Entidad financiadora | Arce Clima Sistemas y Aplicaciones S.L. |
| Investigadores principales | Laura Milagros Castro Souto y Jorge Novo Buján |
| Tipo | Contrato |
| Fechas | Desde 01/03/2016 a 01/07/2016 |
S-ETHiC: Smart-Efficient Thermal Comfort
| Entidad financiadora | ARCE-CLIMA SISTEMAS Y APLICACIONES,SL |
| Tipo | Contrato |
| Fechas | Desde 20/12/2016 a 31/12/2017 |
Contrato Art. 83 para el desarrollo de aplicaciones y servicios para la Televisión Digital Interactiva v5.0
| Entidad financiadora | CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L |
| Tipo | Contrato |
| Fechas | Desde 01/01/2014 a 15/06/2014 |
Axuda de consolidación e estruturación de unidades de investigación competitivas. Modalidade :Grupos de Referencia Competitiva.
| Entidad financiadora | Consellería de Educación e Ordenación Universitaria |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | Desde 22/10/2014 a 30/10/2017 |
Contrato entre Indra Software Labs y CITIC en el marco del proyecto Feder Innterconecta, convocatoria 2013 Galicia, "GOAL"
| Entidad financiadora | INDRA SOFTWARE LABS S.L.U. |
| Investigadores principales | Nieves Rodríguez Brisaboa e Laura M. Castro Souto |
| Tipo | Contrato |
| Fechas | Desde 05/04/2013 a 31/12/2014 |
Desarrollo de aplicaciones y servicios para la TV Digital Interactiva v4.0 (Contrato Art.83)
| Entidad financiadora | CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L |
| Tipo | Contrato |
| Fechas | Desde 31/10/2013 a 31/10/2014 |
Ayudas para la consolidación y estructuración de unidades de investigación competitiva. Modalidad de agrupaciones estratégicas (CITIC)
| Entidad financiadora | Xunta de Galicia |
| Investigadores principales | Ricardo Cao Abad |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | Desde 01/01/2012 a 31/12/2013 |
Arquitectura Distribuida altamente escalable en el marco del proyecto Platino (Contrato Art. 83)
| Entidad financiadora | CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L |
| Investigadores principales | David Cabrero Souto |
| Tipo | Contrato |
| Fechas | Desde 16/04/2012 a 15/04/2014 |
Property- Based Testing of Web Services (PROWESS)
| Entidad financiadora | Union Europea |
| Investigadores principales | Laura Milagros Castro Souto |
| Tipo | Proyecto UE |
| Fechas | Desde 02/10/2012 a 01/11/2015 |
Validación de propiedades de componentes del sistema Synthetrick (Contrato Art. 83)
| Entidad financiadora | Empresa Syntheractive, S.L.(B-70315171) |
| Tipo | Contrato |
| Fechas | Desde 15/12/2011 a 15/06/2012 |
Desarrollo de aplicaciones y servicios para la TV Digital Interactiva v3.0 (Contrato Art.83)
| Entidad financiadora | CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L |
| Tipo | Contrato |
| Fechas | Desde 30/11/2011 a 30/11/2012 |
Iniciativa para la implementación e integración de sistemas correctos y eficientes no triviales basado en modelos (AMBITIIONS)
| Entidad financiadora | Ministerio de Economía y Competitividad (MINECO) |
| Investigadores principales | David Cabrero Souto |
| Tipo | Proyecto Programas Nacionales |
| Fechas | Desde 01/01/2011 a 31/12/2013 |
Migración de aplicación de xestión de riscos Armistice
| Entidad financiadora | INDITEX, S.A. |
| Tipo | Contrato |
| Fechas | Desde 01/03/2010 a 30/03/2010 |
Optiband- Optimization of Bandwidth for IPTV video streaming (FP7-ICT-2009-4)
| Entidad financiadora | Union Europea |
| Investigadores principales | Laura M. Castro Souto |
| Tipo | Proyecto Internacional |
| Fechas | Desde 01/01/2010 a 30/12/2012 |
Hierba III
| Entidad financiadora | PROFIT: Programa de Fomento de la Investigación Técnica |
| Investigadores principales | Víctor M. Gulías Fernández |
| Tipo | Proyecto Programas Nacionales |
| Fechas | Desde 30/03/2006 a 31/12/2007 |
Recursos funcionales para la construcción de sistemas distribuidos complejos de alta disponibilidad
| Entidad financiadora | MINISTERIO DE EDUCACIÓN Y CIENCIA |
| Investigadores principales | Víctor M. Gulías Fernández |
| Tipo | Proyecto Programas Nacionales |
| Fechas | Desde 15/10/2005 a 14/10/2008 |
Verificación, rendimiento y disponibilidad de aplicaciones distribuidas en un entorno real (VRDADER) (Incentivo)
| Entidad financiadora | Xunta de Galicia |
| Investigadores principales | Víctor M. Gulías Fernández |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | Desde 15/07/2003 a 15/07/2006 |
Verificación, rendimiento y disponibilidad de aplicaciones distribuidas en un entorno real (VRDADER)
| Entidad financiadora | Ministerio de Ciencia y Tecnología |
| Investigadores principales | Víctor M. Gulías Fernández |
| Tipo | Proyecto Programas Nacionales |
| Fechas | Desde 05/11/2002 a 05/11/2005 |
Advanced RMIS Server: Tracking of Insurances, Claims and Exposures (ARMISTICE Server)
| Tipo | Software Registrado |
| Entidad | Universidade da Coruña (UDC) |
| Autores | Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Laura M. Castro Souto |
| Fecha de solicitud | 17/08/2007 |
| Fecha de concesión | 17/08/2007 |
Advaced RMIS Management Desktop: Tracking of Insurances, Claims and Exposures (ARMISTICE Desktop)
| Tipo | Software Registrado |
| Entidad | Universidade da Coruña (UDC) |
| Autores | Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Laura M. Castro Souto |
| Fecha de solicitud | 17/08/2007 |
| Fecha de concesión | 17/08/2007 |
Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems
| Autores | Ammar Boucherit, Laura M. Castro, Abdallah Khababa, Osman Hasan |
| Revista | Multiagent and Grid Systems Vol. 16 (págs. 47 a 66) |
| DOI | https://doi.org/10.3233/mgs-200320 |
Validation of SDN policies: a property-based testing perspective
| Autores | Laura M. Castro, Nicolae Paladi |
| Revista | Procedia Computer Science Vol. 160 (págs. 23 a 29) |
| DOI | https://doi.org/10.1016/j.procs.2019.09.439 |
Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri nets
| Autores | Ammar Boucherit, Abdallah Khababa, Laura M. Castro |
| Revista | Multiagent and Grid Systems Vol. 14 Núm. 4 (págs. 403 a 418) |
| DOI | https://doi.org/10.3233/mgs-180298 |
Towards the Formal Development of Software Based Systems: Access Control System as a Case Study
| Autores | Ammar Boucherit, Laura M. Castro, Abdallah Khababa, Osman Hasan |
| Revista | Journal of Information Technology and Control Vol. 47 Núm. 3 (págs. 393 a 405) |
Making Property-based Testing Easier to Read Humans (JCR)
| Autores | Laura Milagros Castro Souto, Pablo Lamela, Simon Thompson |
| Revista | COMPUTING AND INFORMATICS Vol. 35 Núm. 4 (págs. 890 a 913) |
Sitting Property-Based Testing at the Desktop
| Autores | Laura M. Castro |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 9520 (págs. 236 a 243) |
| DOI | https://doi.org/10.1007/978-3-319-27340-2_30 |
Advanced Management of Data Integrity: Property-based Testing for Business Rules
| Autores | Laura M. Castro |
| Revista | JOURNAL OF INTELLIGENT INFORMATION SYSTEMS Vol. 44 Núm. 3 (págs. 355 a 380) |
Assesing the effects of introducing a new software development process: a methodological description
| Autores | Agneta Nilsson, Laura M. Castro, Samuel Rivas, Thomas Arts |
| Revista | International Journal on Software Tools for technology Transfer Vol. 17 Núm. 1 (págs. 1 a 16) |
| DOI | https://doi.org/10.1007/s10009-013-0275-0 |
Repeating history: Execution replay for parallel Haskell programs
| Autores | Henrique Ferreiro, Vladimir Janjic, Laura M. Castro, Kevin Hammond |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 7829 (págs. 231 a 246) |
Business Operation improvement through integrated infrastructure management
| Autores | Alberto Casanova, Laura M. Castro, Antonio Blanco-Ferro |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 8111 (págs. 158 a 165) |
| DOI | https://doi.org/10.1007/978-3-642-53856-8_20 |
A language-independent approach to black-box testing using Erlang as Test Specification language
| Autores | Laura M. Castro, Miguel A. Francisco |
| Revista | JOURNAL OF SYSTEMS AND SOFTWARE Vol. 86 Núm. 12 (págs. 3109 a 3122) |
| DOI | https://doi.org/10.1016/j.jss.2013.07.021 |
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ágs. 527 a 535) |
Automatic Generation of Test Models for Web Services using WSDL and OCL
| Autores | Macías López, Henrique Ferreiro, Miguel A. Francisco, Laura M. Castro |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 8274 (págs. 483 a 490) |
| DOI | https://doi.org/10.1007/978-3-642-45005-1_37 |
Building Web Applications with Erlang
| Autores | LAURA CASTRO |
| Revista | JOURNAL OF FUNCTIONAL PROGRAMMING Vol. 23 Núm. 2 (págs. 225 a 227) |
| DOI | https://doi.org/10.1017/s0956796812000342 |
Testing Data Consistency of Data-Intensive Applications using QuickCheck
| Autores | Laura M. Castro, Thomas Arts |
| Revista | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE Vol. 271 (págs. 41 a 62) |
| DOI | https://doi.org/10.1016/j.entcs.2011.02.010 |
Property-based testing for graphical user interfaces
| Autores | David Iglesias, Laura M. Castro |
| Revista | Journal of Computer and Information Technology Vol. 1 Núm. 3 (págs. 60 a 71) |
A Practical Methodology for Integration Testing
| Autores | Laura Milagros Castro Souto, Miguel A. Francisco Fernández, Víctor Manuel Gulias Fernández |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 5717 (págs. 881 a 888) |
Environment- Independence Methodology for Accesing External Data Sources
| Autores | Laura Milagros Castro Souto, Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Javier Paris Fernandez |
| Revista | WSEAS Transactions on Information Science & Applications Vol. 5 Núm. 9 (págs. 1355 a 1364) |
Managing the Risks of Risk Management
| Autores | Laura Milagros Castro Souto, Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, José Santiago Jorge Castro |
| Revista | JOURNAL OF DECISION SYSTEMS Vol. 17 Núm. 4 (págs. 501 a 521) |
Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server
| Autores | José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 5144 (págs. 296 a 299) |
Towards a decentralized and structured network of P2P public information screens
| Autores | Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (págs. 217 a 224) |
Verification of program properties using different theorem provers: a case study
| Autores | José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (págs. 233 a 240) |
On the development life cycle of distributed functional applications
| Autores | Laura M. Castro Souto |
| Editorial | Editorial Académica Española - LAP LAMBERT Academic Publishing GmbH & Co. KG, (Alemania) |
| ISBN | 978-3-8383-9952-2 |
Software design for success
| Autores | Laura M. Castro |
| Libro |
Introduction to Data Science and Machine Learning Edita InTech Open Science (Sage Publishing). ISBN: 978-1-83880-334-6 |
| Páginas | De la 1 a la 10 |
Un año en la radio: experiencia usando el contexto de las redes sociales para la divulgación tecnológica
| Autores | Laura M. Castro |
| Libro |
Gestión y formación audiovisual para crear contenidos en las redes sociales Edita McGraw-Hill-Interamericana de España, S.A.U.. ISBN: 978-84-486-2037-0 |
| Páginas | De la 777 a la 793 |
Managing data integrity: property-based testing for business rules
| Autores | Laura Milagros Castro Souto |
| Libro |
Managing data integrity: property-based testing for business rules Edita Tech Science Press. ISBN: 980-953-307-209-3 |
| Páginas | De la 1 a la 1 |
Contribution à la Conception d¿Architecture Logicielle Sûre des Systèmes Critiques Basés Agent
| Autor | Ammar Boucherit |
| Director/es | KHABABA Abdallah CASTRO Laura M. |
| Ámbito | Université de Ferhat Abbas - Setif 1 |
| Calificación | Sobresaliente Cum Laude |
Profiling of parallel programs in a non-strict functional language
| Autor | Henrique Ferreiro García |
| Director/es | Laura Milagros Castro Souto; Kevin Hammond |
| Ámbito | Computación |
| Calificación | Sobresaliente |
Aplicación de técnicas de pruebas automáticas basadas en propiedades a los diferentes niveles de prueba del software
| Autor | Miguel Ángel Francisco Fernández |
| Director/es | Laura M. Castro Souto |
| Ámbito | Facultad de Informática |
| Calificación | Sobresaliente Cum Laude |
Everybody Rock Your Equity: Experiences of Organizing a Women in Computing Event with Role Models for Diversity and Inclusion
IFIP Advances in Information and Communication Technology
Internacional
| Autores | Virginia Grande, Clara Benac Earle, Cristina Manresa-Yee, Elena Gómez-Martínez, Laura M. Castro, Patricia Pons, Raúl Corobán |
| Organizador | IFIP ¿ The International Federation for Information Processing |
| Lugar | Trondheim (Noruega) |
Construíndo o coñecemento informático: situación da perspectiva de xénero nos estudos de grao nas universidades españolas
VI Xornada Universitaria Galega en Xénero. Reconstruindo o coñecemento
Nacional
| Autores | Laura M. Castro |
| Organizador | Universidade da Coruña (UDC) |
| Lugar | Coruña, A (España) |
Teaching the next generation of software architects: a gender-focused survey on worldwide curricula
European Conference on Software Architecture
Internacional
| Autores | Laura M. Castro |
| Lugar | Madrid (España) |
| DOI | https://doi.org/10.1145/3241403.3241419 |
Automatic Generation of UML Sequence Diagrams from Test Cointerexamples
ERLANG USER CONFERENCE 2016
Internacional
| Autores | Laura Milagros Castro Souto, Daniel Carballa |
| Organizador | Erlang Solutions |
| Lugar | Nara (Japón) |
| DOI | https://doi.org/10.1145/2975969.2975971 |
Making everybody comfortable with Erlang: A SCADA System for Thermal Control
ERLANG USER CONFERENCE 2016
Internacional
| Autores | Laura Milagros Castro Souto, J. Daniel Fernández, José Carlos López Pampín |
| Organizador | Erlang Solutions |
| Lugar | Nara (Japón) |
| DOI | https://doi.org/10.1145/2975969.2975971 |
Kindergarten Cop: Dynamic Nursery Resizing for GHC
25th International Conference on Compiler Construction (CC'16)
Internacional
| Autores | Laura Milagros Castro Souto, Henrique Ferreiro García, Vladimir Janjic, Kevin Hammond |
| Lugar | Barcelona (España) |
O software libre como vehículo de introdución á perspectiva de xénero
XUGeX. IV Jornada Universitaria Gallega en Género: Perspectiva de género en la docencia universitaria
Nacional
| Autores | Laura Milagros Castro Souto |
| Organizador | Oficinas de Igualdad de Género de la UDC, USC y UVIGO. |
| Lugar | Santiago de Compostela (España) |
Testing FreeDesktop applications for free with D-Bus and QuickCheck
Computer Aided Systems Theory - EUROCAST 2015
Internacional
| Autores | Laura Milagros Castro Souto |
| Lugar | Palmas de Gran Canaria, Las (España) |
Wikinformática: visibilización del papel de la mujer en las nuevas tecnologías y promoción de la ingeniería en informática entre las estudiantes de secundaria
Jornadas de la Enseñanza Universitaria de la Informática (JENUI 2015)
Autonómico
| Autores | Laura Milagros Castro Souto |
| Organizador | Facultad de Informática |
| Lugar | Coruña, A (España) |
Using property-based testing to automate test case generation and diagnosis in web-based graphical user interfaces
INTUITEST 2015
Internacional
| Autores | Henrique Ferreiro García, Miguel A. Francisco Fernández, Clara Benac Earle, Laura Milagros Castro Souto, Macías López Iglesias |
| Lugar | Sophia (Francia) |
Property-Based testing for Non-functional Requirements- Erlang as Supporting Technology for reaching Software Architecture
Erlang User Conference 2014
Internacional
| Autores | Macías López Iglesias, Laura M. Castro Souto, Thomas Arts |
| Lugar | Estocolmo (Suecia) |
A Backpack to go the Extra-Functional Mile (a hitchet hike by the Prowess Proyect)
Erlang Factory 2014
Internacional
| Autores | Laura M. Castro Souto |
| Lugar | San Francisco (Estados Unidos) |
Cuantificación da perda das novas xeracións de mulleres técnicas. O caso da UDC.
II Xornada Universitaria Galega en Xénero
Autonómico
| Autores | Laura M. Castro Souto |
| Organizador | Universidade da Coruña (UDC) |
| Lugar | Ferrol (España) |
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) |
Integrated Infrastructure Management System
International Conference On Computer Aided Systems Theory. Eurocast 2013
Internacional
| Autores | Laura M. Castro Souto, Antonio Ángel Blanco Ferro, Alberto Casanova |
| 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) |
Uso de propiedades y modelos para las pruebas de sistemas distribuidos basados en la integración de componetnes heterogéneos
XII JORNADAS DE PROGRAMACIÓN Y LENGUAJE- PROLE
Nacional
| Autores | Laura M. Castro Souto, 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) |
Kindergarten Cop: Dynamic Nursery Resizing for GHC
25th Symposium on Implementation and Application of Functional Languages - ILF 2013
Internacional
| Autores | Henrique Ferreiro García, Laura M. Castro Souto, Vladimir Janjic, Tony Kevin Hammond |
| 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) |
Tecnología funcional en aplicaciones de televisión interactiva
XII JORNADAS DE PROGRAMACIÓN Y LENGUAJE - PROLE 2012
Nacional
| Autores | David Duque, Laura M. Castro Souto |
| Organizador | Universidad de Almería (UAL) |
| Lugar | Almería (España) |
Automatic generation of test models and properties from UML models with OCL constraints
OCL 2012
Internacional
| Autores | Laura M. Castro Souto, Miguel A. Francisco |
| Organizador | ACM |
| Lugar | Innsbruck (Austria) |
Uso de Propiedades Abstractas para Especificación de Pruebas Funcionales de Caja Negra
XI JORNADAS DE PROGRAMACIÓN Y LENGUAJE- PROLE 2011
Nacional
| Autores | Laura M. Castro, Miguel A. Fco., Víctor M. Gulías |
| Organizador | Universidade da Coruña (UDC) |
| Lugar | Coruña, A (España) |
Verificación de Interfaces Gráficas de usuario utilizando Pruebas Basadas en Propiedades
XI JORNADAS DE PROGRAMACIÓN Y LENGUAJE- PROLE 2011
Nacional
| Autores | D. Iglesias Fraga, Laura M. Castro |
| Organizador | Universidade da Coruña (UDC) |
| Lugar | Coruña, A (España) |
Model-Based testing of data types with side effects
ERLANG 2011
Internacional
| Autores | Laura M. Castro Souto, Thomas Arts |
| Organizador | ACM |
| Lugar | Tokyo (Japón) |
Testing Data Consistency of Data-Intensive Applications using QuickCheck
PROLE 2010
Nacional
| Autores | Laura Milagros Castro Souto, Thomas Arts |
| Organizador | Universidad Politécnica de Valencia |
| Lugar | Valencia (España) |
Desarrollo de un Sistema para la Definición, Generación Automática y Gestión de Protocolos para Vías Clínicas
INFORSALUD 2010. XIII Congreso Nacional de Informática de la Salud
Nacional
| Autores | Yago Méndez Vidal, Lino Carrajo García, Antonio Ángel Blanco Ferro, Laura Milagros Castro Souto, Fátima Rodríguez Calvo, Daniel Llamas Gómez, Guillermo Vázquez González |
| Organizador | Sociedad Española de Informática de la Salud (SEIS) |
| Lugar | Madrid (España) |
Testing erlang data types with quviq quickcheck
7th ACM SIGPLAN Erlang Workshop, Erlang ¿08
Internacional
| Autores | Thomas Arts, Laura Milagros Castro Souto, John Hughes |
| Lugar | Victoria-British Columbia (Canadá) |
Database Access and Patterns in Erlang/0TP
AIC¿08 - 8th WSEAS International Conference on APPLIED INFORMATICS and COMMUNICATIONS
Internacional
| Autores | Laura Milagros Castro Souto, Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Javier Paris Fernandez |
| Lugar | Rhodes (Grecia) |
Efficient Discovery of Widely Distributed And Non-Volatile Resources on DHTs
ICIW 2008 - The Third International conference on Internet and Web Applications and Services
Internacional
| Autores | Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto |
| Lugar | Atenas (Grecia) |
Applications integration: a testing experience
Servicewave 2008
Internacional
| Autores | Laura Milagros Castro Souto, Víctor Manuel Gulias Fernández, Miguel A. Francisco Fernández |
| Lugar | Madrid (España) |
Digital Watermarking of MPEG Videos: Empirical Studies and Open Source Tools
CLEI 2007, XXXIII Conferencia Latinoamericana de Informática
Internacional
| Autores | Laura Milagros Castro Souto, Cheng-Fang Yang, Natasha Simon, Ernst L. Leiss |
| Lugar | San José (Costa Rica) |
Deploying VoDKA in a Network of Peer-to-Peer Public Information Screems
EUROCAST 2007, 11th Internacional Conference on Computer Aided Systems Theory
Internacional
| Autores | Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto |
| Lugar | España |
Using Coq and Pvs for Certifying Properties on the Cache Subsystem of a Functional Video-on-Demand Server
EUROCAST 2007, 11th Internacional Conference on Computer Aided Systems Theory
Internacional
| Autores | José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto |
| Lugar | España |
Adaptación al espacio europeo de educación superior de la asignatura de algoritmos en la facultad de informática de la Universidad de A Coruña
II Jornadas de Innovación Educativa (EPS). El espacio europeo de educación superior: una oportunidad para las enseñanzas técnicas
Nacional
| Autores | José Santiago Jorge Castro, Alberto Valderruten Vidal, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto |
| Lugar | Zamora (España) |
Extending the VoDKA Architecture with P2P Aggregated Content Management
12th IEEE Symposium on Computers and Communications (ISCC 2007)
Internacional
| Autores | Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto |
| Lugar | Aveiro (Portugal) |
Certificación de propiedades usando distintos probadores de teoremas: un caso de estudio
JIISIC 2007, VI Jornadas Iberoamericanas de Ingeniería del Software e Ingeniería del Conocimiento
Internacional
| Autores | José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto |
| Lugar | Lima (Perú) |
Earlang/OTP framework for complex management applications development
WEBIST 2007, 3rd International Conference on Web Information Systems and Technologies
Internacional
| Autores | Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto, Carlos Varela Paz, José Santiago Jorge Castro |
| Lugar | Barcelona (España) |
Formalisation of a Functional Risk Management System
ICEIS¿06. 8th International Conference on Enterprise Information Systems
Internacional
| Autores | Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Laura M. Castro Souto, Carlos Varela Paz |
| Lugar | Paphos (Chipre) |
A New Risk Management Approach Deployed over a Client/Server
ICSENG 2005. 18th International Conference on Systems Engineering
Internacional
| Autores | Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Laura M. Castro Souto, Carlos Varela Paz |
| Lugar | Las Vegas (Estados Unidos) |
Armistice : An Experience Developing Management Software with Erlang
2nd ACM SIGPLAN Erlang Workshop
Internacional
| Autores | David Cabrero Souto, Carlos Abalde Ramiro, Laura Milagros Castro Souto, Carlos Varela Paz |
| Lugar | Uppsala (Suecia) |
ARMISTICE : Una experiencia desarrollando software de gestión con Erlang
III Jornadas de Programación y Lenguajes. PROLE 2003
Nacional
| Autores | Laura Castro Souto, Víctor Manuel Gulias Fernández, David Cabrero Souto, Carlos Abalde Ramiro, Carlos Varela Paz |
| Organizador | Universidad de Alicante |
| Lugar | España |
Cargos académicos o de gestión para el/la docente.