Dra. Laura Milagros Castro Souto  

Profesor contratado doutor (PC-DR)

Departamento Computación
Área Ciencia da computación e intelixencia artificial
Investigación  Grupo de investigación Models and Applications of Distributed Systems
Liñas 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 chave concorrencia, distribución, dispoñibilidade, escalabilidade, programación funcional, validación automática, probas baseadas en modelos, probas baseadas en propiedades
Contacto Directorio da UDC
Orcid id0000-0002-3028-1523 ResearcherIDA-6404-2011 Scopus15755224100

Docencia

Docencia impartida

Neste apartado móstrase a docencia impartida en graos, mestrados e resto de titulacións oficiais ata os últimos 6 anos.

Materia e estudos en que se imparte Horas totais
Arquitectura do Software
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte (Obrigatorio)
Mestrado Universitario en Enxeñaría Informática
70
Concorrencia e Paralelismo
Grao en Enxeñaría Informática
3
Paradigmas de Programación
Grao en Enxeñaría Informática
20
Prácticas en Empresa
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática
10
Prácticas en Empresa
Mestrado Universitario en Enxeñaría Informática
8
Proxecto Fin de Carreira
Enxeñeiro en Informática
8
Traballo Fin de Grao. Mención en Computación
Grao en Enxeñaría Informática
0
Traballo Fin de Grao. Mención en Enxeñaría de Computadores
Grao en Enxeñaría Informática
0
Traballo Fin de Grao. Mención en Enxeñaría do Software
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte
16
Traballo Fin de Grao. Mención en Sistemas de Información
Grao en Enxeñaría Informática
0
Traballo Fin de Grao. Mención en Tecnoloxía da Información
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte
4
Validación e Verificación do Software
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte (Obrigatorio)
35
Materia e estudos en que se imparte Horas totais
Arquitectura do Software
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte (Obrigatorio)
Mestrado Universitario en Enxeñaría Informática
23
Prácticas en Empresa
Mestrado Universitario en Enxeñaría Informática
6
Proxecto Fin de Carreira
Enxeñeiro en Informática
27
Traballo Fin de Grao. Mención en Computación
Grao en Enxeñaría Informática
8
Traballo Fin de Grao. Mención en Enxeñaría do Software
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte
24
Validación e Verificación do Software
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte (Obrigatorio)
35
Materia e estudos en que se imparte Horas totais
Arquitectura do Software
Grao en Enxeñaría Informática. Curso Ponte (Obrigatorio)
112
Traballo Fin de Grao. Mención en Enxeñaría do Software
Grao en Enxeñaría Informática. Curso Ponte
12
Validación e Verificación do Software
Grao en Enxeñaría Informática. Curso Ponte (Obrigatorio)
42
Materia e estudos en que se imparte Horas totais
Arquitectura do Software
Grao en Enxeñaría Informática
Mestrado Universitario en Enxeñaría Informática
70
Arquitectura do Software
Grao en Enxeñaría Informática. Curso Ponte
28
Traballo Fin de Grao. Mención en Enxeñaría do Software
Grao en Enxeñaría Informática
5
Validación e Verificación do Software
Grao en Enxeñaría Informática
46
Materia e estudos en que se imparte Horas totais
Arquitectura do Software
Grao en Enxeñaría Informática
Mestrado Universitario en Enxeñaría Informática
63
Arquitectura do Software
Grao en Enxeñaría Informática. Curso Ponte
21
Traballo Fin de Grao. Mención en Enxeñaría do Software
Grao en Enxeñaría Informática
24
Traballo fin de mestrado. Sistemas de Información
Mestrado Universitario en Enxeñaría de Sistemas Informáticos
5,6
Validación e Verificación do Software
Grao en Enxeñaría Informática
38
Validación e Verificación do Software
Grao en Enxeñaría Informática. Curso Ponte
11
Materia e estudos en que se imparte Horas totais
Arquitectura do Software
Grao en Enxeñaría Informática
77
Deseño de Sistemas de Información
Enxeñeiro en Informática
57
Deseño Software
Grao en Enxeñaría Informática
59
Modelado de sistemas distribuídos e concurrentes
Mestrado Universitario en Enxeñaría de Sistemas Informáticos
20

