José María Troya Linero

• Artículos de revistas (10)
• Colaboraciones en obras colectivas (20)
• Libros (5)
• Tesis (1)
• Tesis dirigidas (19)
• Coordinación (1 publicación)

• Artículos de revistas

  • Seleccionado

    Specifying aspect-oriented architectures in AO-ADL

    Mónica Pinto Alarcón , Lidia Fuentes Fernández , José María Troya Linero

    Information and software technology, ISSN 0950-5849, Vol. 53, Nº 11, 2011, págs. 1165-1182

    • Texto completo
    
  • Seleccionado

    Measuring the usability of software components

    Manuel F. Bertoa , José María Troya Linero, Antonio Vallecillo Moreno

    Quality control and applied statistics, ISSN 0033-5207, Vol. 52, Nº. 6, 2007, págs. 693-694

    
  • Seleccionado

    Controllers: reusable wrappers to adapt software components

    Antonio Vallecillo Moreno , José María Troya Linero

    Information and software technology, ISSN 0950-5849, Vol. 43, Nº 3, 2001, págs. 189-202

    
  • Seleccionado

    Horizontes y tendencias de seguridad en Internet

    Javier López Muñoz , José María Troya Linero, Javier Areitio Bertolín

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

    
  • Seleccionado

    Evolutionary design of fuzzy logic controllers using strongly-typed GP

    Enrique Alba Torres , Carlos Cotta Porras , José María Troya Linero

    Mathware & soft computing: The Magazine of the European Society for Fuzzy Logic and Technology, ISSN-e 1134-5632, Vol. 6, Nº. 1, 1999, págs. 109-124

    • Resumen
    • Texto completo
    
  • Seleccionado

    Desarrollo de protocolos basado en Lenguajes lógicos concurrentes

    Manuel Díaz Rodríguez , Pedro Merino Gómez , Bartolomé Rubio , José María Troya Linero

    Informática y automática: revista de la Asociación Española de Informática y Automática, ISSN 0214-932X, Vol. 27, Nº. 2, 1994, págs. 32-45

    • Resumen
    
  • Seleccionado

    Un esquema basado en multiprocesamiento para la resolución de problemas de optimización

    José María Troya Linero, Manuel Ortega Cantero , Antonio Vaquero Sánchez

    Revista de informática y automática, ISSN 0210-8712, Año 19, Nº. 2, 1986, págs. 46-50

    • Resumen
    
  • Seleccionado

    Analizador de respuestas para un sistema de autor

    Antonio Vaquero Sánchez , María del Carmen Fernández Chamizo , José María Troya Linero, Luis Hernández Yáñez , J. M. Sánchez

    Revista de informática y automática, ISSN 0210-8712, Año 19, Nº. 1, 1986, págs. 62-65

    • Resumen
    
  • Seleccionado

    Reducción del tiempo de acceso en memorias tipo disco, mediante ordenación de los registros. Algoritmos de aproximación

    José María Troya Linero, Antonio Vaquero Sánchez

    Revista de informática y automática, ISSN 0210-8712, Año 15, Nº. 54, 1982, págs. 5-12

    • Resumen
    
  • Seleccionado

    Reducción del tiempo de acceso en memorias tipo disco, mediante ordenación de los registros, algoritmos de optimización

    José María Troya Linero, Antonio Vaquero Sánchez

    Revista de informática y automática, ISSN 0210-8712, Año 14, Nº. 49, 1981, págs. 5-12

    • Resumen
    

