Pablo Javier Tuya González

• Artículos de revistas (9)
• Colaboraciones en obras colectivas (22)
• Libros (1)
• Tesis (1)
• Tesis dirigidas (10)

• Artículos de revistas

  • Seleccionado

    Diseño, Implantación y Desarrollo de un Máster en Ingeniería Informática

    Francisco José Suárez Alonso , Pablo Javier Tuya González, Daniel Fernando García Martínez , Vicente Rodríguez Montequín , Enrique Antonio de la Cal Marín , Roberto García Fernández, Alfredo Santiago Alguero García

    ReVisión, ISSN-e 1989-1199, Vol. 8, Nº. 2, 2015

    • Resumen
    • Texto completo
    
  • Seleccionado

    Testing in Service Oriented Architectures with dynamic binding: A mapping study

    Marcos Palacios Gutiérrez, José García Fanjul , Pablo Javier Tuya González

    Information and software technology, ISSN 0950-5849, Vol. 53, Nº 3, 2011, págs. 171-189

    • Texto completo
    
  • Seleccionado

    Especificación y prueba de requisitos de recuperabilidad en transacciones Ws-BusinessActivity

    Rubén Casado Tejedor , Pablo Javier Tuya González, Muhammad Younas

    Novática: Revista de la Asociación de Técnicos de Informática, ISSN 0211-2124, Nº. 211, 2011 (Ejemplar dedicado a: Business Intelligence), págs. 61-69

    
  • Seleccionado

    Aplicación de un oráculo de prueba automatizado a la evaluación de salidas de programas basados en XML

    Dae S. Kim-Park, Claudio de la Riva Álvarez , Pablo Javier Tuya González

    REICIS: Revista Española de Innovación, Calidad e Ingeniería del Software, ISSN-e 1885-4486, Vol. 7, Nº. 1 (Abril), 2011, págs. 6-22

    • Texto completo
    
  • Seleccionado

    Automated test data generation using a scatter search approach

    Raquel Blanco Aguirre , Pablo Javier Tuya González, Belarmino Adenso Díaz Fernández

    Information and software technology, ISSN 0950-5849, Vol. 51, Nº 4, 2009, págs. 708-720

    
  • Seleccionado

    Pruebas de composiciones de servicios web

    José García Fanjul , Marcos Palacios Gutiérrez, Pablo Javier Tuya González

    Novática: Revista de la Asociación de Técnicos de Informática, ISSN 0211-2124, Nº. 200, 2009 (Ejemplar dedicado a: Tendencias y avances en calidad del software), págs. 61-64

    
  • Seleccionado

    Estimación del esfuerzo de implantación en sistemas ERP

    Alicia Cano, Pablo Javier Tuya González

    Revista de procesos y métricas de las tecnologías de la información, ISSN 1886-4554, Vol. 2, Nº. 1, 2005, págs. 3-16

    • Resumen
    • Texto Completo Ejemplar
    
  • Seleccionado

    Seguimiento y control del desarrollo de proyectos software en las PYMES

    Pablo Javier Tuya González

    Novática: Revista de la Asociación de Técnicos de Informática, ISSN 0211-2124, Nº 125, 1997, pág. 41

    
  • Seleccionado

    Verificación de sistemas en tiempo real

    Pablo Javier Tuya González

    Novática: Revista de la Asociación de Técnicos de Informática, ISSN 0211-2124, Nº 118, 1995, pág. 74

    