Titorías definidas polo/a docente para o curso académico 2015/2016.

Facultade de Informática

Cuadrimestre Día Lugar
Primeiro cuadrimestre luns
17:00 a 18:30
D4.15
Primeiro cuadrimestre martes
17:00 a 20:00
D4.15
Primeiro cuadrimestre mércores
15:30 a 18:30
D4.15
Segundo cuadrimestre mércores
15:30 a 18:30
D4.15
Segundo cuadrimestre xoves
11:30 a 13:00
D4.15

Traballos fin de grao e mestrado

Dirixidos ou codirixidos polo/a docente desde o ano 2013.

Estudo do impacto da introdución de ferramentas de automatización de probas
Estudo, definición e implementación de patróns de proba inspirados no GoF
Xeración automática de diagramas de secuencia UML a partir de contra-exemplos en probas de unidade
Chat de voz distribuído
Desenvolvemento e integración de funcionalidades de xestión de proxectos nun sistema de control de versións
Desenvolvemento e integración de funcionalidades de xestión de proxectos nun sistema de control de versións
Deseño e implementación do despregamento na nube dunha plataforma altamente escalable de metadatos multimedia
Deseño e implementación dun sistema distribuído para a execución de probas.
Librería para o desenvolvemento de crawlers web distribuídos
O Software libre no ensino da asignatura informática do curso 4º de ESO.

Resultados da investigación

Pode consultar os méritos de investigación seleccionando un tipo de mérito e o ano.

ETHiC. Efficient Thermas Comfort

Entidade financiadora Arce Clima Sistemas y Aplicaciones S.L.
Investigadores principais Laura Milagros Castro Souto y Jorge Novo Buján
Tipo Contrato
Datas Desde 01/03/2016 ata 01/07/2016

Contrato Art. 83 para el desarrollo de aplicaciones y servicios para la Televisión Digital Interactiva v5.0

Entidade financiadora CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L
Tipo Contrato
Datas Desde 01/01/2014 ata 15/06/2014

Axuda de consolidación e estruturación de unidades de investigación competitivas. Modalidade :Grupos de Referencia Competitiva.

Entidade financiadora Consellería de Educación e Ordenación Universitaria
Tipo Proxecto Programas Autonomicos
Datas Desde 22/10/2014 ata 30/10/2017

Contrato entre Indra Software Labs y CITIC en el marco del proyecto Feder Innterconecta, convocatoria 2013 Galicia, "GOAL"

Entidade financiadora INDRA SOFTWARE LABS S.L.U.
Investigadores principais Nieves Rodríguez Brisaboa e Laura M. Castro Souto
Tipo Contrato
Datas Desde 05/04/2013 ata 31/12/2014

Desarrollo de aplicaciones y servicios para la TV Digital Interactiva v4.0 (Contrato Art.83)

Entidade financiadora CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L
Tipo Contrato
Datas Desde 31/10/2013 ata 31/10/2014

Axuda para a consolidación e estructuración de unidades de investigación competitivas do SUG. Agrupación estratéxica CITIC

Entidade financiadora Consellería de Cultura, Educación e Ordenación Universitaria
Investigadores principais Bertha Guijarro Berdiñas
Tipo Proxecto Outros Programas
Datas Desde 01/01/2012 ata 31/12/2013

Property- Based Testing of Web Services (PROWESS)

Entidade financiadora Union Europea
Tipo Proxecto UE
Datas Desde 01/10/2012 ata 31/10/2015

Arquitectura Distribuida altamente escalable en el marco del proyecto Platino (Contrato Art. 83)