• Colaboraciones en obras colectivas

  • Seleccionado

    El modelo de control de acceso semántico

    M.I. Yagüe, Antonio Maña , José María Troya Linero

    Avances en criptología y seguridad de la información / Arturo Ribagorda Garnacho (dir.) , Benjamín Álvarez (dir.) , 2004, ISBN 84-7978-650-7, págs. 331-339

    
  • Seleccionado

    Integración de servicios web mediante un modelo composicional de agentes software

    Mercedes Amor Pinilla , Lidia Fuentes Fernández , José María Troya Linero

    IV Jornadas de Ingeniería Telemática: JITEL 2003, Gran Canaria, 15 al 17 de septiembre de 2003 / coord. por Elsa María Macías López , Álvaro Suárez Sarmiento , Carmen Nieves Ojeda Guerra, 2003, ISBN 84-96131-38-6, págs. 213-220

    
  • Seleccionado

    Metodología para el análisis formal de los protocolos de seguridad

    Juan José Ortega Daza, Javier López Muñoz , José María Troya Linero

    IV Jornadas de Ingeniería Telemática: JITEL 2003, Gran Canaria, 15 al 17 de septiembre de 2003 / coord. por Elsa María Macías López , Álvaro Suárez Sarmiento , Carmen Nieves Ojeda Guerra, 2003, ISBN 84-96131-38-6, págs. 315-322

    
  • Seleccionado

    DAOP-ADL: un lenguaje de descripción de arquitecturas software basado en componentes y aspectos

    Lidia Fuentes Fernández , José María Troya Linero, Mónica Pinto Alarcón

    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. 347-358

    
  • Seleccionado

    Perspectiva composicional para el diseño y la implementación de una PKI

    Javier López, José Antonio Montenegro Montes , José María Troya Linero

    CISIC 2002: Las Palmas de Gran Canaria, 27 y 28 de febrero y 1 de marzo de 2002, 2002, ISBN 84-481-3603-9, págs. 423-428

    
  • Seleccionado

    Plataforma para la composición dinámica de componentes y aspectos

    Mónica Pinto Alarcón , Lidia Fuentes Fernández , José María Troya Linero

    VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002) / coord. por Matilde Celma Giménez , Oscar Pastor Acosta , Natalia Juristo Juzgado , Juan José Moreno Navarro , 2002, ISBN 84-688-0206-9, págs. 387-398

    
  • Seleccionado

    Arquitectura composicional de agentes de negociación

    Mercedes Amor Pinilla , Lidia Fuentes Fernández , José María Troya Linero

    VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002) / coord. por Matilde Celma Giménez , Oscar Pastor Acosta , Natalia Juristo Juzgado , Juan José Moreno Navarro , 2002, ISBN 84-688-0206-9, págs. 411-420

    
  • Seleccionado

    A Pattern-based Language to Coordinate HPF Tasks

    José Manuel Díaz Martín, Bartolomé Rubio , Enrique Soler Castillo , José María Troya Linero

    Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001 / Fernando Orejas Valdés (ed. lit.) , Fernando Cuartero Gómez (ed. lit.) , Diego Cazorla López (ed. lit.) , 2001, págs. 309-324

    
  • Seleccionado

    Una Metodología de Desarrollo Orientada a Objetos para Sistemas Empotrados de Tiempo Real

    J.M. Álvarez, M. Díaz, J.L. Llopis Agelán, Ernesto Pimentel Sánchez , José María Troya Linero

    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. 229-240

    
  • Seleccionado

    Property preserving abstractions of SDL

    María del Mar Gallardo Melgarejo , Pedro Merino Gómez , José María Troya Linero

    Actas de las VIII Jornadas de Concurrencia: Cuenca, 14 a 16 de junio de 2000 / coord. por Diego Cazorla López , 2000, ISBN 84-8427-074-2, págs. 111-124

    
  • Seleccionado

    Nuevas tecnologías de desarrollo de servicios multimedia: un caso de estudio

    Mercedes Amor Pinilla , M. Pinto, Lidia Fuentes Fernández , José María Troya Linero

    Simposio Español de Informática Distribuida: libro de actas. Ourense 25-27 de septiembre de 2000 / Senén Barro (ed. lit.) , José María Busta Rodríguez (ed. lit.), Juan Manuel Corchado Rodríguez (ed. lit.) , Pedro Cuesta Morales (ed. lit.), 2000, ISBN 84-8158-163-1, págs. 207-217

    
  • Seleccionado

    aspectos de implementación de una infraestructura de clave pública distribuida

    J. López, Antonio Maña , J.A. Montenegro Orenday, J.J. Ortega, José María Troya Linero

    Simposio Español de Informática Distribuida: libro de actas. Ourense 25-27 de septiembre de 2000 / Senén Barro (ed. lit.) , José María Busta Rodríguez (ed. lit.), Juan Manuel Corchado Rodríguez (ed. lit.) , Pedro Cuesta Morales (ed. lit.), 2000, ISBN 84-8158-163-1, págs. 313-320

    
  • Seleccionado

    Coordinación de componentes distribuidos: un enfoque generativo basado en arquitectura del software

    José Carlos Canal Velasco , Lidia Fuentes Fernández , Ernesto Pimentel Sánchez , José María Troya Linero

    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. 443-454

    
  • Seleccionado

    Integración de componentes heterogéneos en sistemas abiertos y distribuidos

    José María Troya Linero, Antonio Vallecillo Moreno

    SEID'99: Simposio Español de Informática Distribuida : Santiago de Compostela, 24-26 de febrero de 1999 : actas / coord. por Senén Barro , Universidade de Santiago de Compostela, 1999, ISBN 84-8408-060-9, págs. 49-58

    
  • Seleccionado

    Data flow parallel evaluation of Datalog Queries

    José Francisco Aldana Montes , José María Troya Linero

    Actas de las Primeras Jornadas de Investigación y Docencia en Bases de Datos / coord. por Nieves R. Brisaboa , 1996, ISBN 84-88301-46-4, págs. 151-159

    • Resumen
    
  • Seleccionado

    Software Architectures Specification with Pi-Calculus

    José Carlos Canal Velasco , Ernesto Pimentel Sánchez , José María Troya Linero

    I Jornadas de Trabajo de Ingeniería del Software / coord. por José Miguel Toro Bonilla , 1996, págs. 31-40

    
  • Seleccionado

    Arquitectura software de sistemas abiertos

    José María Troya Linero

    II Jornadas de informática. Actas: Almuñécar (Granada), 15 al 19 de julio 1996 / Buenaventura Clares Rodríguez (dir. congr.) , 1996, ISBN 84-8254-080-7, pág. 3

    • Resumen
    
  • Seleccionado

    PACOTE: paralelización de un código termohidráulico para la simulación de plantas nucleares

    Manuel Díaz Rodríguez , Luis Manuel Llopis Torres , José Luis Pastrana Brincones, Francisco de Asís Rus Mansilla , Enrique Soler Castillo , José María Troya Linero

    I Jornadas de informática. Actas: Puerto de la Cruz, 17-21 de julio de 1995 / José María Troya Linero (dir. congr.), Casiano Rodríguez León (dir. congr.) , 1995, págs. 567-576

    • Resumen
    
  • Seleccionado

    A parallel best bound first branch and bound scheme

    M. Ortega, José María Troya Linero

    Mini and Microcomputers and their applications / Emilio Luque Fadón (ed. lit.) , 1988, págs. 509-512

    • Resumen
    
  • Seleccionado

    Un sistema automático de acceso a un archivo de documentos microfilmados

    Antonio Vaquero Sánchez , Juan Manuel Sánchez Pérez , José María Troya Linero, María del Carmen Fernández Chamizo

    III Reunión Grupo Especializado de Electricidad y Magnetismo de la RSEF: comunicaciones, noviembre 1981, Vol. 3, 1981 (Automática e informática), págs. 22-27

    • Resumen
    

