Isidro Ramos Salavert

• Artículos de revistas (34)
• Colaboraciones en obras colectivas (27)
• Libros (1)
• Tesis dirigidas (24)
• Coordinación (2 publicaciones)

• Artículos de revistas

  • Integrating aspects in software architectures: PRISMA applied to robotic tele-operated systems

    Jennifer Pérez, Nour Ali, José Angel Carsí Cubel, Isidro Ramos Salavert, Bárbara Álvarez Torres, Pedro A. Sánchez Rodríguez, Juan Pastor

    Information and software technology, ISSN 0950-5849, Vol. 50, Nº 9-10, 2008, págs. 969-990

    • Resumen
    

  • Inteligencia, memoria social y ciberespacio

    Isidro Ramos Salavert, Jennifer Pérez

    Novática: Revista de la Asociación de Técnicos de Informática, ISSN 0211-2124, Nº. 165, 2003 (Ejemplar dedicado a: Teleaprendizaje. E-Learning), págs. 57-61

    • Resumen
    

  • Comparacion automatica de esquemas conceptuales orientados a objeto.

    Isidro Ramos Salavert, José Angel Carsí Cubel, J. Silva

    Ingeniería informática, ISSN-e 0717-4195, Nº. 7, 2002

    • Resumen
    

  • Desarrollo y generación de interfaces de usuario a partir de técnicas deanálisis de tareas y casos de uso

    Isidro Ramos Salavert, María Dolores Lozano, Francisco Montero Simarro, Pascual González López, José Pacual Molina

    Inteligencia artificial: Revista Iberoamericana de Inteligencia Artificial, ISSN-e 1988-3064, ISSN 1137-3601, Vol. 6, Nº. 16, 2002, págs. 83-92

    • Resumen
    • Texto completo
    

  • Generación de interfaces de usuario: tendencias actuales: tendencias actuales

    Isidro Ramos Salavert, María Dolores Lozano, Pascual Gonzalez

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

    

  • Evolución y perspectivas en el desarrollo de software: nuevas tendencias orientadas a objetos

    María Dolores Lozano Pérez, Isidro Ramos Salavert

    Ensayos: Revista de la Facultad de Educación de Albacete, ISSN-e 2171-9098, ISSN 0214-4824, Nº. 12, 1997, págs. 331-340

    • Texto completo
    

  • Entorno de programación Lali implementado en Prolog

    María Alpuente Frasnedo, Vicente J. Botti Navarro, Isabel Galiano Ronda, Emilio Sanchís Arnal, Francisco Vila Aparicio, Isidro Ramos Salavert

    Revista de informática y automática, ISSN 0210-8712, Año 20, Nº. 4, 1987, págs. 9-14

    • Resumen
    

  • Implementación de un sistema de gestión de bases de dfatos deductivas

    Matilde Celma Giménez, Lidia Moreno Boronat, Oscar Pastor López, Isidro Ramos Salavert

    Revista de informática y automática, ISSN 0210-8712, Año 20, Nº. 3, 1987, págs. 35-41

    • Resumen
    

  • Especificación de pantallas

    Isidro Ramos Salavert

    Revista de informática y automática, ISSN 0210-8712, Año 17, Nº. 61, 1984, págs. 5-8

    • Resumen
    

  • "Un lenguaje de programación con tipos abstractos interpretados en Prolog: otra forma de compilar"

    Isidro Ramos Salavert

    Revista de informática y automática, ISSN 0210-8712, Año 17, Nº. 60, 1984, págs. 30-33

    • Resumen
    

  • Calculadora de mesa: un proyecto de clase sobre teoría de autómatas y lenguajes formales

    Isidro Ramos Salavert

    Revista de informática y automática, ISSN 0210-8712, Año 13, Nº. 44, 1980, págs. 5-9

    • Resumen
    

  • Sistemas de control lógico programable sobre microordenador

    J.L. Zuloaga, R. Santamaría, L. Emaldi, Isidro Ramos Salavert

    Revista de informática y automática, ISSN 0210-8712, Año 13, Nº. 43, 1980, págs. 36-43

    • Resumen
    

  • LPE un lenguaje en español para la programación estructurada

    Roberto Moya Quilés, Isidro Ramos Salavert

    Proceso de Datos: Revista de informática, ISSN 0210-122X, Nº. 70, 1977, págs. 7-12

    • Resumen
    

  • "Sistema editor/perforador de textos"

    Isidro Ramos Salavert

    Revista de informática y automática, ISSN 0210-8712, Año 10, Nº. 31, 1977, págs. 26-31

    

  • Sistema para la creación y el mantenimiento de bancos de informacióm: (parte III)

    Isidro Ramos Salavert, Calixto Jorge Lozano Pueyo, A. Muñoz

    Revista de informática y automática, ISSN 0210-8712, Año 8, Nº. 24, 1975, págs. 25-39

    

  • Sistema para la creación y mantenimiento de bancos de información: (parte II )

    Isidro Ramos Salavert, Calixto Jorge Lozano Pueyo, A. Muñoz

    Revista de informática y automática, ISSN 0210-8712, Año 8, Nº. 23, 1975, págs. 15-26

    

  • un ejemplo de recursividad: Hanoi

    Isidro Ramos Salavert

    Boletín del Centro de Cálculo de la Universidad de Madrid, Nº. 24, 1974, págs. 45-50

    • Texto completo
    

  • Sistema de creación y mantenimiento de bancos de información

    Isidro Ramos Salavert, Calixto Jorge Lozano Pueyo, Alfonso Muñoz Herrero

    Revista de informática y automática, ISSN 0210-8712, Año 7, Nº. 22, 1974, págs. 23-33

    • Resumen
    

  • Lenguajes para la escritura de traductores

    Isidro Ramos Salavert

    Revista de automática, ISSN 0374-4205, Año 6, Nº. 15, 1973, págs. 49-53

    • Resumen
    

  • Seminario sobre planes de estudios universitarios en Informática

    Jorge Bondía Company, J. Buján, Ernesto García Camarero, Mª L. González, A. Guijarro, C. Marco Peris, P. Martín Yebra, Teresa Molina Avila, Isidro Ramos Salavert, A. Ríus Galindo, Mario Rodríguez Artalejo, José Luis San Emeterio Prieto

    Boletín del Centro de Cálculo de la Universidad de Madrid, Nº. 18, 1972, pág. 35

    • Texto completo
    

  • Aplicación del hash-coding al tratamiento automático de gramáticas

    Roberto Moya Quilés, Isidro Ramos Salavert

    Boletín del Centro de Cálculo de la Universidad de Madrid, Nº. 17, 1971, págs. 51-60

    • Texto completo
    

  • Traductor 70/13: (Seminario de Ordenadores en la enseñanza secundaria)

    Irene Fernández-Florez García, Isidro Ramos Salavert

    Boletín del Centro de Cálculo de la Universidad de Madrid, Nº. 10, 1970, págs. 13-24

    • Texto completo
    

  • Seminario de Generación de formas plásticas

    Florentino Briones, Ernesto García Camarero, Ramón Garriga Miró, Ignacio Gómez de Liaño (dir. congr.), Isidro Ramos Salavert, Javier Seguí de la Riva

    Boletín del Centro de Cálculo de la Universidad de Madrid, Nº. 7, 1969, págs. 2-4

    • Texto completo
    

  • Valoración del aprendizaje

    Salustiano del Campo Urbano, Ernesto García Camarero, Luis A. García Ramos, Miguel Gil Gayarre, Juan Antonio Martínez Carrillo, Roberto Moya Quilés, Isidro Ramos Salavert, Víctor Sánchez de Zavala

    Seminarios y conferencias, Nº. 6, 1969, págs. 2-15

    • Texto completo
    

  • Valoración del aprendizaje

    Salustiano del Campo Urbano, Ernesto García Camarero, Luis A. García Ramos, Miguel Gil Gayarre, Juan Antonio Martínez Carrillo, Roberto Moya Quilés, Isidro Ramos Salavert, Víctor Sánchez de Zavala

    Seminarios y conferencias, Nº. 5, 1969, págs. 2-11

    • Texto completo
    

  • Generación de formas plásticas

    Manuel Barbadillo Nocea, José Luis Alexanco, Fernando Álvarez Cienfuegos, Florentino Briones, J.L. de Carlos, Manuel de las Casas Gómez, Gerardo Delgado Pérez, Mario Fernández Barberá, Irene Fernández-Florez García, Ernesto García Camarero, A. García Quijada, Abel Martín, Isidro Ramos Salavert, Guillermo Searle Hernández, Javier Seguí de la Riva, R. Sempere, Soledad Sevilla Portillo, Vicente Aguilera Cerni, José María Yturralde López

    Seminarios y conferencias, Nº. 5, 1969, págs. 31-35

    • Texto completo
    

  • Valoración del aprendizaje

    Salustiano del Campo Urbano, Ernesto García Camarero, Luis A. García Ramos, Miguel Gil Gayarre, Juan Antonio Martínez Carrillo, Roberto Moya Quilés, Isidro Ramos Salavert, Víctor Sánchez de Zavala

    Seminarios y conferencias, Nº. 4, 1969, págs. 2-11

    • Texto completo
    

  • Generación de formas plásticas

    José Luis Alexanco, Fernando Álvarez Cienfuegos, Florentino Briones, Manuel de las Casas Gómez, Manuel Barbadillo Nocea, Gerardo Delgado Pérez, Mario Fernández Barberá, Irene Fernández-Florez García, Ernesto García Camarero, A. García Quijada, Abel Martín, J. Peña, Isidro Ramos Salavert, Guillermo Searle Hernández, Javier Seguí de la Riva, R. Sempere, Soledad Sevilla Portillo, Vicente Aguilera Cerni, José María Yturralde López

    Seminarios y conferencias, Nº. 4, 1969, págs. 17-32

    • Texto completo
    

  • Valoración del aprendizaje

    Salustiano del Campo Urbano, Ernesto García Camarero, Luis A. García Ramos, Miguel Gil Gayarre, Juan Antonio Martínez Carrillo, Roberto Moya Quilés, Isidro Ramos Salavert, Víctor Sánchez de Zavala

    Seminarios y conferencias, Nº. 3, 1969, págs. 2-9

    • Texto completo
    

  • Generación de formas plásticas

    Manuel Barbadillo Nocea, José Luis Alexanco, Fernando Álvarez Cienfuegos, Manuel de las Casas Gómez, Gerardo Delgado Pérez, Mario Fernández Barberá, Irene Fernández-Florez García, Ernesto García Camarero, A. García Quijada, Abel Martín, Julio Montero Delgado, J. Peña, Isidro Ramos Salavert, Carlo Marcaccini, Javier Seguí de la Riva, R. Sempere, Soledad Sevilla Portillo, Vicente Aguilera Cerni, José María Yturralde López

    Seminarios y conferencias, Nº. 3, 1969, págs. 23-26

    • Texto completo
    

  • Valoración del aprendizaje

    Salustiano del Campo Urbano, Ernesto García Camarero, Miguel Gil Gayarre, Roberto Moya Quilés, Isidro Ramos Salavert, Víctor Sánchez de Zavala

    Seminarios y conferencias, Nº. 2, 1969, págs. 2-7

    • Texto completo
    

  • Generación de formas plásticas

    Manuel Barbadillo Nocea, José Luis Alexanco, Fernando Álvarez Cienfuegos, Florentino Briones, Manuel de las Casas Gómez, Gerardo Delgado Pérez, Mario Fernández Barberá, Irene Fernández-Florez García, Ernesto García Camarero, A. García Quijada, Abel Martín, Julio Montero Delgado, J. Peña, Isidro Ramos Salavert, Guillermo Searle Hernández, Javier Seguí de la Riva, R. Sempere, Soledad Sevilla Portillo, Vicente Aguilera Cerni, José María Yturralde López

    Seminarios y conferencias, Nº. 2, 1969, págs. 11-21

    • Texto completo
    

  • Valoración del aprendizaje

    Ernesto García Camarero, Miguel Gil Gayarre, Roberto Moya Quilés, M. A. Oliva Portolés, Isidro Ramos Salavert, Víctor Sánchez de Zavala

    Seminarios y conferencias, Nº. 1, 1968, págs. 2-9

    • Texto completo
    

  • Seminario de generación de formas plásticas

    Manuel Barbadillo Nocea, Fernando Álvarez Cienfuegos, Manuel de las Casas Gómez, Mario Fernández Barberá, Irene Fernández-Florez García, A. García Quijada, Abel Martín, Julio Montero Delgado, Isidro Ramos Salavert, Guillermo Searle Hernández, Javier Seguí de la Riva, R. Sempere, Soledad Sevilla Portillo, Vicente Aguilera Cerni, José María Yturralde López, Ernesto García Camarero

    Seminarios y conferencias, Nº. 1, 1968, pág. 16

    • Texto completo
    

