Jose Ambrosio
Toval Alvarez
Catedraticos de Universidad
Tesis doctoral
-
Formalización algebraica de un entorno de producción automática de prototipos orientados a objetos 1994
Universitat Politècnica de València
Tesis dirigidas (10)
-
Sistema de retroalimentación inteligente basado en conocimiento común para la enseñanza virtual tutorizada 2023
Universidad de Murcia
-
Software requirements for energy efficiency in information systems: catalogue and Applications 2021
Universidad de Murcia
-
Una propuesta de gestión del conocimiento de requisitos de usabilidad en aplicaciones móviles de salud 2017
Universidad de Murcia
Cruz Zapata, Belen
-
Un proceso de ingeniería de requisitos dirigido por modelos centrado en reutilización. 2013
Universidad de Murcia
-
Audit-pdp: un método de auditoría de datos personales basado en ingeniería de requisitos 2012
Universidad de Murcia
MARTINEZ AGUILAR, Miguel Angel
-
Marco de trabajo de representación y reuso de requisitos de seguridad = A framework for representation and reuse of security requirements 2011
Universidad de Murcia
Lasheras Velasco, Joaquín
-
Una propuesta para el tratamiento de requisitos y modelos de calidad en model driven engineering 2010
Universidad de Murcia
Molina Molina, Fernando
-
Una propuesta de gestión integrada de modelos y requisitos en líneas de productos software 2009
Universidad de Murcia
-
Una propuesta de formalización de la arquitectura en cuatro capas de UML 2002
Universidad de Murcia
-
Objetivos de control y requisitos para la auditoría y seguridad de los almacenes de datos 2001
Universidad de Murcia
Rodereo Rodero, José Antonio
Tribunales de tesis (34)
-
Vocal del tribunal
Publicación y enriquecimiento semántico de datos abiertos en bibliotecas digitales 2019Universitat d'Alacant / Universidad de Alicante
Candela Romero, Gustavo
-
Vocal del tribunal
Una solución basada en modelos para la generación de procesos y casos de negocio colaborativos 2017Universidad de Sevilla
Barcelona Liedana, Miguel Ángel
-
Presidente del tribunal
Metodología orientada a la optimización automática de la calidad de los requisitos 2016Universidad Carlos III de Madrid
Parra Corredor, Eugenio
-
Vocal del tribunal
Desarrollo de un marco comparativo para la evaluación de lenguajes de modelado de requisitos para Líneas de Productos de Software 2016Universitat d'Alacant / Universidad de Alicante
Sepúlveda Cuevas, Samuel Eduardo
-
Presidente del tribunal
Data Warehouses: Traceability and Alignment with Corporate Strategies 2013Universitat d'Alacant / Universidad de Alicante
Maté Morga, Alejandro
-
Presidente del tribunal
Refactorización sobre programación genérica en lenguajes orientados a objetos 2013Universidad de Valladolid
Marticorena Sánchez, Raúl
-
Vocal del tribunal
Estrategias para el guiado y la monitorización de la ejecución de sistema en maude 2011Universidad de Málaga
Roldán Castro, Manuel
-
Vocal del tribunal
Las vistas arquitectónicas de software y sus correspondencias mediante la gestión de modelos 2010Universitat Politècnica de València
Limon Cordero, Rogelio Noe
-
Vocal del tribunal
Insco: un modelo de proceso para la integración entre la ingeniería del software y la ingeniería del conocimiento 2010Universidad de Almería
Águila Cano, Isabel María del
-
Vocal del tribunal
M2DAT: a Technical Solution for Model-Driven Development of Web Information Systems 2009Universidad Rey Juan Carlos
Vara Mesa, Juan Manuel
-
Vocal del tribunal
Srepplline: proceso de ingeniería de requisitos de seguridad para líneas de producto software 2009Universidad de Castilla-La Mancha
Mellado, Daniel
-
Presidente del tribunal
Búsqueda dispersa para la generación automática de casos de prueba de software 2008Universidad de Oviedo
Blanco Aguirre, Raquel
-
Vocal del tribunal
Baseline-oriented modeling: una aproximación MDA basada en líneas de productos software para el desarrollo de aplicaciones: (dominio de los sistemas expertos) 2008Universitat Politècnica de València
Cabello Espinosa, María Eugenia
-
Presidente del tribunal
Architecture traced from requirements by applying a unified methodology 2007Universidad de Castilla-La Mancha
NAVARRO MARTINEZ, ELENA MARIA
-
Presidente del tribunal
Desarrollo dirigido por modelos jde sistemas basados en componentes y aspectos 2007Universidad de Extremadura
Clemente Martín, Pedro José
-
Presidente del tribunal
A formal framework for model management 2007Universitat Politècnica de València
Boronat Moll, Arturo
-
Presidente del tribunal
Pwssec: proceso para la seguridad en sistemas basados en servicios web 2006Universidad de Castilla-La Mancha
Gutierrez Garcia, Carlos Antonio
-
Vocal del tribunal
Desarrollo Integral de Sistemas de Procesamiento de Información Visual: Un Enfoque Multi-Paradigma basado en Líneas de Producto, Componentes y Generación Automática de Software 2005Universidad Politécnica de Cartagena
Vicente Chicote, Cristina
-
Presidente del tribunal
Fmesp: marco de trabajo integrado para el modelado y la medición de los procesos software 2004Universidad de Castilla-La Mancha
García Rubio, Félix O.
-
Vocal del tribunal
Cofre: entorno formal para la especificación validación y desarrollo de sistemas coordinados 2004Universidad de Extremadura
SANCHEZ ALONSO M. SOLEDAD
-
Vocal del tribunal
Verificación automática del comportamiento activo de uml usando métodos formales 2004Universidad de Valladolid
Beato Gutiérrez, María Encarnación
-
Vocal del tribunal
Análisis de restricciones en el nivel conceptual: generación automática de transacciones seguras 2004Universitat Politècnica de València
PASTOR CUBILLO M. ÁNGELES
-
Vocal del tribunal
Gestión de inconsistencias en la evolución e interoperación de los esquemas conceptuales oo, en el marco formal de Oasis 2003Universitat Politècnica de València
Arango Isaza, Fernando
-
Vocal del tribunal
Técnicas de especificación formal de sistemas orientados a objetos basadas en lógica de reescritura 2003Universidad Complutense de Madrid
Pita Andreu, Isabel
-
Vocal del tribunal
Aproximación metodológica formal para el diseño y desarrollo de sistemas interactivos basados en el estilo de manipulación directa 2002Universidad de Granada
Rodríguez Almendros, María Luisa
-
Vocal del tribunal
Metodología para el diseño de bases de datos seguras 2002Universidad de Castilla-La Mancha
Fernández-Medina Patón, Eduardo
-
Vocal del tribunal
Incremento del potencial de reutilización del software mediante refactorización 2000Universidad de Valladolid
Crespo, Yania
-
Vocal del tribunal
Formalizaciones para sintetizar software orientado a objetos 2000Universidad de Sevilla
Galán Morillo, Francisco José
-
Vocal del tribunal
Animación de especificaciones Oasis mediante Redes de Petri orientadas a objeto 2000Universitat Politècnica de València
Sánchez Palma, Pedro
-
Vocal del tribunal
Desarrollo y gestión de componentes reutilizables en el marco de Oasis 1999Universitat Politècnica de València
Anaya de Páez, Raquel
-
Vocal del tribunal
Estrategia metodológica orientada a objeto para el desarrollo de software de gestión y automatización integral de industrias con celdas de fabricación flexible 1999Universidad de Murcia
Contreras González, Leonardo
-
Vocal del tribunal
Uol: an object-oriented software development language 1999Universitat Politècnica de Catalunya (UPC)
Peralta Giménez, Alonso Joaquín
-
Vocal del tribunal
Resolución SL*: un paradigma basado en resolución lineal para la demostración automática 1997Universitat Politècnica de València
Casamayor Ródenas, Juan Carlos
-
Vocal del tribunal
Jerarquías de herencia en el diseño de software orientado al objeto 1995Universidad de Valladolid
Marqués Corral, José Manuel