• Libros

  • Seleccionado

    El software: elemento sustantivo de la informática

    José María Troya Linero

    Universidad de Málaga (UMA), 2000. ISBN 84-7496-801-1

    
  • Seleccionado

    New issues in object interoperability: proceedings of the ECOOP'2000 Workshop on Object Interoperability, Sophia Anthipolis, France, June 2000 : selected papers

    Juan Hernández Núñez , Antonio Vallecillo Moreno , José María Troya Linero, Universidad de Extremadura

    Universidad de Extremadura, Grupo de Paralelismo, Departamento de Informática, 2000. ISBN 84-699-2538-5

    
  • Seleccionado

    Object interoperability: selected papers

    Antonio Vallecillo Moreno , Juan Hernández Núñez , José María Troya Linero

    Universidad de Málaga (UMA), Dpto. Lenguajes y C. de la Computación, 1999. ISBN 84-699-0520-1

    
  • Seleccionado

    I Jornadas de informática. Actas: Puerto de la Cruz, 17-21 de julio de 1995

    José María Troya Linero (dir. congr.), Casiano Rodríguez León (dir. congr.)

    Asociación Española de Informática y Automática, 1995

    
  • Seleccionado

    Pascal

    Nell Dale, Antonio Vaquero Sánchez , Chip Weems, José María Troya Linero

    McGraw-Hill Interamericana de España, 1991. ISBN 84-7615-372-4

    

• Tesis

  • Seleccionado

    Ordenación lineal de grafos para el almacenamiento de registros en memorias secundarias

    José María Troya Linero

    Tesis doctoral dirigida por Antonio Vaquero Sánchez (dir. tes.) . Universidad Complutense de Madrid (1980).

    • Resumen
    