• Colaboraciones en obras colectivas

  • Verificación de Modelos Arquitectónicos Orientados a Aspectos

    Jennifer Pérez, Cristóbal Costa Soria, José Angel Carsí Cubel, Isidro Ramos Salavert

    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. 167-176

    

  • Marco de Trabajo basado en MDA para la Medición Genérica del Software

    Beatriz Mora Rivas, José Angel Carsí Cubel, Félix O. García Rubio, Isidro Ramos Salavert, Francisco Ruiz González, Mario G. Piattini Velthuis, Artur Boronat, Abel Gómez Llana

    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. 211-220

    

  • Recuperación y procesado de datos biológicos mediante Ingeniería Dirigida por Modelos

    Abel Gómez Llana, Artur Boronat, Claudia Täubner, José Angel Carsí Cubel, Isidro Ramos Salavert, Silke Eckstein

    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. 275-284

    

  • MOMENT CASE: un prototipo de herramienta CASE

    Abel Gómez Llana, Artur Boronat, José Angel Carsí Cubel, Isidro Ramos Salavert

    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. 389-390

    

  • PRISMA CASE

    Jennifer Pérez, Cristóbal Costa Soria, José Angel Carsí Cubel, Isidro Ramos Salavert

    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. 399-400

    

  • MORPHEUS: support from AO-Requirements to AO-Software Architecture

    Elena Navarro Martínez, Patricio Orlando Letelier Torres, Isidro Ramos Salavert

    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. 407-408

    

  • PRISMANET middleware: Soporte a la Evolución Dinámica de Arquitecturas Software Orientadas a Aspectos.

    Cristóbal Costa Soria, Jennifer Pérez, Nour Ali, José Angel Carsí Cubel, Isidro Ramos Salavert

    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. 27-34

    

  • Sistematizando la Especificación de Requisitos Safety: un Caso de Estudio sobre Aplicaciones Teleoperadas

    Elena Navarro Martínez, Pedro Sánchez, Patricio Orlando Letelier Torres, Juan Ángel Pastor Franco, Isidro Ramos Salavert

    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. 35-42

    

  • Del método formal a la aplicación industrial en Gestión de Modelos: Maude aplicado a Eclipse Modeling Framework

    Artur Boronat, José Iborra López, José Angel Carsí Cubel, Isidro Ramos Salavert, Abel Gómez Llana

    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. 253-258

    

  • Requirements and architecture: a marriage for quelity assurance

    Isidro Ramos Salavert, Jenifer Pérez, Elena Navarro Astor

    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. 69-78

    

  • El aspecto de distribución de PRISMA

    Isidro Ramos Salavert, Manuel Carsí Cebrián, Josep Silva, Nour Hussein

    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. 127-136

    

  • Una plataforma semántica para la gestión de modelos

    Isidro Ramos Salavert, Artur Boronat, José Angel Carsí Cubel

    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. 167-176

    

  • Desarrollo de un sistema de teleoperación utilizando el enfoque PRISMA

    Isidro Ramos Salavert, Juan Pastor, Bárbara Álvarez Torres, Jenifer Pérez, Pedro A. Sánchez Rodríguez, Nour Hussein

    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. 411-420

    

  • PRISMA: PlatafoRma OASIS para Modelos Arquitectónicos

    Jennifer Pérez, Isidro Ramos Salavert, Ángeles Lorenzo, Patricio Orlando Letelier Torres, Javier Jaén Martínez

    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. 349-360

    

  • SEGESOFT: entorno de entrenamiento para la gestión de proyectos software

    José Miguel Toro Bonilla, Isidro Ramos Salavert, Jesús Salvador Aguilar-Ruiz, Francisco Javier Ferrer Troyano, José Cristobal Riquelme Santos, 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. 131-144

    

  • OCA: Un enromo de animación concurrente para la validación de modelos conceptuales

    Pedro Sánchez Palma, Patricio Orlando Letelier Torres, Isidro Ramos Salavert

    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. 67-78

    

  • IDEAS: Entorno de Desarrollo de Interfaces de Usuario en OASIS

    María Dolores Lozano, Pascual Gonzalez, Isidro Ramos Salavert

    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. 241-252

    

  • La evolución de modelos en el desarrollo de software: los enfoques OASIS y MEDES

    José Parets Llorca, Ana Anaya, Patricia Paderewski Rodríguez, María José Rodríguez Fortiz, José Angel Carsí Cubel, María Carmen Penades Gramage, Isidro Ramos Salavert, José Hilario Canós Cerdá, María Visitación Hurtado Torres

    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. 207-218

    

  • Análisis, Diseño e Implementación OO de un Entorno de Prototipación Automática

    María Carmen Penades Gramage, José H. Canós, Isidro Ramos Salavert, J. Tolsá

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

    

  • Descripción del Modelo de Objetos de OASIS a Través de la Transaction Frame Logic

    José Angel Carsí Cubel, Isidro Ramos Salavert, María Carmen Penades Gramage, Vicente Pelechano Ferragud

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

    

  • Entorno general de producción automática de prototipos de software orientado a objetos: OOAP (Object-Oriented Assistant Prototyper)

    Isidro Ramos Salavert, José Ambrosio Toval Álvarez

    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. 501-513

    • Resumen
    

  • Nuevas tendencias en modelos informáticos

    Isidro Ramos Salavert

    La gerencia en la toma de decisiones : ponencias, 1995, ISBN 84-88255-96-9, págs. 119-122

    

  • Objects as observable processes

    Isidro Ramos Salavert, Oscar Pastor López, José Cuevas, Jaume Devesa

    Notas de visión y apuntes sobre ingeniería del software : notas del III Curso de Verano de Informática : [celebrado en Albacete, 30 de junio al 2 de julio de 1993] / coord. por María Teresa López Bonal, 1995, ISBN 84-88255-54-3, págs. 11-28

    

  • Bases de datos orientadas a objetivos

    Isidro Ramos Salavert

    Encuentro sobre Bases de Datos en la Administración Pública, 1992, ISBN 84-7088-618-5, págs. 177-193

    

  • Traductor 70/13

    Irene Fernández-Florez García, Isidro Ramos Salavert

    Ordenadores en la escuela secundaria: informe sobre una experiencia, 1975, págs. 49-65

    

  • Programa de análisis de la obra de M. Barbadillo

    Isidro Ramos Salavert, Lorenzo Carbonell Soto

    Generación automática de formas plásticas: resumen de los seminarios celebrados durante el curso 1968-69, 1969, págs. 89-92

    

  • Programas de análisis de figuras imposibles de J. M. Yturralde

    Isidro Ramos Salavert, Guillermo Searle Hernández

    Generación automática de formas plásticas: resumen de los seminarios celebrados durante el curso 1968-69, 1969, págs. 93-97

    