• Colaboraciones en obras colectivas

  • Seleccionado

    Evolución en sistemas de bases de datos orientadas a columnas ante cambios conceptuales

    Pablo Suárez-Otero González, Miguel Miró, María José Suárez Cabal , Pablo Javier Tuya González

    Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021] / coord. por Rafael Capilla Sevilla , Maider Azanza Sese , Miguel Rodríguez Luaces , M. M. Roldán García , Dolores Burgueño Caballero, José Raúl Romero Salguero , José Antonio Parejo Maestre , José Francisco Chicano García , Marcela Genero , Óscar Díaz García , José González Enríquez , María Carmen Penades Gramage ; Silvia Mara Abrahao Gonzales (col.) , 2021

    • Resumen
    • Texto completo
    
  • Seleccionado

    Modelo de defectos dirigido por consultas para aplicaciones de bases de datos orientadas a grafos

    Raquel Blanco Aguirre , Pablo Javier Tuya González, Claudio de la Riva Álvarez

    Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021] / coord. por Rafael Capilla Sevilla , Maider Azanza Sese , Miguel Rodríguez Luaces , M. M. Roldán García , Dolores Burgueño Caballero, José Raúl Romero Salguero , José Antonio Parejo Maestre , José Francisco Chicano García , Marcela Genero , Óscar Díaz García , José González Enríquez , María Carmen Penades Gramage ; Silvia Mara Abrahao Gonzales (col.) , 2021

    • Resumen
    • Texto completo
    
  • Seleccionado

    Desarrollo de un sistema de detección de incendios mediante drones: un caso de aprendizaje basado en proyectos en el marco de un proyecto coordinado en un máster universitario en Ingeniería Informática

    Rubén Usamentiaga Fernández , Francisco José Suárez Alonso , Pablo Javier Tuya González, María José Suárez Cabal , Víctor Corcoba Magaña, Javier García Martínez, Juan Carlos Granda Candás , Julio Molleda Meré , Jorge Puente Peinador

    XXVI Congreso Universitario de Innovación Educativa en las Enseñanzas Técnicas: libro de actas, 2018, ISBN 978-84-17445-02-7, págs. 231-242

    • Resumen
    
  • Seleccionado

    Estado del arte en la investigación de métodos y herramientas de pruebas para procesos de negocio BPEL

    Marcos Palacios Gutiérrez, José García Fanjul , Pablo Javier Tuya González, Claudio de la Riva Álvarez

    Actas de las IV Jornadas Científico-Técnicas en Servicios Web y SOA: JSEWEB 2008 : Sevilla 29 y 30 de octubre de 2008 / coord. por José Manuel López Cobo, Antonio Vallecillo Moreno , Antonio Ruiz Cortés , 2008, ISBN 978-84-691-6710-6, págs. 132-137

    • Resumen
    
  • Seleccionado

    Generación sistemática de pruebas para composiciones de servicios utilizando criterios de suficiencia basados en transiciones

    José García Fanjul , Pablo Javier Tuya González, Claudio de la Riva Álvarez

    Actas de las XII Jornadas de Ingeniería del Software y Bases de Datos / Xavier Franch (ed. lit.) , 2007, ISBN 978-84-9732-595-0, págs. 96-104

    
  • Seleccionado

    Las pruebas del software

    Pablo Javier Tuya González

    Fábricas de Software: Experiencias, tecnologías y organización / coord. por Mario G. Piattini Velthuis , Javier Garzás Parra , 2007, ISBN 978-84-7497-809-0, págs. 177-196

    
  • Seleccionado

    Técnicas y prácticas en la pruebas del software

    José García Fanjul , Claudio de la Riva Álvarez , Jose Ramón de Diego Rodriguez, Pablo Javier Tuya González

    Técnicas cuantitativas para la gestión en la ingeniería del software / Pablo Javier Tuya González (aut.), José Javier Dolado Cosín (aut.) , Isabel Ramos Román (aut.) , 2007, ISBN 978-84-9745-204-5, págs. 43-68

    
  • Seleccionado

    Los métodos de generación de casos de prueba y su automatización

    Eugenia Díaz Fernández, Raquel Blanco Aguirre , Pablo Javier Tuya González

    Técnicas cuantitativas para la gestión en la ingeniería del software / Pablo Javier Tuya González (aut.), José Javier Dolado Cosín (aut.) , Isabel Ramos Román (aut.) , 2007, ISBN 978-84-9745-204-5, págs. 291-321

    
  • Seleccionado

    Búsqueda Tabú para la generación de casos de prueba de cobertura de bucles

    Eugenia Díaz Fernández, Raquel Blanco Aguirre , Pablo Javier Tuya González

    Actas de las X Jornadas de Ingeniería del Software y Bases de Datos / José Ambrosio Toval Álvarez (aut.) , Juan Hernández Núñez (aut.) , 2005, ISBN 84-9732-434-X, págs. 11-18

    
  • Seleccionado

    Generación automática y paralela de entornos en la verificación de componentes software

    Claudio de la Riva Álvarez , Jose Ramón de Diego Rodriguez, Pablo Javier Tuya González

    VIII Jornadas de Ingeniería del Software y Bases de Datos: Actas (JISBD'03). Alicante, del 12 al 14 de noviembre de 2003 / coord. por Ernesto Pimentel Sánchez , Nieves R. Brisaboa , Jaime Gómez Ortega , 2003, ISBN 84-688-3836-5, págs. 35-46

    
  • Seleccionado

    Pruebas automáticas de cobertura de software mediante una herramienta basada en búsqueda tabú

    Raquel Blanco Aguirre , Pablo Javier Tuya González, Eugenia Díaz Fernández

    VIII Jornadas de Ingeniería del Software y Bases de Datos: Actas (JISBD'03). Alicante, del 12 al 14 de noviembre de 2003 / coord. por Ernesto Pimentel Sánchez , Nieves R. Brisaboa , Jaime Gómez Ortega , 2003, ISBN 84-688-3836-5, págs. 283-292

    
  • Seleccionado

    Mejora de casos de prueba midiendo la cobertura de sentencias SQL

    María José Suárez Cabal , Pablo Javier Tuya González

    VIII Jornadas de Ingeniería del Software y Bases de Datos: Actas (JISBD'03). Alicante, del 12 al 14 de noviembre de 2003 / coord. por Ernesto Pimentel Sánchez , Nieves R. Brisaboa , Jaime Gómez Ortega , 2003, ISBN 84-688-3836-5, págs. 451-462

    
  • Seleccionado

    Planificación de la producción en talleres de cilindros de laminación mediante lógica borrosa.

    Ignacio González López , Belarmino Adenso Díaz Fernández , Pablo Javier Tuya González, María José Suárez Cabal

    IV Congreso de Ingeniería de Organización: Sevilla, 13-14 de Septiembre de 2001, 2001

    • Texto completo
    
  • Seleccionado

    Generación de restricciones del entorno para verificación modular utilizando reglas de asociación

    Claudio de la Riva Álvarez , Jose Ramón de Diego Rodriguez, Pablo Javier Tuya González

    JISBD 2001. Jornadas de ingeniería del software y bases de datos: 21 y 23 de noviembre de 2001. Almagro (Ciudad Real) / Arantza Illarramendi Echave (ed. lit.) , Óscar Díaz García (ed. lit.) , Mario G. Piattini Velthuis (ed. lit.) , 2001, ISBN 84-699-6275-2, págs. 391-403

    
  • Seleccionado

    Verificación Formal del Sistema de Control de Acceso a Aplicaciones Corporativas de la E.L.C

    Esther Suárez Calvo, Pablo Javier Tuya González

    ACTAS DE LAS V JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS: JISBD 2000 / coord. por Carlos Delgado Kloos , Esperanza Marcos Martínez , José M. Marques, 2000, ISBN 84-8448-065-8, págs. 21-22

    
  • Seleccionado

    Verificación Modular de Sistemas Reactivos con Abstracciones del Entorno

    Claudio de la Riva Álvarez , Pablo Javier Tuya González, Jose Ramón de Diego Rodriguez

    ACTAS DE LAS V JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS: JISBD 2000 / coord. por Carlos Delgado Kloos , Esperanza Marcos Martínez , José M. Marques, 2000, ISBN 84-8448-065-8, págs. 53-58

    
  • Seleccionado

    Gestión de la configuración del software en un proyecto de I+D

    Pablo Javier Tuya González, María José Suárez Cabal , Belarmino Adenso Díaz Fernández

    Libro de ponencias, 2000, págs. 77-85

    • Resumen
    
  • Seleccionado

    Gestión de la configuración del software en un proyecto de I+D

    Pablo Javier Tuya González, María José Suárez Cabal , Belarmino Adenso Díaz Fernández

    V Jornadas sobre Calidad del Software, 6 y 7 de julio de 2000. San Sebastián, Palacio de Miramar: Documentación de ponencias, 2000, 7 págs.

    
  • Seleccionado

    Auditoría informática del desarrollo de aplicaciones

    Darío Usamentiaga, Isabel Sevilla Rodríguez, Pablo Javier Tuya González

    VI Jornadas sobre la Enseñanza Universitaria de la Informática: JENUI 2000 : Libro de Comunicaciones / coord. por Rosalía Peña Ros , Pedro Antonio Ramos Alonso , Antonio José de Vicente Rodríguez, 2000, ISBN 84-8138-409-7, págs. 334-339

    • Texto completo
    
  • Seleccionado

    Verificación formal del subsistema de identificación de clientes en una tienda virtual

    José García Fanjul , Pablo Javier Tuya González, José Antonio Corrales González

    IV Jornadas de Ingeniería del Software y Bases de Datos: (JISBD'99) / Pere Botella López (aut.) , Juan Hernández Núñez (aut.) , F. Saltor (aut.), Universidad de Extremadura (aut.), 1999, ISBN 84-699-0956-8, págs. 169-170

    
  • Seleccionado

    Criterios de Calidad en las actividades universitarias

    José Esteban Fernández Rico , Ricardo Tucho Navarro , Pablo Javier Tuya González, María del Rocío Fernández Rodríguez

    VI Congreso universitario de innovación educativa en las enseñanzas técnicas: comunicaciones y ponencias. Las Palmas de Gran Canaria. 9, 10 y 11 de septiembre de 1998, Vol. 3, 1998, ISBN 84-89728-69-0, págs. 241-250

    
  • Seleccionado

    Sistema económico de reconocimiento automático del habla utilizando redes neuronales

    Alberto García, Pablo Javier Tuya González, Alberto Gómez

    VI Conferencia de la Asociación Española para la Inteligencia Artificial CAEPIA 95: actas. Alicante, 15, 16 y 17 de noviembre de 1995, 1995, ISBN 84-920982-0-1, págs. 393-404

    

• Libros

  • Seleccionado

    Técnicas cuantitativas para la gestión en la ingeniería del software

    Pablo Javier Tuya González (aut.), José Javier Dolado Cosín (aut.) , Isabel Ramos Román (aut.)

    Oleiros (La Coruña) : Netbiblo, [2007. ISBN 978-84-9745-204-5

    

• Tesis

  • Seleccionado

    Especificación y verificación de sistemas reactivos utilizando métodos estructurados y lógica temporal

    Pablo Javier Tuya González

    Tesis doctoral dirigida por José Antonio Corrales González (dir. tes.) . Universidad de Oviedo (1995).

    • Resumen
    

• Tesis dirigidas

  • Seleccionado

    Maintenance of the logical consistency in Cassandra

    Pablo Suárez-Otero González

    Tesis doctoral dirigida por Pablo Javier Tuya González (dir. tes.). Universidad de Oviedo (2023).

    • Tesis en acceso abierto en: RUO
    
  • Seleccionado

    Functional testing techniques for new massive data processing paradigms

    Jesús Morán Barbón

    Tesis doctoral dirigida por Claudio de la Riva Álvarez (dir. tes.) , Pablo Javier Tuya González (codir. tes.). Universidad de Oviedo (2019).

    • Resumen
    • Tesis en acceso abierto en: RUO
    
  • Seleccionado

    Testing service level agreements in service-based applications

    Marcos Palacios Gutiérrez

    Tesis doctoral dirigida por Pablo Javier Tuya González (dir. tes.). Universidad de Oviedo (2014).

    • Resumen
    • Tesis en acceso abierto en: RUO
    
  • Seleccionado

    Testing advanced transactions in service-based software systems

    Rubén Casado Tejedor

    Tesis doctoral dirigida por Pablo Javier Tuya González (dir. tes.), Muhammad Younas (dir. tes.). Universidad de Oviedo (2013).

    • Resumen
    • Tesis en acceso abierto en:  RUO  TESEO 
    
  • Seleccionado

    Búsqueda dispersa para la generación automática de casos de prueba de software

    Raquel Blanco Aguirre

    Tesis doctoral dirigida por Pablo Javier Tuya González (dir. tes.), Belarmino Adenso Díaz Fernández (dir. tes.) . Universidad de Oviedo (2008).

    • Resumen
    
  • Seleccionado

    Generación de casos de prueba para composiciones de servicios web

    José García Fanjul

    Tesis doctoral dirigida por Pablo Javier Tuya González (dir. tes.), Claudio de la Riva Álvarez (dir. tes.) . Universidad de Oviedo (2007).

    • Resumen
    
  • Seleccionado

    Mejora de casos de prueba en aplicaciones con bases de datos utilizando medidas de cobertura de sentencias sql

    María José Suárez Cabal

    Tesis doctoral dirigida por Pablo Javier Tuya González (dir. tes.). Universidad de Oviedo (2006).

    • Resumen
    
  • Seleccionado

    Generación automática de pruebas estructurales de software mediante búsqueda tabú

    Eugenia Díaz Fernández

    Tesis doctoral dirigida por Pablo Javier Tuya González (dir. tes.). Universidad de Oviedo (2005).

    • Resumen
    
  • Seleccionado

    Obtención automática del entorno en la verificación modular de sistemas reactivos

    Claudio de la Riva Álvarez

    Tesis doctoral dirigida por Pablo Javier Tuya González (dir. tes.). Universidad de Oviedo (2004).

    • Resumen
    
  • Seleccionado

    Especificación de sistemas reactivos distribuidos utilizando estelle síncrono

    Miguel Riesco Albizu

    Tesis doctoral dirigida por Pablo Javier Tuya González (dir. tes.), Oliverio González Alonso (dir. tes.) . Universidad de Oviedo (2002).

    • Resumen
    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Documat. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.