• Tesis dirigidas

  • Seleccionado

    Un middleware fiable para el desarrollo de aplicaciones sobre redes inalámbricas de sensores y actores

    Jaime Hing Fong Chen Gallardo

    Tesis doctoral dirigida por José María Troya Linero (dir. tes.), Bartolomé Rubio (dir. tes.) . Universidad de Málaga (2014).

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

    Anonymous credential systems based on signature schemes and standard certification infrastructures

    Vicente Jesús Benjumea García

    Tesis doctoral dirigida por Javier López Muñoz (dir. tes.) , José María Troya Linero (dir. tes.). Universidad de Málaga (2007).

    • Resumen
    
  • Seleccionado

    Camp/daop: modelo y plataforma basados en componentes y aspectos

    Mónica Pinto Alarcón

    Tesis doctoral dirigida por Lidia Fuentes Fernández (dir. tes.) , José María Troya Linero (codir. tes.). Universidad de Málaga (2004).

    • Resumen
    
  • Seleccionado

    Un modelo de mediación para el desarrollo de software basado en componentes cots

    Luis Fernando Iribarne Martínez

    Tesis doctoral dirigida por Antonio Vallecillo Moreno (dir. tes.) , José María Troya Linero (codir. tes.). Universidad de Almería (2003).

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

    Integración de análisis de tiempo real en la técnica de descripción formal sdl

    Luis Manuel Llopis Torres

    Tesis doctoral dirigida por Manuel Díaz Rodríguez (dir. tes.) , José María Troya Linero (codir. tes.). Universidad de Málaga (2002).

    • Resumen
    
  • Seleccionado

    Un lenguaje para la especificación y validación de arquitecturas de software

    José Carlos Canal Velasco

    Tesis doctoral dirigida por José María Troya Linero (dir. tes.), Ernesto Pimentel Sánchez (dir. tes.) . Universidad de Málaga (2001).

    • Resumen
    
  • Seleccionado

    Un lenguaje de coordinación para la resolución de problemas basados en descomposición de dominios

    Enrique Soler Castillo

    Tesis doctoral dirigida por José María Troya Linero (dir. tes.), Juan Ignacio Ramos Sobrados (dir. tes.) . Universidad de Málaga (2001).

    • Resumen
    • Tesis en acceso abierto en: www.sci.uma.es
    
  • Seleccionado

    Diseño de una infraestructura de notarización para comercio electrónico

    Javier López Muñoz

    Tesis doctoral dirigida por José María Troya Linero (dir. tes.), Rene Peralta (dir. tes.) . Universidad de Málaga (2000).

    • Resumen
    
  • Seleccionado

    Análisis y diseño de algoritmos genéticos paralelos distribuidos

    Enrique Alba Torres

    Tesis doctoral dirigida por José María Troya Linero (dir. tes.). Universidad de Málaga (1999).

    • Resumen
    • Tesis en acceso abierto en: www.sci.uma.es
    
  • Seleccionado

    Sistemas de tipos puros con universos

    Blas Carlos Ruiz Jiménez

    Tesis doctoral dirigida por José María Troya Linero (dir. tes.). Universidad de Málaga (1999).

    • Resumen
    
  • Seleccionado

    Un sistema de ejecución distribuido para lenguajes orientados a objetos concurrentes

    Antonio Jesús Nebro Urbaneja

    Tesis doctoral dirigida por José María Troya Linero (dir. tes.). Universidad de Málaga (1999).

    • Resumen
    
  • Seleccionado

    Un estudio de las técnicas de híbridación y su aplicación al diseño de algoritmos evolutivos

    Carlos Cotta Porras

    Tesis doctoral dirigida por José María Troya Linero (dir. tes.). Universidad de Málaga (1998).

    • Resumen
    
  • Seleccionado

    Un modelo de flujo de datos para la evaluación de consultas en bases de datos deductivas

    José Francisco Aldana Montes

    Tesis doctoral dirigida por José María Troya Linero (dir. tes.). Universidad de Málaga (1998).

    • Resumen
    
  • Seleccionado

    Observadores lineales: un lenguaje de especificación de propiedades para verificación de protocolos

    Pedro Merino Gómez

    Tesis doctoral dirigida por José María Troya Linero (dir. tes.). Universidad de Málaga (1998).

    • Resumen
    
  • Seleccionado

    Una arquitectura software para el desarrollo de servicios avanzados de telecomunicación

    Lidia Fuentes Fernández

    Tesis doctoral dirigida por José María Troya Linero (dir. tes.). Universidad de Málaga (1998).

    • Resumen
    
  • Seleccionado

    Análisis de lenguajes lógicos concurrentes mediante interpretación abstracta

    María del Mar Gallardo Melgarejo

    Tesis doctoral dirigida por José María Troya Linero (dir. tes.). Universidad de Málaga (1998).

    • Resumen
    
  • Seleccionado

    Drl: un lenguaje lógico para sistemas distribuidos de tiempo real

    Manuel Díaz Rodríguez

    Tesis doctoral dirigida por José María Troya Linero (dir. tes.). Universidad de Málaga (1995).

    • Resumen
    
  • Seleccionado

    L2 II O2 un lenguaje lógico concurrente orientado a objetos

    Ernesto Pimentel Sánchez

    Tesis doctoral dirigida por José María Troya Linero (dir. tes.). Universidad de Málaga (1993).

    • Resumen
    
  • Seleccionado

    Un estudio sobre la paralelización del método de ramificación y acotación

    Manuel Ortega Ortiz de Apodaca

    Tesis doctoral dirigida por José María Troya Linero (dir. tes.). Universidad Complutense de Madrid (1987).

    • Resumen
    

• Coordinación

  • Obras Colectivas

    • Seleccionado

      Entornos virtuales colaborativos

      coord. por Lidia Fuentes Fernández , Eduardo Casilari Pérez , José María Troya Linero, Francisco Sandoval Hernández

      Universidad de Málaga (UMA), Servicio de Documentación y Divulgación Científica, 2004. ISBN 8497470176

      

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.