• Libros

  • Oasis Versión 3.0: un enfoque formal para el modelado conceptual orientado a objeto

    Patricio Orlando Letelier Torres, Pedro Sánchez Palma, Isidro Ramos Salavert, Oscar Pastor López

    Universidad Politécnica, Servicio de publicaciones. ISBN 84-7721-663-0

    • Resumen
    

• Tesis dirigidas

  • Model driven software product line engineering: system variability view and process implications

    Abel Gómez Llana

    Tesis doctoral dirigida por Isidro Ramos Salavert (dir. tes.), José Angel Carsí Cubel (dir. tes.). Universitat Politècnica de València (2012).

    • Resumen
    • Tesis en acceso abierto en: RiuNet
    

  • Las vistas arquitectónicas de software y sus correspondencias mediante la gestión de modelos

    Rogelio Noe Limon Cordero

    Tesis doctoral dirigida por Isidro Ramos Salavert (dir. tes.). Universitat Politècnica de València (2010).

    • Resumen
    

  • Ambient-prisma: ambients in aspect-oriented software architectures

    Nour Ali Irshaid

    Tesis doctoral dirigida por Isidro Ramos Salavert (dir. tes.). Universitat Politècnica de València (2008).

    • Resumen
    

  • Baseline-oriented modeling: una aproximación MDA basada en líneas de productos software para el desarrollo de aplicaciones: (dominio de los sistemas expertos)

    María Eugenia Cabello Espinosa

    Tesis doctoral dirigida por Isidro Ramos Salavert (dir. tes.). Universitat Politècnica de València (2008).

    • Resumen
    • Tesis en acceso abierto en: RiuNet
    

  • A formal framework for model management

    Arturo Boronat Moll

    Tesis doctoral dirigida por José Angel Carsí Cubel (dir. tes.), José Meseguer Guaita (dir. tes.), Isidro Ramos Salavert (dir. tes.). Universitat Politècnica de València (2007).

    • Resumen
    • Tesis en acceso abierto en: RiuNet
    

  • Architecture traced from requirements by applying a unified methodology

    Elena Navarro Martínez

    Tesis doctoral dirigida por Isidro Ramos Salavert (dir. tes.), Patricio Orlando Letelier Torres (codir. tes.). Universidad de Castilla-La Mancha (2007).

    • Resumen
    

  • Prisma: aspect-oriented software architectures

    Jenifer Pérez Benedí

    Tesis doctoral dirigida por Isidro Ramos Salavert (dir. tes.), José Angel Carsí Cubel (dir. tes.). Universitat Politècnica de València (2006).

    • Resumen
    • Tesis en acceso abierto en: RiuNet
    

  • Gestión de inconsistencias en la evolución e interoperación de los esquemas conceptuales oo, en el marco formal de Oasis

    Fernando Arango Isaza

    Tesis doctoral dirigida por Isidro Ramos Salavert (dir. tes.). Universitat Politècnica de València (2003).

    • Resumen
    

  • Entorno metodológico orientado a objetos para la especificación y desarrollo de interfaces de usuario

    María Dolores Lozano Pérez

    Tesis doctoral dirigida por Pascual González López (dir. tes.), Isidro Ramos Salavert (dir. tes.). Universitat Politècnica de València (2001).

    • Resumen
    

  • Animación de especificaciones Oasis mediante Redes de Petri orientadas a objeto

    Pedro Sánchez Palma

    Tesis doctoral dirigida por Isidro Ramos Salavert (dir. tes.). Universitat Politècnica de València (2000).

    • Resumen
    

  • Animación automática de especificaciones utilizando programación lógica concurrente

    Patricio Orlando Letelier Torres

    Tesis doctoral dirigida por Isidro Ramos Salavert (dir. tes.). Universitat Politècnica de València (1999).

    • Resumen
    

  • Oasis como marco conceptual para la evolución del software

    José Angel Carsí Cubel

    Tesis doctoral dirigida por José Hilario Canós Cerdá (dir. tes.), Isidro Ramos Salavert (dir. tes.). Universitat Politècnica de València (1999).

    • Resumen
    

  • Sabdood: un sistema administrador de bases de datos orientadas a objetos y deductivas

    Felip López Gamino

    Tesis doctoral dirigida por Isidro Ramos Salavert (dir. tes.), Oscar Pastor López (dir. tes.). Universitat Politècnica de València (1999).

    • Resumen
    

  • Desarrollo y gestión de componentes reutilizables en el marco de Oasis

    Raquel Anaya de Páez

    Tesis doctoral dirigida por Isidro Ramos Salavert (dir. tes.). Universitat Politècnica de València (1999).

    • Resumen
    

  • Oasis: un lenguaje único para bases de datos orientadas a objetos

    José Hilario Canós Cerdá

    Tesis doctoral dirigida por Isidro Ramos Salavert (dir. tes.). Universitat Politècnica de València (1997).

    • Resumen
    

  • Resolución SL*: un paradigma basado en resolución lineal para la demostración automática

    Juan Carlos Casamayor Ródenas

    Tesis doctoral dirigida por Isidro Ramos Salavert (dir. tes.). Universitat Politècnica de València (1997).

    • Resumen
    • Tesis en acceso abierto en: RiuNet
    

  • Una extensión del lamda-cálculo para la modelización de procesos concurrentes

    Francisco Javier Oliver Villarroya

    Tesis doctoral dirigida por Isidro Ramos Salavert (dir. tes.). Universitat Politècnica de València (1996).

    • Resumen
    

  • Formalización algebraica de un entorno de producción automática de prototipos orientados a objetos

    José Ambrosio Toval Álvarez

    Tesis doctoral dirigida por Isidro Ramos Salavert (dir. tes.). Universitat Politècnica de València (1994).

    • Resumen
    

  • El Lenguaje CLP(H/E): Una Aproximación basada en Restricciones a la Integración de la Programación Lógica y Funcional

    María Alpuente Frasnedo

    Tesis doctoral dirigida por Giorgio Levi (dir. tes.), Isidro Ramos Salavert (dir. tes.). Universitat Politècnica de València (1991).

    • Resumen
    • Tesis en acceso abierto en: Dialnet
    

  • Diseño y desarrollo de un entorno de producción automática de software basado en el modelo orientado a objetos

    Oscar Pastor López

    Tesis doctoral dirigida por Isidro Ramos Salavert (dir. tes.). Universitat Politècnica de València (1991).

    

  • Diseño y desarrollo de un sistema multimicroprocesador

    Josu Aramberri Miranda

    Tesis doctoral dirigida por Isidro Ramos Salavert (dir. tes.). Universidad del País Vasco - Euskal Herriko Unibertsitatea (1982).

    • Resumen
    

  • Algunos resultados nuevos en complejidad algorítmica

    Josep Díaz Cort

    Tesis doctoral dirigida por Isidro Ramos Salavert (dir. tes.). Universitat de València (1981).

    • Resumen
    

  • G.P.F.A.R un sistema transformaciónal para el análisis, verificación y cálculo inteligente de un conjunto de funciones en recursividad cruzada

    Francisco Javier Garijo Mazario

    Tesis doctoral dirigida por Isidro Ramos Salavert (dir. tes.). Universidad del País Vasco - Euskal Herriko Unibertsitatea (1981).

    • Resumen
    

  • Diseño e implementación de un sistema de programación estructurada

    Roberto Moya Quilés

    Tesis doctoral dirigida por Isidro Ramos Salavert (dir. tes.). Universidad del País Vasco - Euskal Herriko Unibertsitatea (1977).

    • Resumen
    

• Coordinación

  • Obras Colectivas

    • Ingeniería del software y bases de datos: tendencias actuales

      María Dolores Lozano Pérez (coord.), Isidro Ramos Salavert (coord.)

      Universidad de Castilla-La Mancha, Ediciones de la Universidad de Castilla-La Mancha, 2000. ISBN 84-8427-077-7

      • Resumen
      

    • Vida artificial

      coord. por Isidro Ramos Salavert

      Universidad de Castilla-La Mancha, 1995. ISBN 84-88255-98-5

      

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. 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.