Entidade financiadora CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L
Tipo Contrato
Datas Desde 14/12/2011 ata 14/12/2013

Desarrollo de aplicaciones y servicios para la TV Digital Interactiva v3.0 (Contrato Art.83)

Entidade financiadora CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L
Tipo Contrato
Datas Desde 30/11/2011 ata 30/11/2012

Iniciativa para la implementación e integración de sistemas correctos y eficientes no triviales basado en modelos (AMBITIIONS)

Entidade financiadora Ministerio de Economía y Competitividad (MINECO)
Tipo Proxecto Programas Nacionales
Datas Desde 01/01/2011 ata 31/12/2013

Optiband- Optimization of Bandwidth for IPTV video streaming (FP7-ICT-2009-4)

Entidade financiadora Union Europea
Investigadores principais Laura M. Castro Souto
Tipo Proxecto Internacional
Datas Desde 01/01/2010 ata 30/12/2012

Recursos funcionales para la construcción de sistemas distribuidos complejos de alta disponibilidad

Entidade financiadora MINISTERIO DE EDUCACIÓN Y CIENCIA
Investigadores principais Víctor M. Gulías Fernández
Tipo Proxecto Programas Nacionales
Datas Desde 31/12/2005 ata 30/12/2008

Verificación, rendimiento y disponibilidad de aplicaciones distribuidas en un entorno real (VRDADER) (Incentivo)

Entidade financiadora Xunta de Galicia
Investigadores principais Víctor M. Gulías Fernández
Tipo Proxecto Programas Autonomicos
Datas Desde 15/07/2003 ata 15/07/2006

Verificación, rendimiento y disponibilidad de aplicaciones distribuidas en un entorno real (VRDADER)

Entidade financiadora Ministerio de Ciencia y Tecnología
Investigadores principais Víctor M. Gulías Fernández
Tipo Proxecto Programas Nacionales
Datas Desde 05/11/2002 ata 05/11/2005

Advanced RMIS Server: Tracking of Insurances, Claims and Exposures (ARMISTICE Server)

Tipo Software Rexistrado
Entidade Universidade da Coruña (UDC)
Autores Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Laura M. Castro Souto
Data de solicitude 17/08/2007
Data de concesión 17/08/2007

Advaced RMIS Management Desktop: Tracking of Insurances, Claims and Exposures (ARMISTICE Desktop)

Tipo Software Rexistrado
Entidade Universidade da Coruña (UDC)
Autores Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Laura M. Castro Souto
Data de solicitude 17/08/2007
Data de concesión 17/08/2007

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áxs. 890 ata 913)

Sitting Property-Based Testing at the Desktop

Autores Laura M. Castro
Revista Lecture Notes in Computer Science Vol. 9520 (páxs. 236 ata 243)

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áxs. 355 ata 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áxs. 1 ata 16)

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áxs. 231 ata 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áxs. 158 ata 165)

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áxs. 3109 ata 3122)

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)

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áxs. 483 ata 490)

Building Web Applications with Erlang

Autores LAURA CASTRO
Revista JOURNAL OF FUNCTIONAL PROGRAMMING Vol. 23 Núm. 2 (páxs. 225 ata 227)

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áxs. 881 ata 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áxs. 1355 ata 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áxs. 501 ata 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áxs. 296 ata 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áxs. 217 ata 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áxs. 233 ata 240)

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áxinas Desde a 1 ata a 1

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
Cualificación Sobresainte

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
Cualificación Sobresaliente Cum laude

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)

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
Internacional

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
Internacional

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
Internacional

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
Internacional

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)

Testing Data Consistency of Data-Intensive Applications using QuickCheck
PROLE 2010
Internacional

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
Internacional

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
Internacional

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
Internacional

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

Cargos académicos ou de xestión para o/a docente.

Profesorado responsable titulacións Facultade de Informática

Grao en Enxeñaría Informática
Profesor/a responsable de titulación