JOSE MIGUEL TORO BONILLA

Categoría
Catedrático de Universidad

Contacto

Teléfono
Correo electrónico
Área
Lenguajes y Sistema Informáticos

Investigación

Grupo de investigación

SISTEMAS INFORMATICOS (SISTEMAS INFORMATICOS)

Proyectos y contratos de investigación

RED DE INVESTIGACIÓN SOBRE DIAGNOSIS Y RAZONAMIENTO CUALITATIVO (DPI2001-4404-E - Investigador/a)
AUTOMATIZACIÓN DEL RAZONAMIENTO CUALITATIVO EN SISTEMAS DINÁMICOS COMPLEJOS (TIC94-0282 - Investigador/a)
TECNOLOGÍA SOFTWARE ORIENTADA A AMBIENTES WEB (WEST - Investigador/a)
ACCIÓN COORDINADA: EVOLUCIÓN EN SISTEMAS DE COMERCIO ELECTRÓNICO (ACC-342-TIC2001 - Responsable)
RED DE INVESTIGACIÓN EN INGENIERÍA DEL SOFTWARE (TIC-2025-E - Responsable)
AUTOMATIZACIÓN DE LA DETECCIÓN Y DIAGNOSIS DE FALLOS DE SISTEMAS ESTÁTICOS Y DINÁMICOS USANDO CONOCIMIENTO SEMICUALITATIVO (DPI2003-07146-C02-01 - Investigador/a)
TELECARE. A MULTI-AGENT TELESUPERVISION SYSTEM FOR ELDERLY CARE, COLABORANDO CON SKILL -CONSEJEROS DE GESTIÓN, SL (IST-2000-27607 - Investigador/a)
AUTOCOD-AUTOMATIZACION DEL CONTROL DIMENSIONAL EN LA INDUSTRIA NAVAL (37 - Investigador/a)
ACCIÓN COORDINADA (SEJ-205,SEJ-329,SEJ-246,TIC-134) (ACC-354-SEJ-2002 - Investigador/a)
ACCION ESPECIAL. RED DE INVESTIGACION SOBRE DIAGNOSIS Y RAZONAMIENTO CUALITATIVO (DPI2002-11959-E - Investigador/a)
DESARROLLO DE APLICACIONES BASADAS EN SERVICIOS WEB (TIC2003-02737-C02-01 - Responsable)
ACCIÓN COORDINADA DE ESTUDIOS INFORMÉTRICOS Y RAZONAMIENTO CUALITATIVO/CUANTITATIVO (LJC/GGM - Investigador/a)
ORGANIZACIÓN DEL CONGRESO IBEROAMERICANO DE INTELIGENCIA ARTIFICIAL IBERAMIA 2002. PROGRAMA NACIONAL: TECNOLOGÍAS DE LA INFORMACIÓN Y LAS COMUNICACION (TIC2001-4480-E - Responsable)
ORGANIZACIÓN DEL XIV CONGRESO ESPAÑOL DE INFORMÁTICA GRÁFICA (CEIG-2004) (TIC2002-12636-E - Responsable)
TÉCNICAS AVANZADAS DE PRUEBA PARA APLICACIONES BASADAS EN SERVCIOS WEB (PCB-02-001 - Responsable)
REUNIONES DEL GRUPO ARCA. (AUTOMATIZACIÓN DEL RAZONAMIENTO CUALITATIVO Y APRENDIZAJE) (TIC98-1635-E - Responsable)
COORDINACIÓN SOBRE RAZONAMIENTO CUALITATIVO Y ESTUDIOS INFORMÉTRICOS EN LA RED AYUDA DE ACCIONES COORDINADAS DEL III PLAN ANDALUZ DE INVESTIGACIÓN (LJC/GGM55706 - Responsable)
METODOS DE INVESTIGACION Y FUNDAMENTOS FILOSOFICOS EN INGENIERIA DEL SOFTWARE Y SISTEMAS DE INFORMACION (TIC2002-12378-E - Investigador/a)
INTEGRAWEB: METODOLOGÍA Y HERRAMIENTAS PARA LA INTEGRACIÓN DE ISLAS DE DATOS AMIGABLES EN LA WEB (P07-TIC-02602 - Investigador/a)
METODOLOGÍA Y HERRAMIENTAS PARA LA INTEGRACIÓN DE LAS ISLAS DE DATOS AMIGABLES EN LA WEB (TIN2007-64119 - Investigador/a)
TÉCNICAS AVANZADAS DE PRUEBAS PARA APLICACIONES BASADAS EN SERVICIOS WEB, SUBPROYECTO DEL PROYECTO COORDINADO TÉCNICAS AVANADAS PARA EL MANTENIMIENTO (PCB-02-001 - Responsable)
RED DE INVESTIGACIÓN SOBRE INTEGRACIÓN DE APLICACIONES E INFORMACIÓN EMPRESARIAL (TIN2008-04718-E - Investigador/a)
RED PARA LA PROMOCIÓN DE LA CALIDAD DE DATOS EN SISTEMAS DE INFORMACIÓN EMPRESARIAL (TIN2008-04951-E/TIN - Investigador/a)
RED PARA LA GESTIÓN DE LA CALIDAD DE INFORMACIÓN (TIN2010-09809-E - Investigador/a)
RED TEMÁTICA ESPAÑOLA DE LINKED DATA (TIN2010-10811-E - Investigador/a)
RED DE INVESTIGACIÓN SOBRE INTEGRACIÓN DE APLICACIONES E INFORMACIÓN EMPRESARIAL (TIN2010-09988-E - Investigador/a)
Red sobre Calidad del Software Aplicada. Red CaSA (TIN2010-12312-E - Investigador/a)
AUTOMATIZACION DE RAZONAMIENTO CUALITATIVO EN SISTEMAS DINAMICOS COMPLEJOS (- - Responsable)
ACCION ESPECIAL. RED DE INVESTIGACION SOBRE DIAGNOSIS Y RAZONAMIENTO CUALITATIVO (DPI2002-11959-E - Investigador/a)
NUEVOS METODOS Y HERRAMIENTAS PARA LA AUTOMATIZACION DEL DESARROLLO DE APLICACIONES DE COMERCIO ELECTRONICO (- - Responsable)
TECNICAS FORMALES ORIENTADAS A OBJETOS PARA LA ESPECIFICACION DE SISTEMAS. SUBPROYECTO Nº 3 DE MENHIR (TIC97-0593-C05-0 - Responsable)
RED TEMÁTICA EN DESARROLLO DE MÉTODOS INTERVALARES Y SUS APLICACIONES EN INGENIERÍA (DPI2000-2615-E - Investigador/a)
NUEVA GENERACIÓN DE SERVICIOS WEB (FIT-150100-2001-78 - Investigador/a)
MILITARY APPLICATIONS OF SIMULATION AND TRAINING CONCEPTS BASED ON EMPIRICAL RESEARCH (- - Responsable)
GESTION DE INFRAESTRUCTURAS BASICAS DE ENTIDADES PUBLICAS (- - Responsable)
APLICACIONES ORIENTADAS A OBJETOS EN COMPAÑIAS ELECTRICAS: PROYECTO SARES (- - Responsable)
ESMARTNET. SISTEMAS EMBEBIDOS Y OPTIMIZACIÓN DE MIDDLEWARE PARA APLICACIONES DE REDES EN TIEMPO REAL (P61-06/E15 - Investigador/a)
VISUAL-IP: CREACIÓN DE CONOCIMIENTOS Y METODOLOGÍA PARA EL DESARROLLO DE SOFTWARE DE INTERACCIÓN VISUAL EN ENTORNOS IP (PENDIENTE - Investigador/a)
NUEVOS MÓDULOS QUIVIR PARA EMPRESAS DE DISTRIBUCIÓN: PICKING POR VOZ EN SGA Y TPV EN JAVA (QUIVIR - Responsable)
DESK: Ingeniería de los Datos Como Soporte a los Grafos de Conocimiento (PID2019-105471RB-I00 - Investigador/a)
Ayuda para la Creación de una Red de Investigación en Ingeniería del Software (TIC2000-2052-E - Coordinador)
Herramientas para la Ciencia de los Datos de la Web (TIN2016-75394-R - Investigador/a)
Semantización y Publicación de datos Abiertos para la Integración de Servicios Electrónicos (TIN2013-40848-R - Investigador/a)
VORTEX: Herramientas para la ciencia de los datos de la Web (TIN2016-75394-R - Investigador/a)
Grado Software (TIN2013-40848-R - Investigador/a)
Semantization and Publication of Open Data to Integrate Electronic Services (TIN2013-40848-R - Investigador/a)
Integración de Aplicaciones y datos en la Web. (TIN2010-21744-C02-01 - Investigador/a)
ESMARTNET. SISTEMAS EMBEBIDOS Y OPTIMIZACIÓN DE MIDDLEWARE PARA APLICACIONES DE REDES EN TIEMPO REAL (P61-06/E15 - Investigador/a)
VISUAL-IP: CREACIÓN DE CONOCIMIENTOS Y METODOLOGÍA PARA EL DESARROLLO DE SOFTWARE DE INTERACCIÓN VISUAL EN ENTORNOS IP (PENDIENTE - Investigador/a)
NUEVOS MÓDULOS QUIVIR PARA EMPRESAS DE DISTRIBUCIÓN: PICKING POR VOZ EN SGA Y TPV EN JAVA (QUIVIR - Responsable)
DISEÑO Y DESARROLLO DE UNA APLICACION PARA EL ACCESO A LA BASE DE DATOS DE PATRIMONIO HISTORICO A TRAVES DE INTERNET Y CREACION DE UNA PUBLICACION MUL (- - Responsable)
DESK: Ingeniería de los Datos Como Soporte a los Grafos de Conocimiento (PID2019-105471RB-I00 - Investigador/a)
Ayuda para la Creación de una Red de Investigación en Ingeniería del Software (TIC2000-2052-E - Coordinador)
Herramientas para la Ciencia de los Datos de la Web (TIN2016-75394-R - Investigador/a)
Semantización y Publicación de datos Abiertos para la Integración de Servicios Electrónicos (TIN2013-40848-R - Investigador/a)
VORTEX: Herramientas para la ciencia de los datos de la Web (TIN2016-75394-R - Investigador/a)
Grado Software (TIN2013-40848-R - Investigador/a)
Semantization and Publication of Open Data to Integrate Electronic Services (TIN2013-40848-R - Investigador/a)
Integración de Aplicaciones y datos en la Web. (TIN2010-21744-C02-01 - Investigador/a)

Libros publicados

Álvarez-De La Concepción, Miguel Ángel;Parody-Núñez, Maria Luisa;Ortega-Rodríguez, Francisco Javier;Toro-Bonilla, Miguel;Del Valle-Sevillano, Carmelo;Fernandez-Montes-Gonzalez, Alejandro;García-Vallejo, Carlos A.;Gómez-López, Mª Teresa;Gutiérrez-Rodríguez, Javier Jesús;M. Martínez-Ballesteros;Martínez-Gasca, Rafael;Pozo-Hidalgo, Sergio;De La Rosa-Troyano, Fco Fernando:
ANÁLISIS Y DISEÑO DE ALGORITMOS. UNIVERSIDAD DE SEVILLA.. 2010. 978-84-693-8232-5
Gutiérrez-Rodríguez, Javier Jesús;Torres-Valderrama, Jesús;Toro-Bonilla, Miguel:
LA CARRERA DE INFORMÁTICA TRAS LA UNIVERSIDAD. UNIVERSIDAD DE SEVILLA.. 2010. 978-84-693-8233-2
Cruz-Mata, Fermin;Borrego, Diana;De Acuña-Garrido, María Dolores;Ferrer-Troyano, Francisco Javier;García-Gutiérrez, Jorge;Mateos-García, Daniel;Pontes-Balanza, Beatriz;Reina-Quintero, Antonia María;Romero-Aleta, Rafael;Romero-Moreno, Luisa María;Rubio-Escudero, Cristina;Riquelme-Santos, José Cristóbal;González-Romano, José Mariano;Toro-Bonilla, Miguel;Nepomuceno-Chamorro, Isabel De Los Angeles;Nepomuceno-Chamorro, Juan Antonio;Fernandez-Montes-Gonzalez, Alejandro;Aumaitre-Del Rey, Adolfo Antonio;Bengoa-Díaz,Alfonso:
INTRODUCCIÓN A LA PROGRAMACIÓN I. UNIVERSIDAD DE SEVILLA. SECRETARIADO DE PUBLICACIONES. 2008. 978-84-691-1856-6
Riquelme-Santos, José Cristóbal;Borrego, Diana;De Acuña-Garrido, María Dolores;Ferrer-Troyano, Francisco Javier;García-Gutiérrez, Jorge;Mateos-García, Daniel;Pontes-Balanza, Beatriz;Reina-Quintero, Antonia María;Romero-Aleta, Rafael;Romero-Moreno, Luisa María;Rubio-Escudero, Cristina;Fernandez-Montes-Gonzalez, Alejandro;González-Romano, José Mariano;Toro-Bonilla, Miguel;Cruz-Mata, Fermin;Nepomuceno-Chamorro, Isabel De Los Angeles;Nepomuceno-Chamorro, Juan Antonio;Aumaitre-Del Rey, Adolfo Antonio;Bengoa-Díaz,Alfonso:
INTRODUCCIÓN A LA PROGRAMACIÓN II. UNIVERSIDAD DE SEVILLA. SECRETARIADO DE PUBLICACIONES. 2008. 978-84-691-1857-3
Corchuelo-Gil, Rafael;Ruiz-Cortés, Antonio;Toro-Bonilla, Miguel:
ADVANCES IN BUSINESS SOLUTIONS. CATEDRAL. 2002. 84-96086-01-1
Ortega-Ramírez, Juan A.;Cuberos-García Baquero, Francisco Javier;Gasca, Rafael M.;Toro-Bonilla, Miguel;Torres-Valderrama, Jesús:
5TH CATALONIAN CONFERENCE ON ARTIFICIAL INTELLIGENCE - CCAI 2002. . 2002.
Ortega-Ramírez, Juan A.;Gasca, Rafael M.;Toro-Bonilla, Miguel;Torres-Valderrama, Jesús:
8TH IBERO-AMERICAN CONFERENCE ON AI: ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2002. . 2002.
Toro-Bonilla, Miguel:
CURRENT TRENDS IN QUALITATIVE REASONING AND APPLICATIONS. EDICIÓN DIGITAL @ TRES. 2000. 84-699-2786-8
Ortega-Ramírez, Juan A.;Gasca, Rafael M.;Toro-Bonilla, Miguel:
CURRENT TRENDS IN QUALITATIVE REASONING AND APPLICATIONS. 2000 EDITION. EDICIÓN DIGITAL @TRES. 2000.
Toro-Bonilla, Miguel;Velasco-Morente, Francisco;Basulto-Santos, Jesus:
METODOS CUALITATIVOS APLICADOS A LOS SISTEMAS SOCIOECONOMICOS. EDICIÓN DIGITAL @ TRES. 2000. 84-699-2729-9
Toro-Bonilla, Miguel;Feria-Toribio, Jose Maria;Rodrigo-Muñoz, Antonio:
UN MODELO DE PROYECCIÓN DE LA POBLACIÓN PARA LOS ÁMBITOS FUNCIONALES ANDALUCES : 1991-2006. UNIVERSIDAD DE HUELVA. 1998. 84-88751-69-9
Troyano-Jiménez, José A.;Toro-Bonilla, Miguel:
INTRODUCCIÓN A Z Y OBJECT-Z. . .

Capítulos en Libros

Navascués-Fernández Victorio, Javier;Toro-Bonilla, Miguel;Ramos-Román, Isabel:
A HYBRID MODEL FOR DYNAMIC SIMULATION OF CUSTOM SOFTWARE PROJECTS IN A MULTIPROJECT ENVIRONMENT. Pág. 173-185. En: 5543. SPRINGER BERLIN. SPRINGER BERLIN. 2009.
Navascués-Fernández Victorio, Javier;Ramos-Román, Isabel;Toro-Bonilla, Miguel:
UNA PROPUESTA DE APLICACIÓN DE MÉTODOS HEURÍSTICOS PARA LA PROGRAMACIÓN DE PROYECTOS A LA PRODUCCIÓN DE SOFTWARE A MEDIDA. Pág. 163-170. INSISOC. INSISOC. 2008.
Navascués-Fernández Victorio, Javier;Toro-Bonilla, Miguel;Ramos-Román, Isabel:
SIMULACIÓN DE POLÍTICAS DE ASIGNACIÓN DE RECURSOS EN PROYECTOS SOFTWARE: ESTADO DEL ARTE. Pág. 157-162. INSISOC. INSISOC. 2008.
Ruiz-Carreira, Mercedes;Ramos-Román, Isabel;Toro-Bonilla, Miguel:
MODELADO Y SIMULACIÓN DEL PROCESO DE DESARROLLO DE SOFTWARE: UNA TÉCNICA PARA LA MEJORA DE PROCESOS. Pág. 69-90. Netbiblo. Netbiblo. 2007.
Ruiz-Carreira, Mercedes;Ramos-Román, Isabel;Toro-Bonilla, Miguel:
SOFTWARE PROCESS DYNAMICS: MODELING, SIMULATION AND IMPROVEMENT. Pág. 21-56. En: 18. World Scientific Publishing. World Scientific Publishing. 2006.
Benavides-Cuevas, David Felipe;Ruiz-Cortés, Antonio;Müller-Cejás, Carlos;Toro-Bonilla, Miguel:
LA TRIPLE ESQUIZOFRENIA DEL INVESTIGADOR EN INGENIERÍA DEL SOFTWARE. Pág. 47-56. En: 8. 2005.
Martínez-Gasca, Rafael;Velasco-Morente, Francisco;Toro-Bonilla, Miguel:
ANÁLISIS DE UN SISTEMA BIOMETALÚRGICO CON CONOCIMIENTO INTERVALAR Y CUANTITATIVO. Pág. 191-208. Documenta Universitaria. Documenta Universitaria. 2005.
Durán-Toro, Amador;Ruiz-Cortés, Antonio;Corchuelo-Gil, Rafael;Toro-Bonilla, Miguel:
AN AUTOMATIC APPROACH FOR THE VERIFICATION OF SOFTWARE REQUIREMENTS USING WEB TECHNOLOGIES. Pág. 35-56. CATEDRAL PUBLICACIONES. CATEDRAL PUBLICACIONES. 2003.
Reina-Quintero, Antonia María;Torres-Valderrama, Jesús;Toro-Bonilla, Miguel;Álvarez-García, Juan Antonio:
CONCERNS VS. COMPONENTS FOR WEB DEVELOPMENT. Pág. 873-876. IADIS PRESS. IADIS PRESS. 2003.
Peña-Siles, Joaquín;Corchuelo-Gil, Rafael;Ruiz-Cortés, Antonio;Toro-Bonilla, Miguel:
TOWARDS A METHODOLOGY FOR DESCRIBING COORDINATION IN MULTI-AGENT SYSTEMS. Pág. 315-324. COMBOPEL. COMBOPEL. 2003.
Benavides-Cuevas, David Felipe;Ruiz-Cortés, Antonio;Toro-Bonilla, Miguel:
APLICANDO LA FILOSOFÍA DE LAS CIENCIAS DE LA COMPLEJIDAD A LA INGENIERÍA DEL SOFTWARE. Pág. 97-105. 2003.
Arjona-Fernández, Jose Luis;Corchuelo-Gil, Rafael;Toro-Bonilla, Miguel:
A KNOWLEDGE EXTRACTION PROCESS SPECIFICATION FOR TODAY'S NON-SEMANTIC WEB. Pág. 61-67. IEEE COMPUTER SOCIETY PRESS. IEEE COMPUTER SOCIETY PRESS. 2003.
Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel:
QSI - QUALITATIVE SIMILARITY INDEX. Pág. 45-52. QR. QR. 2002.
Arjona-Fernández, Jose Luis;Corchuelo-Gil, Rafael;Ruiz-Cortés, Antonio;Toro-Bonilla, Miguel:
A PRACTICAL AGENT-BASED METHOD TO EXTRACT SEMANTIC INFORMATION FROM THE WEB. Pág. 697-700. SPRINGER-VERLAG BERLIN. SPRINGER-VERLAG BERLIN. 2002.
Arjona-Fernández, Jose Luis;Corchuelo-Gil, Rafael;Ruiz-Cortés, Antonio;Toro-Bonilla, Miguel:
AUTOMATIC EXTRACTION OF SEMANTICALLY-MEANINGFUL INFORMATION FROM THE WEB. Pág. 24-35. SPRINGER-VERLAG. SPRINGER-VERLAG. 2002.
Ortega-Ramírez, Juan A.;Cuberos-, Francisco J.;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel;Torres-Valderrama, Jesús:
QUALITATIVE COMPARISON OF TEMPORAL SERIES. QSI. Pág. 75-87. SPRINGER-VERLAG. SPRINGER-VERLAG. 2002.
González-Romano, José Mariano;Toro-Bonilla, Miguel:
LA ASIGNATURA DE DISEÑO DE INTERFACES HOMBRE-MÁQUINA DE LA ETS INGENIERÍA INFORMÁTICA DE SEVILLA. Pág. 311-314. UNIVERSIDAD DE GRANADA. UNIVERSIDAD DE GRANADA. 2002.
Ruiz-Cortés, David;Corchuelo-Gil, Rafael;Pérez-Castellanos, José Antonio;Toro-Bonilla, Miguel:
AN ALGORITHM FOR ENSURING FAIRNESS AND LIVENESS IN NON-DETERMINISTIC SYSTEMS BASED ON MULTIPARTY INTERACTIONS. Pág. 563-572. SPRINGER-VERLAG. SPRINGER-VERLAG. 2002.
Pérez-Castellanos, José Antonio;Corchuelo-Gil, Rafael;Ruiz-Cortés, David;Toro-Bonilla, Miguel:
A FRAMEWORK FOR ASPECT-ORIENTED MULTIPARTY COODINATION. Pág. 161-174. KLUWER ACADEMIC PUBLISHERS. KLUWER ACADEMIC PUBLISHERS. 2001.
Ruiz-Cortés, David;Corchuelo-Gil, Rafael;Pérez-Castellanos, José Antonio;Toro-Bonilla, Miguel:
UNA NUEVA NOCIÓN DE SELECCIÓN DE INTERACCIONES. Pág. 389-402. FUNDACIÓN DINTEL. FUNDACIÓN DINTEL. 2001.
Ortega-Ramírez, Juan A.;Toro-Bonilla, Miguel;Galán-Morillo, Francisco José:
OPTIMIZACION EN MODELOS QUE INTEGRAN CONOCIMIENTO CUALITATIVO Y CUANTITATIVO. Pág. 1-9. EDICIÓN DIGITAL @ TRES. EDICIÓN DIGITAL @ TRES. 2000.
Ramos-Román, Isabel;Toro-Bonilla, Miguel;Ruiz-Carreira, Mercedes:
GESTIÓN DE PROYECTOS Y SIMULACIÓN. Pág. 173-191. Ra-Ma. Ra-Ma. 2000.
Toro-Bonilla, Miguel;Torres-Valderrama, Jesús;González-Romano, José Mariano;Ortega-Ramírez, Juan A.:
ESTUDIO DE SISTEMAS SEMICUALITATIVOS CON RESTRICCIONES. APLICACION A UN MODELO LOGISTICO CON RETRASO. Pág. 165-180. EDICIÓN DIGITAL @ TRES. EDICIÓN DIGITAL @ TRES. 2000.
Martínez-Gasca, Rafael;Toro-Bonilla, Miguel;Torres-Valderrama, Jesús;Juan M. Cordero:
USING CONSTRAINT PROGRAMMING FRAMEWORK FOR SEMIQUALITATIVE REASONING. Pág. 75-85. EDICIÓN DIGITAL @ TRES. EDICIÓN DIGITAL @ TRES. 2000.
Aguilar-Ruiz, Jesus Salvador;Riquelme-Santos, José Cristóbal;Ramos-Román, Isabel;Toro-Bonilla, Miguel:
A NEW METHOD FOR OBTAINING SOFTWARE PROJECT MANAGEMENT RULES. Pág. 153-164. DESCONOCIDO. DESCONOCIDO. 2000.
Toro-Bonilla, Miguel;Galán-Morillo, Francisco José;Ortega-Ramírez, Juan A.:
SEMIQUALITATIVE TEMPORAL PATTERNS IN TIME-SERIES DATABASES. Pág. 11-20. EDICIÓN DIGITAL @ TRES. EDICIÓN DIGITAL @ TRES. 2000.
Ruiz-Cortés, Antonio;Corchuelo-Gil, Rafael;Martín-Díaz, Octavio;Durán-Toro, Amador;Toro-Bonilla, Miguel:
ADDRESSING INTEROPERABILITY IN MULTI-ORGANISATIONAL WEB-BASED SYSTEMS. Pág. 87-96. UNIVERSIDAD DE EXTREMADURA. UNIVERSIDAD DE EXTREMADURA. 2000.
Ramos-Román, Isabel;Toro-Bonilla, Miguel;Ruiz-Cortés, David:
GESTION DE PROYECTOS Y SIMULACION. Pág. 173-191. Ra-Ma. Ra-Ma. 2000.
Peña-Siles, Joaquín;Corchuelo-Gil, Rafael;Ruiz-Cortés, Antonio;Ferrer-Troyano, Francisco Javier;Toro-Bonilla, Miguel:
UNA APROXIMACIÓN AL DESARROLLO DE SOFTWARE BASADA EN EL PROTOTIPADO ARQUITECTÓNICO. Pág. 191-202. JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS. JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS. 2000.
Toro-Bonilla, Miguel:
A COMPONENTS MODEL BASED ON INTERACTION-NETS. Pág. 548-553. INTERNATIONAL INSTITUTE OF INFORMATICS AND SYSTEMICS (IIIS). INTERNATIONAL INSTITUTE OF INFORMATICS AND SYSTEMICS (IIIS). 1999.
Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel:
A NEW METHODOLOGY FOR REASONING ABOUT SEMIQUALITATIVE DYNAMIC SYSTEMS. Pág. 33-38. DESCONOCIDO. DESCONOCIDO. 1999.
Troyano-Jiménez, José A.;Toro-Bonilla, Miguel;Torres-Valderrama, Jesús;Corchuelo-Gil, Rafael;Durán-Toro, Amador:
OBJECT ORIENTED SPECIFICATION BASED ON RESTRICTIONS: PARTICIPATION AND INTERACTION. Pág. 56-60. DESCONOCIDO. DESCONOCIDO. 1999.
Durán-Toro, Amador;Bernárdez-Jiménez, Beatriz;Toro-Bonilla, Miguel;Corchuelo-Gil, Rafael;Ruiz-Cortés, Antonio:
EXPRESSING CUSTOMER REQUIREMENTS USING NATURAL LANGUAGE REQUIREMENTS TEMPLATES AND PATTERNS. Pág. 337-342. WORLD SCIENTIFIC AND ENGINEERING ACADEMY AND SOCIETY PRESS. WORLD SCIENTIFIC AND ENGINEERING ACADEMY AND SOCIETY PRESS. 1999.
Prieto-,J.M.;Arjona-Fernández, Jose Luis;Corchuelo-Gil, Rafael;Toro-Bonilla, Miguel;Ruiz-Cortés, David:
A SYMBOLIC PORTABLE DEBUGGER FOR COMPILERS THAT GENERATE C CODE. Pág. 105-110. DESCONOCIDO. DESCONOCIDO. 1999.
Martínez-Gasca, Rafael;Toro-Bonilla, Miguel:
A NEW METHODOLOGY FOR REASONING ABOUT SEMIQUALITATIVE SYNAMIC SYSTEMS. Pág. 33-38. DESCONOCIDO. DESCONOCIDO. 1999.
Ruiz-Cortés, David;Corchuelo-Gil, Rafael;Pérez-Castellanos, José Antonio;Toro-Bonilla, Miguel;Durán-Toro, Amador;Arjona-Fernández, Jose Luis:
IMPLEMENTACIÓN DE INTERACCIONES ENTRE MÚLTIPLES PARTICIPANTES SOBRE UNA MÁQUINA VIRTUAL EN RED. Pág. 183-193. S. BARRO, N.R BROSABOA, J.M. BUSTA, F.F. RIVERA. S. BARRO, N.R BROSABOA, J.M. BUSTA, F.F. RIVERA. 1999.
Corchuelo-Gil, Rafael;Ruiz-Cortés, David;Toro-Bonilla, Miguel;Arjona-Fernández, Jose Luis;Prieto-,J.M.:
A DISTRIBUTED SOLUTION TO SYNCHRONOUS MULTIPARTY INTERACTION. Pág. 318-323. En: 2. DESCONOCIDO. DESCONOCIDO. 1999.
Ridao-Carlini, Miguel Angel;Riquelme-Santos, José Cristóbal;Fernández-Camacho, Eduardo;Toro-Bonilla, Miguel:
An evolutionary and Local Search Algorithm for planning two manipulator motions.. Pág. 105-114. En: 1416. Springer Verlag. Springer Verlag. 1998.
Riquelme-Santos, José Cristóbal;Ridao-Carlini, Miguel Angel;Fernández-Camacho, Eduardo;Toro-Bonilla, Miguel:
Using Genetic Algorithm with variable-length individual for planning two-manipulator motion. Pág. 26-30. Springer Verlag. Springer Verlag. 1998.
Carrillo-Montero, Vicente;Díaz-Madrigal, Víctor Jesús;Toro-Bonilla, Miguel:
UNA GRAMÁTICA S-ATRIBUIDA PARA TAG. Pág. 247-254. SERVICIO DE AUTOEDICIÓN E IMPRESIÓN DE LA UNIVERSIDAD DE CÁDIZ. SERVICIO DE AUTOEDICIÓN E IMPRESIÓN DE LA UNIVERSIDAD DE CÁDIZ. 1998.
Díaz-Madrigal, Víctor Jesús;Carrillo-Montero, Vicente;Toro-Bonilla, Miguel:
A REVIEW OF EARLY-BASED PARSER FOR TIG. Pág. 732-738. En: 1415. DESCONOCIDO. DESCONOCIDO. 1998.
Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel:
INCLUDING QUALITATIVE KNOWLEDGE IN SEMIQUALITATIVE DYNAMICAL SYSTEMS. Pág. 329-335. En: 1415. DESCONOCIDO. DESCONOCIDO. 1998.
Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel:
AUTOMATIC SEMIQUALITATIVE ANALYSIS: APPLICATION TO A BIOMETALLURGICAL SYSTEM. Pág. 321-329. En: 1415. DESCONOCIDO. DESCONOCIDO. 1998.
Carrillo-Montero, Vicente;Díaz-Madrigal, Víctor Jesús;Toro-Bonilla, Miguel:
UN MÉTODO GENERAL DE TRANSFORMACIÓN DE CFG A TAG. Pág. 201-208. Promociones Y Publicaciones Universitarias. Promociones Y Publicaciones Universitarias. 1996.
Martínez-Gasca, Rafael;Ortega-Ramírez, Juan A.;Toro-Bonilla, Miguel:
SEMI-QUANTITATIVE SIMULATION OF DYNAMIC SYSTEMS WITH UNCERTAIN INITIAL CONDITIONS. Pág. 266-270. THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL. THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL. 1995.
Torres-Valderrama, Jesús;Troyano-Jiménez, José A.;Toro-Bonilla, Miguel:
SOFTWARE QUALITY THROUGH FORMAL OO SPECIFICATION. Pág. 47-57. COMPUTACIONAL MECHANICS PUBLICATIONS. COMPUTACIONAL MECHANICS PUBLICATIONS. 1995.
Romero-Moreno, Luisa María;Arrabal-Parrilla, Juan Jose;Toro-Bonilla, Miguel;Martínez-Gasca, Rafael:
AUTOMATIC PIECEWISE - LINEAR ANALYSIS OF QUALITATIVE MODELS WITH DELAYS. Pág. 123-134. PIERA & SINGH. PIERA & SINGH. 1993.
Toro-Bonilla, Miguel;Arrabal-Parrilla, Juan Jose;Romero-Moreno, Luisa María:
PIECEWISE LINEAR ANALYSIS OF AN INFLUENCE DIAGRAM. Pág. 705-713. VENNIX& FABER. VENNIX& FABER. 1992.

Asistencia a congresos

Borrego, Diana;Barba-Rodríguez, Irene;Toro-Bonilla, Miguel;Del Valle-Sevillano, Carmelo:
Problem Generalization for Designing Recursive Algorithms. Comunicación en congreso. 11th International Conference on EUropean Transnational Educational. BURGOS. 2020
García, José María;Martín-Díaz, Octavio;Fernández-Montes, Pablo;Ruiz-Cortés, Antonio;Toro-Bonilla, Miguel:
Automated analysis of cloud offerings for optimal service provisioning (Summary). Comunicación en congreso. Jornadas de Ciencia e Ingeniería de Servicios. Sevilla. 2018
García, José María;Martín-Díaz, Octavio;Fernández-Montes, Pablo;Ruiz-Cortés, Antonio;Toro-Bonilla, Miguel:
Automated Analysis of Cloud Offerings for Optimal Service Provisioning. Comunicación en congreso. International Conference on Service-Oriented Computing. Málaga. 2017
Cañete-Valdeón, José Miguel;Ruiz-Cortés, Antonio;Toro-Bonilla, Miguel:
Defeasible argumentation of software architectures. Comunicación en congreso. 13th Working IEEE/IFIP Conference on Software Architecture. Venecia. 2016
Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel:
INCLUDING QUALITATIVE KNOWLEDGE IN SEMIQUALITATIVE DYNAMICAL SYSTEMS. Comunicación en congreso. II Jornadas de Lingüística. Facultad de Filosofia y Letras. Universidad de Cádiz. 2014
Aguilar-Ruiz, Jesus Salvador;Ramos-Román, Isabel;Riquelme-Santos, José Cristóbal;Ferrer-Troyano, Francisco Javier;Toro-Bonilla, Miguel;Ruiz-Carreira, Mercedes:
INTEGRATION OF INFORMATION IN A TRAINING ENVIRONMENT FOR SOFTWARE PROJECT MANAGEMENT. Comunicación en congreso. INTERNATIONAL CONFERENCE OF SOFTWARE QUALITY MANAGEMENT (1.2001.LOUGHBOROUGH (UK)). LOUGHBOROUGH (UK). 2011
Orta-Cuevas, Elena;Ruiz-Carreira, Mercedes;Toro-Bonilla, Miguel;Orta-Cuevas, Elena:
APLICACIÓN DE LAS TÉCNICAS DE MODELADO Y SIMULACIÓN EN LA GESTIÓN DE INCIDENCIAS DE SERVICIOS TI. Comunicación en congreso. XVI JORNADAS EN INGENIERÍA DEL SOFTWARE Y BASES DE DATOS. A CORUÑA, ESPAÑA. 2011
Orta-Cuevas, Elena;Ruiz-Carreira, Mercedes;Toro-Bonilla, Miguel:
SIMULACIÓN APLICADA A LA MEJORA DE LA GESTIÓN DE SERVICIOS TI. Comunicación en congreso. ACADEMIC INTERNATIONAL CONFERENCE ON IT GOVERNANCE AND SERVICE MANAGEMENT (ITGSM 2011). MADRID Y SEVILLA, ESPAÑA. 2011
Reina-Quintero, Antonia María;Toro-Bonilla, Miguel;Torres-Valderrama, Jesús:
DE FLUJOS DE NAVEGACIÓN A SPRING WEB FLOW. UN PRIMER ACERCAMIENTO A LAS TRANSFORMACIONES VERTICALES EN MWACSL. Conferencia Congreso no publicada. JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS (13) (13.2010.VALENCIA). . 2010
Navascués-Fernández Victorio, Javier;Toro-Bonilla, Miguel;Ramos-Román, Isabel:
A HYBRID MODEL FOR DYNAMIC SIMULATION OF CUSTOM SOFTWARE PROJECTS IN A MULTIPROJECT ENVIRONMENT. Comunicación en congreso. INTERNATIONAL CONFERENCE ON SOFTWARE PROCESS ICSP 2009 () (.2009.VANCOUVER, CANADA). VANCOUVER, CANADA. 2009
Orta-Cuevas, Elena;Ruiz-Carreira, Mercedes;Toro-Bonilla, Miguel:
ANALYZING STRATEGIC BUSINESS RULES THROUGH SIMULATION MODELING. Comunicación en congreso. CONFERENCE ON E-BUSINESS, E-SERVICES AND E-SOCIETY (I3E 2009) () (9.2009.NANCY, FRANCE). NANCY, FRANCE. 2009
Orta-Cuevas, Elena;Ruiz-Carreira, Mercedes;Toro-Bonilla, Miguel:
A SYSTEM DYNAMICS APPROACH TO WEB SERVICE CAPACITY MANAGEMENT. Comunicación en congreso. ECOWS09,IEEE SEVENTH EUROPEAN CONFERENCE ON WEB SERVICES (EINDHOVEN, THE NETHERLANDS) () (7.2009.EINDHOVEN, THE NETHERLANDS). EINDHOVEN, THE NETHERLANDS. 2009
Orta-Cuevas, Elena;Ruiz-Carreira, Mercedes;Toro-Bonilla, Miguel:
ANÁLISIS DE LOS EFECTOS DE LAS POLÍTICAS DE GESTIÓN DE LA CAPACIDAD DE LOS SERVICIOS EN EL CUMPLIMIENTO DE LOS SLAS UTILIZANDO SIMULACIÓN. Comunicación en congreso. XIV JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS (JISBD 2009) (14) (14.2009.SAN SEBASTIÁN, ESPAÑA). SAN SEBASTIÁN, ESPAÑA. 2009
Orta-Cuevas, Elena;Ruiz-Carreira, Mercedes;Toro-Bonilla, Miguel:
APLICACIÓN DE LAS TÉCNICAS DE MODELADO Y SIMULACIÓN EN LA GESTIÓN DE SERVICIOS TI. Comunicación en congreso. TALLER DE APOYO A LA DECISIÓN EN INGENIERÍA DEL SOFTWARE EN LAS XIV JORNADAS EN INGENIERÍA DEL SOFTWARE Y BASES DE DATOS (2009.SAN SEBASTIÁN, ESPAÑA). SAN SEBASTIÁN, ESPAÑA. 2009
Reina-Quintero, Antonia María;Toro-Bonilla, Miguel;Torres-Valderrama, Jesús:
GENERATING DOMAIN SPECIFIC ASPECT CODE FOR NAVIGATION FROM PLATFORM SPECIFIC MODELS IN MWACSL. Comunicación en congreso. JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS (13.2008.GIJON, ESPAÑA). GIJON, ESPAÑA. 2008
Navascués-Fernández Victorio, Javier;Ramos-Román, Isabel;Toro-Bonilla, Miguel:
UNA PROPUESTA DE APLICACIÓN DE MÉTODOS HEURÍSTICOS PARA LA PROGRAMACIÓN DE PROYECTOS DE SOFTWARE A MEDIDA. Comunicación en congreso. CONSTRUCTION AND ENGINEERING PROJECT MANAGEMENT INTERNATIONAL WORKSHOP (1) (1.2008.VALLADOLID, ESPAÑA). VALLADOLID, ESPAÑA. 2008
Orta-Cuevas, Elena;Ruiz-Carreira, Mercedes;Toro-Bonilla, Miguel:
APLICACIÓN DE LAS TÉCNICAS DE MODELADO Y SIMULACIÓN EN LA GESTIÓN DE LA CAPACIDAD DE LOS SERVICIOS TI. Comunicación en congreso. JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS (13.2008.GIJON, ESPAÑA). GIJON, ESPAÑA. 2008
Reina-Quintero, Antonia María;Torres-Valderrama, Jesús;Toro-Bonilla, Miguel:
EL METAMODELADO DE UN FRAMEWORK: SPRING WEB FLOW. Comunicación en congreso. JORNADAS DE PARALELISMO. II CONGRESO ESPAÑOL DE INFORMÁTICA (CEDI 2007) (18.2007.ZARAGOZA, ESPAÑA). ZARAGOZA, ESPAÑA. 2007
Reina-Quintero, Antonia María;Torres-Valderrama, Jesús;Toro-Bonilla, Miguel:
IMPROVING THE ADAPTATION OF WEB APPLICATIONS TO DIFFERENT VERSIONS OF SOFTWARE WITH MDA. Comunicación en congreso. WORKSHOP ON ADAPTATION AND EVOLUTION IN WEB SYSTEMS ENGINEERING (AEWSE07) HELD WITH THE INTERNATIONAL CONFERENCE ON WEB ENGINEERING (ICWE07) (2) (2.2. COMO. ITALIA. 2007
Reina-Quintero, Antonia María;Toro-Bonilla, Miguel;Torres-Valderrama, Jesús:
INTEGRANDO ASPECTOS EN MWACSL. Comunicación en congreso. JORNADAS DE PARALELISMO. II CONGRESO ESPAÑOL DE INFORMÁTICA (CEDI 2007) (18.2007.ZARAGOZA, ESPAÑA). ZARAGOZA, ESPAÑA. 2007
Reina-Quintero, Antonia María;Torres-Valderrama, Jesús;Toro-Bonilla, Miguel;Escalona-Cuaresma, María José:
MODELANDO ASPECTOS CON LENGUAJES ESPECÍFICOS DE DOMINIO. Comunicación en congreso. AVANCES EN DESARROLLO DE SOFTWARE ORIENTADO A ASPECTOS (1) (1.2004.MÁLAGA, ESPAÑA). , MÁLAGA, ESPAÑA. 2004
Reina-Quintero, Antonia María;Torres-Valderrama, Jesús;Toro-Bonilla, Miguel;Álvarez-García, Juan Antonio:
SEPARACIÓN DE CONCEPTOS Y MDA: ARQUITECTURA DE UN FRAMEWORK. Comunicación en congreso. TALLER SOBRE DESARROLLO DE SOFTWARE DIRIGIDO POR MODELOS, MDA Y APLICACIONE (DSDM04) (1) (1.2004.MÁLAGA, ESPAÑA). , MÁLAGA, ESPAÑA. 2004
Ramos-Román, Isabel;Toro-Bonilla, Miguel:
USING DYNAMIC MODELING AND SIMULATION TO IMPROVE COTS-BASED SOFTWARE DEVELOPMENT. Comunicación en congreso. INTERNATIONAL CONFERENCE ON PRODUCT FOCUSED SOFTWARE PROCESS IMPROVEMENT (5) (5.2004.KANSAI, JAPÓN). KANSAI, JAPÓN. 2004
Bernárdez-Jiménez, Beatriz;Durán-Toro, Amador;Toro-Bonilla, Miguel;Genero-Bocco, Marcela:
MBR: UNA TÉCNICA DE DETECCIÓN DE DEFECTOS PARA CASOS DE USO BASADA EN MÉTRICAS. Comunicación en congreso. JORNADAS SOBRE INNOVACIÓN Y CALIDAD DEL SOFTWARE (9) (9.2004.MADRID). . 2004
Reina-Quintero, Antonia María;Torres-Valderrama, Jesús;Toro-Bonilla, Miguel:
TOWARDS DEVELOPING GENERIC SOLUTIONS WITH ASPECTS. Comunicación en congreso. THE 5TH ASPECT-ORIENTED MODELING WORKSHOP (AOM). (5) (5.2004.LISBOA, PORTUGAL). LISBOA, PORTUGAL. 2004
Ceballos-Guerrero, Rafael;Martínez-Gasca, Rafael;Valle-Sevillano, Carmelo Del;Toro-Bonilla, Miguel:
INTERVAL MODEL-BASED DIAGNOSIS USING CONSTRAINT PROGRAMMING. Comunicación en congreso. WAC (WORLD AUTOMATION CONGRESS) () (.2004.SEVILLA, ESPAÑA). Santander (ESPAÑA). 2004
Ruiz-Carreira, Mercedes;Ramos-Román, Isabel;Toro-Bonilla, Miguel:
BUILDING SOFTWARE PROCESS MODELS WITH A MULTITIER ARCHITECTURE. Comunicación en congreso. INTERNATIONAL WORKSHOP ON SOFTWARE PROCESS SIMULATION AND MODELING (5) (5.2004.EDIMBURGO, ESCOCIA, REINO UNIDO). EDIMBURGO, ESCOCIA, REINO UNIDO. 2004
Reina-Quintero, Antonia María;Torres-Valderrama, Jesús;Toro-Bonilla, Miguel;Álvarez-García, Juan Antonio:
CONCERNS VS. COMPONENTS FOR WEB DEVELOPMENT. Comunicación en congreso. IADIS INTERNATIONAL CONFERENCE WWW/INTERNET 2003. () (.2003.ALGARVE. PORTUGAL). ALGARVE. PORTUGAL. 2003
Reina-Quintero, Antonia María;Torres-Valderrama, Jesús;Toro-Bonilla, Miguel;Escalona-Cuaresma, María José:
LA SEPARACIÓN DE CONCEPTOS EN SISTEMAS WEB. Comunicación en congreso. IV JORNADAS DE TRABAJO DOLMEN (4.2003.ALICANTE, ESPAÑA). ALICANTE, ESPAÑA. 2003
Valle-Sevillano, Carmelo Del;Toro-Bonilla, Miguel;Fernández-Camacho, Eduardo;Martínez-Gasca, Rafael:
A Scheduling Approach to Assembly Sequence Planning. Ponencia en Congreso. 2003 IEEE INTERNATIONAL SYMPOSIUM ON ASSEMBLY AND TASK PLANNING. BESANÇON, FRANCIA. 2003
Márquez-Hernández, Antonio Ángel;Del Valle-Sevillano, Carmelo;Gómez-López, Mª Teresa;Toro-Bonilla, Miguel:
CB2: UN ALGORITMO BASADO EN RESTRICCIONES PARA LA SELECCIÓN ÓPTIMA DE SECUENCIAS DE ENSAMBLAJE. Comunicación en congreso. ASOCIACIÓN ESPAÑOLA PARA LA INTELIGENCIA ARTIFICIAL. CONFERENCIA (10.2003.SAN SEBASTIÁN). SAN SEBASTIÁN. 2003
Martín-Díaz, Octavio;Ruiz-Cortés, Antonio;Corchuelo-Gil, Rafael;Toro-Bonilla, Miguel:
A FRAMEWORK FOR CLASSIFYING AND COMPARING WEB SERVICES PROCUREMENT PLATFORMS. Comunicación en congreso. WEB SERVICES QUALITY WORKSHOP (1) (1.2003.ROMA). . 2003
Arjona-Fernández, Jose Luis;Corchuelo-Gil, Rafael;Toro-Bonilla, Miguel:
A KNOWLEDGE EXTRACTION PROCESS SPECIFICATION FOR TODAY'S NON-SEMANTIC WEB.. Comunicación en congreso. IEEE/WIC INTERNATIONAL CONFERENCE ON INTELLIGENT AGENT TECHNOLOGY () (.2003.HALIFAX, CANADA). HALIFAX, CANADA. 2003
Reina-Quintero, Antonia María;Torres-Valderrama, Jesús;Toro-Bonilla, Miguel:
ASPECT-ORIENTED WEB DEVELOPMENT VS. NON ASPECT-ORIENTED WEB DEVELOPMENT. Comunicación en congreso. WORKSHOP ON AAOS2003: ANALYSIS OF ASPECT ORIENTED SOFTWARE HELD IN CONJUNCTION WITH ECOOP 2003 () (.2003.DARMSTADT, ALEMANIA). DARMSTADT, ALEMANIA. 2003
Martínez-Gasca, Rafael;Valle-Sevillano, Carmelo Del;Ceballos-Guerrero, Rafael;Toro-Bonilla, Miguel:
AN INTEGRATION OF FDI AND DX APPROACHES TO POLYNOMIAL MODELS. Comunicación en congreso. FOURTEENTH INTERNATIONAL WORKSOP ON PRINCIPLES OF DIAGNOSIS (.2003.WASHINGTON D.C., USA). WASHINGTON D.C., USA. 2003
Reina-Quintero, Antonia María;Torres-Valderrama, Jesús;Toro-Bonilla, Miguel:
UNA EXPERIENCIA PRÁCTICA REUTILIZANDO ASPECTOS. Comunicación en congreso. TALLER DE DESARROLLO DE SOFTWARE ORIENTADO A ASPECTOS (1.2003.ALICANTE). ALICANTE. 2003
Martín-Díaz, Octavio;Benavides-Cuevas, David Felipe;Peña-Siles, Joaquín;Toro-Bonilla, Miguel:
UN TRATAMIENTO SENSIBLE A LA CALIDAD PARA LA ADQUISICIÓN DE SERVICIOS WEB. Comunicación en congreso. JORNADAS DE INGENIÉRIA DEL SOFTWARE Y BASES DE DATOS (8.2003.ALICANTE). ALICANTE. 2003
Ruiz-Carreira, Mercedes;Ramos-Román, Isabel;Toro-Bonilla, Miguel:
AN INTEGRATED FRAMEWORK FOR SIMULATION-BASED SOFWARE PROCESS IMPROVEMENT. Comunicación en congreso. INTERNATIONAL WORKSHOP ON SOFTWARE PROCESS SIMULATION MODELING (4) (4.2003.PORTLAND, OR, USA). PORTLAND, OR, USA. 2003
Bernárdez-Jiménez, Beatriz;Durán-Toro, Amador;Toro-Bonilla, Miguel:
UNA REVISIÓN EMPÍRICA DE HEURÍSTICAS DE VERIFICACIÓN DE CASOS DE USO BASADAS EN MÉTRICAS. Comunicación en congreso. JORNADAS DE INGENIÉRIA DEL SOFTWARE Y BASES DE DATOS (8.2003.ALICANTE). ALICANTE. 2003
Valle-Sevillano, Carmelo Del;Gasca, R.m.;Toro-Bonilla, Miguel;Fernández-Camacho, Eduardo:
A genetic Algorithm for Assembly Sequence Planning.. Ponencia en Congreso. INTERNATIONAL WORK-CONFERENCE ON ARTIFICIAL AND NATURAL NEURAL NETWORKS, IWANN 2003 (7.2003.MENORCA, ESPAÑA). MENORCA, ESPAÑA. 2003
Peña-Siles, Joaquín;Corchuelo-Gil, Rafael;Ruiz-Cortés, Antonio;Toro-Bonilla, Miguel:
TOWARDS A METHODOLOGY FOR DESCRIBING COORDINATION IN MULTI-AGENT SYSTEMS. Comunicación en congreso. JORNADAS DE INGENIÉRIA DEL SOFTWARE Y BASES DE DATOS (8.2003.ALICANTE). ALICANTE. 2003
Arjona-Fernández, Jose Luis;Corchuelo-Gil, Rafael;Ruiz-Cortés, David;Peña-Siles, Joaquín;Toro-Bonilla, Miguel:
KNOWLEDGE CHANNELS. BRINGING THE KNOWLEDGE ON THE WEB TO SOFTWARE AGENTS.. Comunicación en congreso. ADVANCED INFORMATION SYSTEMS ENGINEERING: 15TH INTERNATIONAL CONFERENCE (CAISE 2003). () (.2003.KLAGENFURT/VELDEN, AUSTRIA). KLAGENFURT/VELDEN, AUSTRIA. 2003
Reina-Quintero, Antonia María;Torres-Valderrama, Jesús;Toro-Bonilla, Miguel;Escalona-Cuaresma, María José:
DESACOPLANDO CLASES NAVEGACIONALES DE CLASES CONCEPTUALES. Comunicación en congreso. III JORNADAS DE TRABAJO DOLMEN. . 2002
Reina-Quintero, Antonia María;Torres-Valderrama, Jesús;Toro-Bonilla, Miguel;Escalona-Cuaresma, María José:
CARACTERIZANDO EL ASPECTO DE NAVEGACIÓN. Comunicación en congreso. Jornadas de Ingeniería del Software y Bases de Datos. . 2002
Valle-Sevillano, Carmelo Del;Fernández-Camacho, Eduardo;Toro-Bonilla, Miguel:
A Clp Approach for Assembly Sequence Planning. Ponencia en Congreso. Third International Naiso Symposium on Engineering of Intelligent Systems. MALAGA (ESPAÑA). 2002
Ceballos-Guerrero, Rafael;Martínez-Gasca, Rafael;Valle-Sevillano, Carmelo Del;Toro-Bonilla, Miguel:
DIAGNOSIS BASADA EN MODELOS PARA LA DEPURACIÓN DE SOFTWARE MEDIANTE TÉCNICAS SIMBÓLICAS. Comunicación en congreso. JORNADAS ARCA SISTEMAS CUALITATIVOS Y DIAGNOSIS (4.2002.VILANOVA I LA GELTRU, BARCELONA). VILANOVA I LA GELTRU, BARCELONA. 2002
Durán-Toro, Amador;Ruiz-Cortés, Antonio;Corchuelo-Gil, Rafael;Toro-Bonilla, Miguel:
THE TABBED HIERARCHY USER INTERFACE DESIGN PATTERN. Comunicación en congreso. WORKSHOP IBEROAMERICA DE INGENIERÍA DE REQUISITOS Y AMBIENTES SOFTWARE (6.2002.LA HABANA, CUBA). LA HABANA, CUBA. 2002
Arjona-Fernández, Jose Luis;Corchuelo-Gil, Rafael;Toro-Bonilla, Miguel:
AUTOMATIC EXTRACTION OF INFORMATION FROM THE WEB.. Comunicación en congreso. WORKSHOP IBEROAMERICA DE INGENIERÍA DE REQUISITOS Y AMBIENTES SOFTWARE (6.2002.LA HABANA, CUBA). LA HABANA, CUBA. 2002
Durán-Toro, Amador;Ruiz-Cortés, Antonio;Corchuelo-Gil, Rafael;Toro-Bonilla, Miguel:
APPLYING XML TECHNOLOGIES IN REQUIREMENTS VERIFICATION. Comunicación en congreso. WORKSHOP IBEROAMERICA DE INGENIERÍA DE REQUISITOS Y AMBIENTES SOFTWARE (6.2002.LA HABANA, CUBA). LA HABANA, CUBA. 2002
Ruiz-Carreira, Mercedes;Ramos-Román, Isabel;Toro-Bonilla, Miguel:
MARCO DINÁMICO INTEGRADO PARA LA MEJORA DE LOS PROCESOS SOFTWARE. Comunicación en congreso. JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS (7.2002.MADRID (ESPAÑA)). MADRID (ESPAÑA). 2002
Ruiz-Carreira, Mercedes;Ramos-Román, Isabel;Toro-Bonilla, Miguel:
SOFTWARE PROCESS IMPROVEMENT ACHIEVEMENT THROUGH PROCESS SIMULATION. Comunicación en congreso. INTERNATIONAL CONFERENCE OF SOFTWARE QUALITY MANAGEMENT (10.2002.LIMERICK (IRLANDA)). LIMERICK (IRLANDA). 2002
Durán-Toro, Amador;Ruiz-Cortés, Antonio;Corchuelo-Gil, Rafael;Toro-Bonilla, Miguel:
IMPLEMENTING REQUIREMENTS VERIFICATION HEURISTICS WITH XML AND XSLT. Comunicación en congreso. ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING (3.2002.MADRID, ESPAÑA). . 2002
Pérez-Castellanos, José Antonio;Corchuelo-Gil, Rafael;Ruiz-Cortés, David;Toro-Bonilla, Miguel:
AN ORDER-BASED, DISTRIBUTED ALGORITHM FOR IMPLEMENTIG MULTIPARTY INTERACTIONS. Comunicación en congreso. COORDINATION'02 (.2002.YORK, UNITED KINGDOM). YORK, UNITED KINGDOM. 2002
Benavides-Cuevas, David Felipe;Ruiz-Cortés, Antonio;Toro-Bonilla, Miguel:
APLICANDO LA FILOSOFÍA DE LAS CIENCIAS DE LA COMPLEJIDAD A LA INGENIERÍA DEL SOFTWARE. Comunicación en congreso. WORKSHOP SOBRE MÉTODOS DE INVESTIGACIÓN Y FUNDAMENTOS FILOSÓFICOS EN INGENIERÍA DEL SOFTWARE Y SISTEMAS DE INFORMACIÓN (.2002.EL ESCORIAL, ESPAÑA). EL ESCORIAL, ESPAÑA. 2002
Ruiz-Cortés, Antonio;Durán-Toro, Amador;Corchuelo-Gil, Rafael;Toro-Bonilla, Miguel:
USING CONSTRAINT PROGRAMMING FOR THE AUTOMATIC DETECTION OF CONFLICTS IN QUALITY REQUIREMENTS. Comunicación en congreso. WORKSHOP EN INGENIERÍA DE REQUISITOS (5.2002.VALENCIA, ESPAÑA). VALENCIA, ESPAÑA. 2002
Durán-Toro, Amador;Ruiz-Cortés, Antonio;Toro-Bonilla, Miguel:
IMPLEMENTING AUTOMATIC QUALITY VERIFICATION OF REQUIREMENTS WITH XML AND XSLT. Comunicación en congreso. INTERNATIONAL WORKSHOP ON QUANTITATIVE APPROACHES IN OBJECT-ORIENTED SOFTWARE ENGINEERING (6.2002.MÁLAGA, ESPAÑA). , MÁLAGA, ESPAÑA. 2002
Ruiz-Cortés, David;Corchuelo-Gil, Rafael;Pérez-Castellanos, José Antonio;Toro-Bonilla, Miguel:
AN ALGORITHM FOR ENSURING FAIRNESS AND LIVENESS IN NON¿DETERMINISTIC SYSTEMS BASED ON MULTIPARTY INTERACTIONS. Ponencia en Congreso. EURO-PAR 2002: PARALLEL PROCESING (8.2002.PADERBORN, ALEMANIA). PADERBORN, ALEMANIA. 2002
Ruiz-Cortés, Antonio;Corchuelo-Gil, Rafael;Durán-Toro, Amador;Toro-Bonilla, Miguel:
AUTOMATED NEGOTIATION OF QUALITY REQUIREMENTS. Comunicación en congreso. JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS (7.2002.MADRID (ESPAÑA)). MADRID (ESPAÑA). 2002
Cañete-Valdeón, José Miguel;Galán-Morillo, Francisco José;Toro-Bonilla, Miguel:
ADAPTING DESIGN TYPES TO COMMUNICATION MEDIA AND MIDDLEWARE ENVIRONMENTS. Comunicación en congreso. WORKSHOP ON INTEGRATION AND TRANSFORMATION OF UML MODELS (1.2002.MÁLAGA, ESPAÑA). , MÁLAGA, ESPAÑA. 2002
Juan M. Cordero;González-Romano, José Mariano;Toro-Bonilla, Miguel:
LA ASIGNATURA DE DISEÑO DE INTERFACES HOMBRE-MÁQUINA DE LA E.T.S. INGENIERÍA INFORMÁTICA DE SEVILLA. Comunicación en congreso. CONGRESO INTERNACIONAL DE INTERACCIÓN PERSONA-ORDENADOR (3.2002.LEGANÉS, ESPAÑA). LEGANÉS, ESPAÑA. 2002
Pérez-Castellanos, José Antonio;Corchuelo-Gil, Rafael;Ruiz-Cortés, David;Toro-Bonilla, Miguel:
AN ENABLEMENT DETECTION ALGORITHM FOR OPEN MULTIPARTY INTERACTIONS. Comunicación en congreso. ACM SYMPOSIUM ON APPLIED COMPUTING (.2002.MADRID. SPAIN). MADRID. SPAIN. 2002
Arjona-Fernández, Jose Luis;Corchuelo-Gil, Rafael;Ruiz-Cortés, Antonio;Toro-Bonilla, Miguel:
AUTOMATIC EXTRACTION OF SEMANTICALLY-MEANINGFUL INFORMATION FROM THE WEB.. Comunicación en congreso. WORKSHOP ON PERSONALIZATION TECHNIQUES IN ELECTRONIC PUBLISHING (1.2002.MÁLAGA, ESPAÑA). , MÁLAGA, ESPAÑA. 2002
Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel;Torres-Valderrama, Jesús:
A SEMIQUANTITATIVE APPROACH TO STUDY SEMIQUALITATIVE SYSTEMS. Conferencia Congreso no publicada. IBERAMIA (8.2002.SEVILLA). . 2002
Durán-Toro, Amador;Ruiz-Cortés, Antonio;Corchuelo-Gil, Rafael;Toro-Bonilla, Miguel:
SUPPORTING REQUIREMENTS VERIFICATION USING XSLT. Comunicación en congreso. IEEE JOINT INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (.2002.ESSEN, ALEMANIA). ESSEN, ALEMANIA. 2002
Durán-Toro, Amador;Ruiz-Cortés, Antonio;Corchuelo-Gil, Rafael;Toro-Bonilla, Miguel:
ASSISTING THE REQUIREMENTS VERIFIER WITH XML TECHNOLOGY. Comunicación en congreso. JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS (7.2002.MADRID (ESPAÑA)). MADRID (ESPAÑA). 2002
Ruiz-Carreira, Mercedes;Ramos-Román, Isabel;Toro-Bonilla, Miguel:
IMPROVING SOFTWARE PROCESS MATURITY THROUGH DYNAMIC MODELING AND SIMULATION. Comunicación en congreso. CONGRESO INTERNACIONAL DE INGENIERÍA DE PROYECTOS (6.2002.BARCELONA). . 2002
Valle-Sevillano, Carmelo Del;Fernández-Camacho, Eduardo;Toro-Bonilla, Miguel:
A model for assembly sequence planning in a multirobot environment. Ponencia en Congreso. INTERNATIONAL FEDERATION OF AUTOMATIC CONTROL. WORLD CONGRESS (15.2002.BARCELONA). . 2002
Arjona-Fernández, Jose Luis;Corchuelo-Gil, Rafael;Ruiz-Cortés, Antonio;Toro-Bonilla, Miguel:
A PRACTICAL AGENT-BASED METHOD TO EXTRACT SEMANTIC INFORMATION FROM THE WEB.. Comunicación en congreso. ADVANCED INFORMATION SYSTEMS ENGINEERING, 14TH INTERNATIONAL CONFERENCE, CAISE 2002 () (.2002.TORONTO, CANADA). TORONTO, CANADA. 2002
Cuberos-, Francisco J.;Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel:
QSI - QUALITATIVE SIMILARITY INDEX. Comunicación en congreso. JORNADAS ARCA (4.2002.VILANOVA Y LA GELTRU- BARCELONA). VILANOVA Y LA GELTRU- BARCELONA. 2002
Ceballos-Guerrero, Rafael;Martínez-Gasca, Rafael;Valle-Sevillano, Carmelo Del;Toro-Bonilla, Miguel:
DIAGNOSIS SOFTWARE USANDO TÉCNICAS MAX-CSP. Comunicación en congreso. JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS (7.2002.MADRID (ESPAÑA)). MADRID (ESPAÑA). 2002
Ramos-Román, Isabel;Toro-Bonilla, Miguel:
INTEGRATING DYNAMIC MODELS FOR CMM-BASED SOFTWARE PROCESS IMPROVEMENT. Comunicación en congreso. INTERNATIONAL CONFERENCE ON PRODUCT FOCUSED SOFTWARE PROCESS IMPROVEMENT (4.2002.ROVANIEMI, FINLANDIA). ROVANIEMI, FINLANDIA. 2002
Ceballos-Guerrero, Rafael;Martínez-Gasca, Rafael;Valle-Sevillano, Carmelo Del;Toro-Bonilla, Miguel:
A CONSTRAINT-BASED METHODOLOGY FOR SOFTWARE DIAGNOSIS. Comunicación en congreso. CP 2002, 8TH INTERNATIONAL CONFERENCE ON PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING (.2002.ITHACA). ITHACA. 2002
Valle-Sevillano, Carmelo Del;Fernández-Camacho, Eduardo;Toro-Bonilla, Miguel:
Combinación de Heuristicas para la selecciónóptima de secuencias de embalaje. Poster en Congreso. CONFERENCIA DE LA ASOCIACIÓN ESPAÑOLA PARA LA INTELIGENCIA ARTIFICIAL. IV JORNADAS DE TRANSFERENCIA TECNOLÓGICA DE INTELIGENCIA ARTIFICIAL (9.2001.GIJ. GIJÓN, ESPAÑA. 2001
Ruiz-Cortés, Antonio;Durán-Toro, Amador;Corchuelo-Gil, Rafael;Toro-Bonilla, Miguel:
ESPECIFICACIÓN DE REQUISITOS DE CALIDAD EN SISTEMAS MULTIORGANIZACIONALES BASADOS EN SERVICIOS WEB. Comunicación en congreso. JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS (6.2001.ALMAGRO, CIUDAD REAL, ESPAÑA). ALMAGRO, CIUDAD REAL, ESPAÑA. 2001
Peña-Siles, Joaquín;Corchuelo-Gil, Rafael;Ruiz-Cortés, Antonio;Toro-Bonilla, Miguel:
TOWARDS AN AUTOMATIC METHOD FOR DETECTING SYNCHRONY LOOSENING ANOMALIES IN THE CONTEXT OF MULTIPARTY INTERACTIONS. Comunicación en congreso. JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS (6.2001.ALMAGRO, CIUDAD REAL, ESPAÑA). ALMAGRO, CIUDAD REAL, ESPAÑA. 2001
Riquelme-Santos, José Cristóbal;Ramos-Román, Isabel;Aguilar-Ruiz, Jesus Salvador;Ferrer-Troyano, Francisco Javier;Toro-Bonilla, Miguel:
SEGESOFT: ENTORNO DE ENTRENAMIENTO PARA LA GESTION DE PROYECTOS SOFTWARE. Comunicación en congreso. JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS (6.2001.ALMAGRO, CIUDAD REAL, ESPAÑA). ALMAGRO, CIUDAD REAL, ESPAÑA. 2001
Martín-Díaz, Octavio;Ruiz-Cortés, Antonio;Toro-Bonilla, Miguel:
AN APPROACH TOWARDS AUTOMATIC MANAGEMENT OF ARCHITECTURAL ALTERNATIVES. Ponencia en Congreso. ZOCO: METODOS Y HERRAMIENTAS DE DESARROLLO DE APLICACIONES DE COMERCIO ELECTRONICO. PROYECTO GEOZOCO (1.2001.ALMAGRO, CIUDAD REAL (ESPAÑA)). ALMAGRO, CIUDAD REAL (ESPAÑA). 2001
Ruiz-Cortés, Antonio;Corchuelo-Gil, Rafael;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel:
APLICACIÓN DE TÉCNICAS DE SATISFACCIÓN DE RESTRICCIONES AL DESARROLLO DE APLICACIONES WEB SENSIBLES A LA CALIDAD. Comunicación en congreso. CONFERENCIA DE LA ASOCIACIÓN ESPAÑOLA PARA LA INTELIGENCIA ARTIFICIAL. IV JORNADAS DE TRANSFERENCIA TECNOLÓGICA DE INTELIGENCIA ARTIFICIAL (9.2001.GIJ. GIJÓN, ESPAÑA. 2001
Corchuelo-Gil, Rafael;Aguilar-Ruiz, Jesus Salvador;Arjona-Fernández, Jose Luis;Toro-Bonilla, Miguel;Riquelme-Santos, José Cristóbal:
ORIENTANDO A ASPECTOS LA CAPTURA DE DATOS DE INTERNET PARA ACTIVAR REGLAS DE DECISIÓN DE AGENTES WEB. Comunicación en congreso. JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS (6.2001.ALMAGRO, CIUDAD REAL, ESPAÑA). ALMAGRO, CIUDAD REAL, ESPAÑA. 2001
Ruiz-Cortés, David;Corchuelo-Gil, Rafael;Pérez-Castellanos, José Antonio;Toro-Bonilla, Miguel:
SINCRONIZACION MULTIPROCESO EN PROGRAMAS CONCURRENTES: SELECCION COMPLETAMENTE K-JUSTA DE INTERACCIONES. Comunicación en congreso. JORNADAS SOBRE PROGRAMACIÓN Y LENGUAJES (1.2001.ALMAGRO, CIUDAD REAL, ESPAÑA). ALMAGRO, CIUDAD REAL, ESPAÑA. 2001
Ruiz-Cortés, David;Corchuelo-Gil, Rafael;Pérez-Castellanos, José Antonio;Toro-Bonilla, Miguel:
UNA NUEVA NOCION DE SELECCION DE INTERACCIONES. Comunicación en congreso. SIMPOSIO EN INFORMÁTICA Y TELECOMUNICACIÓN (.2001.A CORUÑA, ESPAÑA). A CORUÑA, ESPAÑA. 2001
Ruiz-Cortés, Antonio;Durán-Toro, Amador;Corchuelo-Gil, Rafael;Toro-Bonilla, Miguel:
TRATAMIENTO AUTOMÁTICO DE REQUISITOS DE CALIDAD EN SISTEMAS MULTIORGANIZACIONALES BASADOS EN LA WEB. Comunicación en congreso. JORNADAS DE INGENIERÍA DE REQUISITOS APLICADA (1.2001.SEVILLA, ESPAÑA). Santander (ESPAÑA). 2001
Durán-Toro, Amador;Ruiz-Cortés, Antonio;Toro-Bonilla, Miguel:
AN AUTOMATED APPROACH FOR VERIFICATION OF SOFTWARE REQUIREMENTS. Comunicación en congreso. JORNADAS DE INGENIERÍA DE REQUISITOS APLICADA (1.2001.SEVILLA, ESPAÑA). Santander (ESPAÑA). 2001
Ruiz-Cortés, Antonio;Durán-Toro, Amador;Corchuelo-Gil, Rafael;Bernárdez-Jiménez, Beatriz;Toro-Bonilla, Miguel:
COMPROBACIÓN AUTOMÁTICA DE REQUISITOS DE CALIDAD EN SISTEMAS MULTIORGANIZACIONALES. Comunicación en congreso. WORKSHOP ON REQUIREMENTS ENGINEERING. (4.2001.BUENOS AIRES, ARGENTINA). BUENOS AIRES, ARGENTINA. 2001
Ruiz-Cortés, David;Corchuelo-Gil, Rafael;Pérez-Castellanos, José Antonio;Toro-Bonilla, Miguel:
A FRAMEWORK FOR ASPECT-ORIENTED MULTIPARTY COORDINATION. Comunicación en congreso. DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEM (3) (3.2001.KRAKÓW, POLAND). KRAKÓW, POLAND. 2001
Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel:
AN APPROACH FOR REASONING ABOUT SEMIQUALITATIVE MODELS WITH EXPLICIT CONSTRAINTS. Comunicación en congreso. INTERNATIONAL WORKSHOP ON QUALITATIVE REASONING (15.2001.SAN ANTONIO (ESTADOS UNIDOS)). SAN ANTONIO (ESTADOS UNIDOS). 2001
Ramos-Román, Isabel;Aguilar-Ruiz, Jesus Salvador;Riquelme-Santos, José Cristóbal;Ferrer-Troyano, Francisco Javier;Toro-Bonilla, Miguel:
INTEGRACION DE INFORMACION EN UN ENTORNO DE ENTRENAMIENTO PARA LA GESTION DE PROYECTOS SOFTWARE. Comunicación en congreso. JORNADAS SOBRE INNOVACION Y CALIDAD DEL SOFTWARE (1.2001.MADRID (ESPAÑA)). MADRID (ESPAÑA). 2001
Ruiz-Cortés, Antonio;Corchuelo-Gil, Rafael;Durán-Toro, Amador;Toro-Bonilla, Miguel:
AUTOMATED SUPPORT FOR QUALITY REQUIREMENTS IN WEB-SERVICE-BASED SYSTEMS. Comunicación en congreso. WORKSHOP ON FUTURE TRENDS OF DISTRIBUTED COMPUTING SYSTEMS (8.2001.BOLOGNA, ITALIA). BOLOGNA, ITALIA. 2001
Martínez-Gasca, Rafael;Ortega-Ramírez, Juan A.;Toro-Bonilla, Miguel;De La Rosa-Troyano, Fco Fernando:
DIAGNOSIS DIRIGIDA POR RESTRICCIONES SIMBOLICAS PARA MODELOS POLINOMICOS. Comunicación en congreso. DIAGNOSIS, RAZONAMIENTO CUALITATIVO Y SISTEMAS SOCIOECONOMICOS (1.2001.SEVILLA (ESPAÑA)). SEVILLA (ESPAÑA). 2001
Durán-Toro, Amador;Bernárdez-Jiménez, Beatriz;Ruiz-Cortés, Antonio;Toro-Bonilla, Miguel:
AN XML-BASED APPROACH FOR THE AUTOMATIC VERIFICATION OF SOFTWARE REQUIREMENTS SPECIFICATIONS. Comunicación en congreso. WORKSHOP ON REQUIREMENTS ENGINEERING. (4.2001.BUENOS AIRES, ARGENTINA). BUENOS AIRES, ARGENTINA. 2001
González-Romano, José Mariano;Fernández-Camacho, Eduardo;Gomez-Ortega, Juan;Toro-Bonilla, Miguel:
INTERACCIÓN EN LENGUAJE NATURAL CON ROBOTS MÓVILES. Ponencia en Congreso. 2º CONGRESO INTERNACIONAL DE INTERACCIÓN PERSONA-ORDENADOR. SALAMANCA, SALAMANCA. 2001
Garcia-Robles, María Del Rocio;Toro-Bonilla, Miguel;Torres-,Jesús:
LIFELONG LEARNING CAN BE PROMOTED BY THE USE OF METADATA TECHNOLOGY. Poster en Congreso. INTERNACIONAL CONFERENCE ALT-C (8) (8.2001.OXFORD, REINO UNIDO). OXFORD, REINO UNIDO. 2001
Valle-Sevillano, Carmelo Del;Toro-Bonilla, Miguel;Martínez-Gasca, Rafael:
UN MODELO CSP PARA LA SELECCION DE SECUENCIAS OPTIMAS DE ENSAMBLAJE. Comunicación en congreso. TALLER DE RAZONAMIENTO TEMPORAL, ESPACIAL Y PLANIFICACION (5.2001.GIJON (ESPAÑA)). GIJON (ESPAÑA). 2001
Cañete-Valdeón, José Miguel;Galán-Morillo, Francisco José;Toro-Bonilla, Miguel:
PRIMEROS PASOS HACIA UN COMPILADOR DE UML/OCL. Comunicación en congreso. JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS, JISDB'2000 (.2000.VALLADOLID (ESPAÑA)). VALLADOLID (ESPAÑA). 2000
Peña-Siles, Joaquín;Corchuelo-Gil, Rafael;Ruiz-Cortés, Antonio;Ferrer-Troyano, Francisco Javier;Toro-Bonilla, Miguel:
UNA APROXIMACION AL DESARROLLO DE SOFTWARE BASADA EN EL PROTOTIPADO ARQUITECTONICO. Ponencia en Congreso. JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS, JISDB'2000 (.2000.VALLADOLID (ESPAÑA)). VALLADOLID (ESPAÑA). 2000
Ruiz-Cortés, David;Corchuelo-Gil, Rafael;Pérez-Castellanos, José Antonio;Toro-Bonilla, Miguel:
UN ALGORITMO DESCENTRALIZADO DE SELECCION JUSTA DE INTERACCIONES ENTRE MULTIPLES PARTICIPANTES. Comunicación en congreso. SIMPOSIO ESPAÑOL DE INFORMATICA DISTRIBUIDA (2.2000.ORENSE, ESPAÑA). ORENSE, ESPAÑA. 2000
González-Romano, José Mariano;Juan M. Cordero;Toro-Bonilla, Miguel:
CURSO DE DISEÑO Y DESARROLLO DE SISTEMAS INTERACTIVOS MULTIMEDIA. Comunicación en congreso. JORNADAS DE INTERACCIÓN PERSONA-ORDENADOR (1.2000.GRANADA, ESPAÑA). . 2000
Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel;Torres-Valderrama, Jesús;González-Romano, José Mariano:
ESTUDIO DE SISTEMAS SEMICUALITATIVOS CON RESTRICCIONES. APLICACIÓN A UN MODELO LOGÍSTICO CON RESTRASO. Comunicación en congreso. JORNADAS DE TRABAJO SOBRE METODOLOGIAS CUALITATIVAS APLICADAS A LOS SISTEMAS SOCIOECONÓMICOS (2.2000.FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES D. FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES DE SEVILLA. 2000
Martínez-Gasca, Rafael;Ortega-Ramírez, Juan A.;Toro-Bonilla, Miguel;Galán-Morillo, Francisco José:
OPTIMIZACIÓN EN MODELOS QUE INTEGRAN CONOCIMIENTO CUALITATIVO Y CUANTITATIVO. Comunicación en congreso. JORNADAS DE TRABAJO SOBRE METODOLOGIAS CUALITATIVAS APLICADAS A LOS SISTEMAS SOCIOECONÓMICOS (2.2000.FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES D. FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES DE SEVILLA. 2000
Cañete-Valdeón, José Miguel;Galán-Morillo, Francisco José;Toro-Bonilla, Miguel:
AN APPLICATION FRAMEWORK FOR THE EXECUTION OF THE UML/OCL MODELS. Comunicación en congreso. JORNADAS DE TRABAJO MENHIR (5.2000.GRANADA). GRANADA. 2000
Aguilar-Ruiz, Jesus Salvador;Riquelme-Santos, José Cristóbal;Toro-Bonilla, Miguel:
DATA SET EDITING BY ORDERED PROJECTION. Comunicación en congreso. BIENNIAL EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (14.2000.AMSTERDAM (HOLANDA)). AMSTERDAM (HOLANDA). 2000
Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel:
SEARCHING FOR SIMILAR SEMIQUALITATIVE TEMPORAL PATTERNS IN TIME-SERIES DATABASES. Ponencia en Congreso. INTERNATIONAL WORKSHOP ON QUALITATIVE REASONING (14.2000.MICHOCAN (MEXICO)). MICHOCAN (MEXICO). 2000
Ramos-Román, Isabel;Aguilar-Ruiz, Jesus Salvador;Riquelme-Santos, José Cristóbal;Toro-Bonilla, Miguel:
A NEW METHOD FOR OBTAINING SOFTWARE PROJECT MANAGEMENT RULES. Comunicación en congreso. SOFTWARE QUALITY MANAGEMENT (8.2000.GREENWICH). GREENWICH. 2000
Toro-Bonilla, Miguel:
AN INTEGRATED FRAMEWORK FOR SIMULATED-BASED SOFTWARE PROCESS IMPROVEMENT. Comunicación en congreso. SOFTWARE PROCESS SIMULATION AND MODELLING (.2000.LONDRES). LONDRES. 2000
Durán-Toro, Amador;Ruiz-Cortés, Antonio;Corchuelo-Gil, Rafael;Toro-Bonilla, Miguel:
IDENTIFICACION DE PATRONES DE REUTILIZACION DE REQUISITOS DE SISTEMAS DE INFORMACION. Comunicación en congreso. WORKSHOP DE ENGANHARIA DE REQUISITOS (3.2000.RIO DE JANEIRO (BRASIL)). MALAGA, ESPAÑA. 2000
Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel;Galán-Morillo, Francisco José:
SEMIQUALITATIVE TEMPORAL PATTERNS IN TIME-SERIES DATABASES. Comunicación en congreso. CURRENT TRENDS IN QUALITATIVE REASONING AND APLICATIONS () (.2000.SEVILLA). . 2000
Ruiz-Cortés, Antonio;Corchuelo-Gil, Rafael;Martín-Díaz, Octavio;Durán-Toro, Amador;Toro-Bonilla, Miguel:
ADDRESSING INTEROPERABILITY IN MULTI-ORGANISATIONAL WEB-BASED SYSTEMS. Ponencia en Congreso. EUROPEAN CONFERENCE ON OBJECT-ORIENTED PROGRAMMING WORKSHOP ON OBJECT INTEROPERABILITY (1.2000.SHOPIA ANTIPOLIS, FRANCIA). SHOPIA ANTIPOLIS, FRANCIA. 2000
Martínez-Gasca, Rafael;Ortega-Ramírez, Juan A.;Toro-Bonilla, Miguel;Torres-Valderrama, Jesús:
USING CONSTRAINT PROGRAMMING FRAMEWORK FOR SEMICUALITATIVE REASONING. Comunicación en congreso. CURRENT TRENDS IN QUALITATIVE REASONING AND APLICATIONS () (.2000.SEVILLA). . 2000
Corchuelo-Gil, Rafael;Martín-Díaz, Octavio;Toro-Bonilla, Miguel;Ruiz-Cortés, Antonio:
WEAK FAIRNESS IN THE CONTEXT OF CONSTRAINT-BASED MULTIPARTY INTERACTIONS. Comunicación en congreso. JOURNEES DÉTUDES COMPARATIVES FRANCO- HISPANO- ITALIANNES (1.2003.BURDEOS, FRANCIA). TORREMOLINOS (ESPAÑA). 1999
Martínez-Gasca, Rafael;Ortega-Ramírez, Juan A.;Toro-Bonilla, Miguel:
SIMULACIÓN SEMICUALITATIVA. Comunicación en congreso. JOURNEES DÉTUDES COMPARATIVES FRANCO- HISPANO- ITALIANNES (1.2003.BURDEOS, FRANCIA). TORREMOLINOS (ESPAÑA). 1999
Ruiz-Cortés, David;Corchuelo-Gil, Rafael;Toro-Bonilla, Miguel;Durán-Toro, Amador;Arjona-Fernández, Jose Luis:
IMPLEMENTACION DE INTERACCIONES ENTRE MULTIPLES PARTICIPANTES SOBRE UNA MAQUINA VIRTUAL EN RED. Comunicación en congreso. JOURNEES DÉTUDES COMPARATIVES FRANCO- HISPANO- ITALIANNES (1.2003.BURDEOS, FRANCIA). TORREMOLINOS (ESPAÑA). 1999
Juan M. Cordero;Toro-Bonilla, Miguel:
RED DE INTERACCIÓN. Comunicación en congreso. JOURNEES DÉTUDES COMPARATIVES FRANCO- HISPANO- ITALIANNES (1.2003.BURDEOS, FRANCIA). TORREMOLINOS (ESPAÑA). 1999
Corchuelo-Gil, Rafael;Ruiz-Cortés, David;Ruiz-Cortés, Antonio;Toro-Bonilla, Miguel:
IMPLEMENTING MULTIPARTY INTERACTIONS ON A NETWORK COMPUTER. Ponencia en Congreso. EUROMICRO CONFERENCE (25.1999.MILAN). MILAN. 1999
Torres-Valderrama, Jesús;Troyano-Jiménez, José A.;Toro-Bonilla, Miguel;Corchuelo-Gil, Rafael;Durán-Toro, Amador:
OBJECT ORIENTED SPECIFICATION BASED ON RESTRICTIONS: PARTICIPATION AND INTERACTION. Ponencia en Congreso. 3rd Imacs / IEEE CSCC' 99. ATENAS (GRECIA). 1999
Riquelme-Santos, José Cristóbal;Aguilar-Ruiz, Jesus Salvador;Toro-Bonilla, Miguel:
A DECISION QUEUE BASED ON GENETIC ALGORITHMS: AXIS-PARALLEL CLASSIFIER VERSUS ROTATED BYPERBOXES. Ponencia en Congreso. 3rd Imacs / IEEE CSCC' 99. ATENAS (GRECIA). 1999
Durán-Toro, Amador;Bernárdez-Jiménez, Beatriz;Toro-Bonilla, Miguel;Corchuelo-Gil, Rafael;Ruiz-Cortés, Antonio;Pérez-Castellanos, José Antonio:
EXPRESSING CUSTOMER REQUIREMENTS USING NATURAL LANGUAGE REQUIREMENTS TEMPLATES AND PATTERNS. Ponencia en Congreso. 3rd Imacs / IEEE CSCC' 99. ATENAS (GRECIA). 1999
Ridao-Carlini, Miguel Angel;Riquelme-Santos, José Cristóbal;Fernández-Camacho, Eduardo;Toro-Bonilla, Miguel:
Automatic Generation of Collision-Free Programs for Multiple manipulators using evolutive algorithms. Ponencia en Congreso. 3rd Imacs / IEEE CSCC' 99. ATENAS (GRECIA). 1999
Corchuelo-Gil, Rafael;Ruiz-Cortés, David;Toro-Bonilla, Miguel;Arjona-Fernández, Jose Luis;Prieto-,J.M.:
A DISTRIBUTED SOLUTION TO SYNCHRONOUS MULTIPARTY INTERACTION. Ponencia en Congreso. 3rd Imacs / IEEE CSCC' 99. ATENAS (GRECIA). 1999
Prieto-,J.M.;Arjona-Fernández, Jose Luis;Corchuelo-Gil, Rafael;Toro-Bonilla, Miguel;Ruiz-Cortés, David:
A SYMBOLIC PORTABLE DEBUGGER FOR COMPILERS THAT GENERATE C CODE. Ponencia en Congreso. 3rd Imacs / IEEE CSCC' 99. ATENAS (GRECIA). 1999
Galán-Morillo, Francisco José;Cañete-Valdeón, José Miguel;Toro-Bonilla, Miguel:
ON THE FORMAL TRANSLATION OF OBJECT ORIENTED SOFTWARE SPECIFICATION: A BALANCED APPROACH. Comunicación en congreso. INTERNATIONAL CONFERENCE ON INFORMATION SYSTEM DEVELOPMENT (5.1999.FLORIDA, EEUU). FLORIDA, EEUU. 1999
Durán-Toro, Amador;Bernárdez-Jiménez, Beatriz;Toro-Bonilla, Miguel;Ruiz-Cortés, Antonio:
UNA PROPUESTA METODOLOGICA PARA LA RECOLECCION DE REQUISITOS DE UN SISTEMA SOFTWARE. Ponencia en Congreso. JORNADAS DE TRABAJO MENHIR (4.1999.BURGOS, ESPAÑA). BURGOS, ESPAÑA. 1999
Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel:
BEHAVIOURS PATTERNS OF SEMIQUALITATIVE DYNAMIC SYSTEMS BY MEANS OF QUALITATIVE SIMULATINS. Comunicación en congreso. INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE - WORKSHOP QUALITATIVE AND MODEL BASED REASONING FOR COMPLEX SYSTEMS AND THEIR CONTROL (16.1. ESTOCOLMO (SUECIA). 1999
Cañete-Valdeón, José Miguel;Galán-Morillo, Francisco José;Toro-Bonilla, Miguel:
A PROPOSAL FOR THE FORMALIZATION OF THE OCL LANGUAGE BASED ON ALGEBRAIC SPECIFICATIONS. Comunicación en congreso. JORNADAS DE TRABAJO MENHIR (4.1999.BURGOS, ESPAÑA). BURGOS, ESPAÑA. 1999
Martín-Díaz, Octavio;Torres-Valderrama, Jesús;Durán-Toro, Amador;Pérez-Castellanos, José Antonio;Toro-Bonilla, Miguel:
SEMANTICA FORMAL DE ASOCIACIONES Y AGREGADOS PARA SU IMPLEMENTACION CON REGLAS ACTIVAS. Comunicación en congreso. JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS, JISBD 99 (4.1999.CÁCERES, ESPAÑA). CÁCERES, ESPAÑA. 1999
Aguilar-Ruiz, Jesus Salvador;Riquelme-Santos, José Cristóbal;Toro-Bonilla, Miguel:
THREE GEOMETRIC APPROACHES FOR REPRESENTING DECISION RULES IN A SUPERVISED LEARNING SYSTEM. Ponencia en Congreso. GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE (GECCO) (.1999.ORLANDO, EEUU). ORLANDO, EEUU. 1999
Durán-Toro, Amador;Bernárdez-Jiménez, Beatriz;Toro-Bonilla, Miguel;Ruiz-Cortés, Antonio:
AN OBJECT-ORIENTED MODEL AND A CASE TOOL FOR SOFTWARE REQUIREMENTS MANAGEMENT AND DOCUMENTATION. Ponencia en Congreso. JORNADAS DE TRABAJO MENHIR (4.1999.BURGOS, ESPAÑA). BURGOS, ESPAÑA. 1999
Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel:
A SEMICUALITATIVE METHODOLOGY FOR REASONING ABOUT DYNAMIC SYSTEMS. Comunicación en congreso. INTERNATIONAL WORKSHOP ON QUALITATIVE REASONING (13) (13.1999.LOCH AWE, ESCOCIA). LOCH AWE, ESCOCIA. 1999
Durán-Toro, Amador;Bernárdez-Jiménez, Beatriz;Ruiz-Cortés, Antonio;Toro-Bonilla, Miguel:
A REQUIREMENTS ELICITATION APPROACH BASED IN TEMPLATES AND PATTERNS. Ponencia en Congreso. WER (1.1999.BUENOS AIRES (ARGENTINA)). BUENOS AIRES (ARGENTINA). 1999
Troyano-Jiménez, José A.;Torres-Valderrama, Jesús;Toro-Bonilla, Miguel:
GENERALIZACION: HERENCIA Y CRITERIO. Comunicación en congreso. IDEAS (99.1999.COSTA RICA). COSTA RICA. 1999
Corchuelo-Gil, Rafael;Ruiz-Cortés, David;Toro-Bonilla, Miguel;Arjona-Fernández, Jose Luis:
PROTOTYPING IPC ON A NETWORK COMPUTER. Comunicación en congreso. JORNADAS DE TRABAJO MENHIR (4.1999.BURGOS, ESPAÑA). BURGOS, ESPAÑA. 1999
Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel:
METODOLOGIA SEMICUALITATIVA PARA RAZONAR SOBRE SISTEMAS DINAMICOS CON CONOCIMIENTO CUALITATIVO. Comunicación en congreso. CONFERENCIA DE LA ASOCIACIÓN ESPAÑOLA PARA LA INTELIGENCIA ARTIFICIAL. III JORNADAS DE TRANSFERENCIA TECNOLÓGICA DE INTELIGENCIA ARTIFICIAL (8.1999.MU. MURCIA, ESPAÑA. 1999
Juan M. Cordero;Toro-Bonilla, Miguel:
A COMPONENTS MODEL TO DYNAMIC OPEN SYSTEMS BASED ON INTERACTION-NETS. Comunicación en congreso. JORNADAS DE TRABAJO MENHIR (4.1999.BURGOS, ESPAÑA). BURGOS, ESPAÑA. 1999
Troyano-Jiménez, José A.;Torres-Valderrama, Jesús;Toro-Bonilla, Miguel:
GENERALIZACIÓN: HERENCIA Y CRITERIO. Comunicación en congreso. JORNADAS IBEROAMERICANAS DE INGENIERÍA DE REQUISITOS Y AMBIENTES SOFTWARE (2.1999.SAN JOSE, COSTA RICA). SAN JOSE, COSTA RICA. 1999
Ruiz-Cortés, Antonio;Corchuelo-Gil, Rafael;Pérez-Castellanos, José Antonio;Durán-Toro, Amador;Toro-Bonilla, Miguel:
AN ASPECT-ORIENTED APPROACH BASED ON MULTIPARTY INTERACTIONS TO SPECIFYING THE BEHAVIOUR OF A SYSTEM. Ponencia en Congreso. WORKSHOP ON OBJECT-ORIENTED APPROACH BASED ON MULTIPARTY INTERACTIONS TO SPECIFYING THE BEHAVIOURS (1.1999.PARÍS (FRANCIA)). PARÍS (FRANCIA). 1999
Cañete-Valdeón, José Miguel;Galán-Morillo, Francisco José;Toro-Bonilla, Miguel:
INTERPRETACIÓN EJECUTABLE DE MODELOS ESTRUCTURALES UML ENRIQUECIDOS CON RESTRICCIONES. Comunicación en congreso. IDEAS (99.1999.COSTA RICA). COSTA RICA. 1999
Galán-Morillo, Francisco José;Cañete-Valdeón, José Miguel;Toro-Bonilla, Miguel:
ON THE FORMAL TRANSLATION OF OBJECT ORIENTED SPECIFICATION: A BALANCED APPROACH. Comunicación en congreso. JORNADAS DE TRABAJO MENHIR (4.1999.BURGOS, ESPAÑA). BURGOS, ESPAÑA. 1999
Juan M. Cordero;Toro-Bonilla, Miguel:
A COMPONENTS MODEL BASED ON INTERACTION-NETS. Ponencia en Congreso. OMER WORKSHOP (1.1999.HERRSCHING, AMMERSEE, ALEMANIA). HERRSCHING, AMMERSEE, ALEMANIA. 1999
Cañete-Valdeón, José Miguel;Galán-Morillo, Francisco José;Toro-Bonilla, Miguel:
FILLING THE GAP BETWEEN SPECIFICATION AND IMPLEMENTATION OF SOFTWARE SYSTEMS BY AN EXECUTABLE CODE GENERATOR OF UML/OCL. Comunicación en congreso. INTERNATIONAL CONFERENCE OF SOFTWARE & SYSTEM ENGINEERING AND THEIR APPLICATIONS (.1999.PARÍS, FRANCE). PARÍS, FRANCE. 1999
Valle-Sevillano, Carmelo Del;Fernández-Camacho, Eduardo;Toro-Bonilla, Miguel:
Búsqueda de secuencias óptimas de montaje mediante programación lógica con restricciones. Ponencia en Congreso. TARRAT 1999. MURCIA (ESPAÑA). 1999
Durán-Toro, Amador;Bernárdez-Jiménez, Beatriz;Toro-Bonilla, Miguel;Ruiz-Cortés, Antonio:
ELICITACION DE REQUISITOS DE USUARIO MEDIANTE PLANTILLAS Y PATRONES DE REQUISITOS. Ponencia en Congreso. JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS, JISBD 99 (4.1999.CÁCERES, ESPAÑA). CÁCERES, ESPAÑA. 1999
Juan M. Cordero;Toro-Bonilla, Miguel:
A COMPONENTS MODEL BASED ON INTERACTION-NETS. Comunicación en congreso. INTERNATIONAL CONFERENCE ON INFORMATION SYSTEMS, ANALYSIS AND SYNTHESIS (5.1999.ORLANDO, FLORIDA). ORLANDO, FLORIDA. 1999
Toro-Bonilla, Miguel:
UNA GRAMATICA S-ATRIBUIDA PARA TAG. Ponencia en Congreso. JORNADAS CIENTÍFICAS ANDALUZAS EN TECNOLOGÍA DE LA INFORMACIÓN (3.1998.CÁDIZ). CÁDIZ. 1998
Juan M. Cordero;Toro-Bonilla, Miguel:
REPRESENTACION DE MODELOS DIGITALES DE SUPERFICIES. Ponencia en Congreso. JORNADAS DE INFORMÁTICA GRÁFICA (1.1998.GRANADA (ESPAÑA)). . 1998
Toro-Bonilla, Miguel:
A REVIEW OF EARLY-BASED PARSER FOR TIG. Ponencia en Congreso. INTERNATIONAL CONFERENCE ON INDUSTRIAL AND ENG. APPLICATIONS OF AI AND EXPERT SYSTEMS (11.1998.-). -. 1998
Cañete-Valdeón, José Miguel;Galán-Morillo, Francisco José;Toro-Bonilla, Miguel:
GENERACIÓN AUTOMÁTICA DE CÓDIGO DESDE ESPECIFICACIONES UML/OCL. Comunicación en congreso. JORNADAS DE INGENIRÍA DEL SOFTWARE (3.1998.MURCIA, ESPAÑA). MURCIA, ESPAÑA. 1998
Juan M. Cordero;Toro-Bonilla, Miguel:
EVENTOS DE INTERACCION EN SISTEMAS GRAFICOS. Ponencia en Congreso. JORNADAS DE INFORMÁTICA GRÁFICA (1.1998.GRANADA (ESPAÑA)). . 1998
Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel:
EXTRACTING BEHAVIORS OF SEMIQUALITATIVE DYNAMICAL SYSTEM FROM QUANTITATIVE SIMULATIONS. Ponencia en Congreso. WORKSHOP ON EUROPEAN SCIENTIFIC AND INDUSTRIAL COLLABORATION ON PROMOTING. ADVANCED TECHNOLOGIES IN MANUFACTURING (1.1998.GERONA). GERONA. 1998
Torres-Valderrama, Jesús;Troyano-Jiménez, José A.;Toro-Bonilla, Miguel:
DEFINIENDO ASOCIACIONES ENTRE CLASES DE OBJETOS MEDIANTE RESTRICCIONES. Ponencia en Congreso. JORNADAS IBEROAMERICANAS DE INGENIERIA DE REQUISITOS Y AMBIENTES SOFTWARE (3.1998.TORRES (BRASIL)). TORRES (BRASIL). 1998
Toro-Bonilla, Miguel:
ANALISIS SINTACTICO DE TAGS USANDO ANALIZADORES DEDUCTIVOS. Ponencia en Congreso. CONGRESO DE LA SOCIEDAD ESPAÑOLA PARA EL PROCESAMIENTO DEL LENGUAJE NATURAL (SEPLN) (14) (14.1998.ALICANTE, ESPAÑA). ALICANTE, ESPAÑA. 1998
Corchuelo-Gil, Rafael;Martín-Díaz, Octavio;Ruiz-Cortés, David;Toro-Bonilla, Miguel;Prieto-,J.M.;Arjona-Fernández, Jose Luis:
SELECCIÓN JUSTA, OPTIMACIÓN Y SUPERPOSICIÓN EN EL CONTEXTO DE TESORO. Comunicación en congreso. JORNADAS DE TRABAJO MENHIR (3.1998.MURCIA). MURCIA. 1998
Galán-Morillo, Francisco José;Toro-Bonilla, Miguel:
OBJECT ORIENTED SOFTWARE SYSTEMS DEFINED BY LOGICAL CONSTRUCTIVE METHODS. Comunicación en congreso. JOINT CONFERENCE ON DECLARATIVE PROGRAMMING (.1998.CORUÑA, ESPAÑA). CORUÑA, ESPAÑA. 1998
Martínez-Gasca, Rafael;Ortega-Ramírez, Juan A.;Toro-Bonilla, Miguel:
AUTOMATIC SEMIQUALITATIVE ANALYSIS AND SIMULATION: INDUSTRIAL APPLICATIONS. Comunicación en congreso. WORKSHOP ON EUROPEAN SCIENTIFIC AND INDUSTRIAL COLLABORATION ON PROMOTING. ADVANCED TECHNOLOGIES IN MANUFACTURING (1.1998.GERONA). GERONA. 1998
Galán-Morillo, Francisco José;Cañete-Valdeón, José Miguel;Toro-Bonilla, Miguel:
TOWARDS A CODE GENERATOR FOR UML/OCL SYSTEM SPECIFICATIONS. SYSTEM MODEL AND SYNTHESIS OF STATECHARTS. Comunicación en congreso. JORNADAS DE TRABAJO MENHIR (3.1998.MURCIA). MURCIA. 1998
Díaz-Madrigal, Víctor Jesús;Carrillo-Montero, Vicente;Toro-Bonilla, Miguel:
ELEMENTARY TREE REPRESENTATION. Ponencia en Congreso. WORKSHOP ON TABULATION IN PARSING AND DEDUCTION (1.1998.PARIS (FRANCIA)). PARIS (FRANCIA). 1998
Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel:
OBTAINING SEMI-QUALITATIVE BEHAVIORS OF DYNAMICAL SYSTEMS BY MEANS OF QUANTITATIVE SIMULATIONS. Ponencia en Congreso. BIENNIAL EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (13.1998.BRIGHTON (UK)). BRIGHTON (UK). 1998
Martínez-Gasca, Rafael;Ortega-Ramírez, Juan A.;Toro-Bonilla, Miguel:
REPRESENTACIÓN Y SIMULACIÓN DE MODELOS INTEGRANDO CONOCIMIENTO CUALITATIVO Y CUANTITATIVO. Comunicación en congreso. CONFERENCIA DE LA ASOCIACIÓN ESPAÑOLA PARA LA INTELIGENCIA ARTIFICIAL (7.1997.MALAGA, ESPAÑA). MALAGA, ESPAÑA. 1997
Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel:
AUTOMATIZACIÓN DEL ANÁLISIS Y SIMULACIÓN DE MODELOS CUALITATIVOS MEDIANTE RESTRICCIONES. Comunicación en congreso. CONFERENCIA DE LA ASOCIACIÓN ESPAÑOLA PARA LA INTELIGENCIA ARTIFICIAL (7.1997.MALAGA, ESPAÑA). MALAGA, ESPAÑA. 1997
Aguilar-Ruiz, Jesus Salvador;Riquelme-Santos, José Cristóbal;Toro-Bonilla, Miguel:
COGITO: UN SISTEMA DE AUTOAPRENDIZAJE BASADO EN ALGORITMOS GENETICOS. Comunicación en congreso. JORNADAS DE INFORMÁTICA (3.1997.PUERTO DE SANTA MARÍA (CÁDIZ), ESPAÑA). PUERTO DE SANTA MARÍA (CÁDIZ), ESPAÑA. 1997
Riquelme-Santos, José Cristóbal;Fernández-Bejarano, Francisco Javier;Gonzalez-Moron,Pedro;Toro-Bonilla, Miguel;Fernandez-Bejarano, Francisco:
CLASIFICACION SIMBÓLICA MEDIANTE PROGRAMACION GENETICA. Comunicación en congreso. CONFERENCIA DE LA ASOCIACIÓN ESPAÑOLA PARA LA INTELIGENCIA ARTIFICIAL (7.1997.MALAGA, ESPAÑA). MALAGA, ESPAÑA. 1997
Martínez-Gasca, Rafael;Ortega-Ramírez, Juan A.;Toro-Bonilla, Miguel:
SIMULACIÓN SEMICUALITATIVA MEDIANTE MATRIZ DE TRANSFORMACIÓN. Comunicación en congreso. CONFERENCIA DE LA ASOCIACIÓN ESPAÑOLA PARA LA INTELIGENCIA ARTIFICIAL (7.1997.MALAGA, ESPAÑA). MALAGA, ESPAÑA. 1997
Riquelme-Santos, José Cristóbal;Aguilar-Ruiz, Jesus Salvador;Toro-Bonilla, Miguel:
COGITO 2.0: UNA HERRAMIENTA PARA OBTENER UN CLASIFICADOR JERARQUICO EN APRENDIZAJE SUPERVISADO. Comunicación en congreso. CONFERENCIA DE LA ASOCIACIÓN ESPAÑOLA PARA LA INTELIGENCIA ARTIFICIAL (7.1997.MALAGA, ESPAÑA). MALAGA, ESPAÑA. 1997
Riquelme-Santos, José Cristóbal;Ridao-Carlini, Miguel Angel;Fernández-Camacho, Eduardo;Toro-Bonilla, Miguel:
Using Genetic Algorithm with Variable-length individuals for Planning Two Manipulators Motion. Ponencia en Congreso. International Conference on Artificial Neural Networks and Genetic Algorithms. NORWICH (UK). 1997
Galán-Morillo, Francisco José;Toro-Bonilla, Miguel:
PROTOTIPOS Y ABSTRACCIONES. Comunicación en congreso. JORNADAS EN INGENIERÍA DEL SOFTWARE (2.1997.SAN SEBASTIAN, ESPAÑA). SAN SEBASTIAN, ESPAÑA. 1997
Torres-Valderrama, Jesús;Troyano-Jiménez, José A.;Toro-Bonilla, Miguel:
ESPECIFICACIONES ORIENTADAS A OBJETOS BASADAS EN RESTRICCIONES. Comunicación en congreso. JORNADAS DE INGENIERÍA DEL SOFTWARE (2.1997.SAN SEBASTIAN). SAN SEBASTIAN. 1997
Corchuelo-Gil, Rafael;Pérez-Castellanos, José Antonio;Toro-Bonilla, Miguel:
UNA EXPERIENCIA DOCENTE EN LA ENSEÑANZA DEL DESARROLLO ORIENTADO A OBJETOS DE SOFTWARE UTILIZANDO HERRAMIENTAS VISUALES. Comunicación en congreso. JORNADAS SOBRE LA ENSEÑANZA UNIVERSITARIA DE LA INFORMÁTICA (3.1997.MADRID). . 1997
Corchuelo-Gil, Rafael;Toro-Bonilla, Miguel:
ABSTRACTA/C++. Comunicación en congreso. JORNADAS DE INFORMÁTICA (.1997.PUERTO DE SANTA MARIA, CADIZ). PUERTO DE SANTA MARIA, CADIZ. 1997
Díaz-Madrigal, Víctor Jesús;Toro-Bonilla, Miguel:
PARSING TAGS WITH PROLOG. Comunicación en congreso. JOINT CONFERENCE ON DECLARATIVE PROGRAMMING (.1997.GRADO, ITALIA). GRADO, ITALIA. 1997
Riquelme-Santos, José Cristóbal;Toro-Bonilla, Miguel:
SEARCH AND LINGUISTIC DESCRIPTION OF CONNECTED REGIONS IN QUANTITATIVE DATA. Comunicación en congreso. IFAC-IFIP-IMACS CONFERENCE ON CONTROL OF INDUSTRIAL SYSTEMS (.1997.BELFORT (FRANCIA)). BELFORT (FRANCIA). 1997
Troyano-Jiménez, José A.;Torres-Valderrama, Jesús;Toro-Bonilla, Miguel:
HERENCIA Y CONFORMIDAD DE COMPORTAMIENTOS. Comunicación en congreso. JORNADAS EN INGENIERÍA DEL SOFTWARE (2.1997.SAN SEBASTIAN, ESPAÑA). SAN SEBASTIAN, ESPAÑA. 1997
Torres-Valderrama, Jesús;Troyano-Jiménez, José A.;Toro-Bonilla, Miguel:
OPERADORES DE ASOCIACIÓN Y AGREGACIÓN DE CLASES EN UN LENGUAJE DE ESPECIFICACIÓN OO. Comunicación en congreso. II JORNADAS DE INFORMATICA. ALUÑECAR, GRANADA, ESPAÑA. 1996
Galán-Morillo, Francisco José;Toro-Bonilla, Miguel:
SÍNTESIS DEDUCTIVA DE PROGRAMAS LÓGICOS CON TIPOS. Comunicación en congreso. II JORNADAS DE INFORMATICA. ALUÑECAR, GRANADA, ESPAÑA. 1996
Martínez-Gasca, Rafael;Ortega-Ramírez, Juan A.;Toro-Bonilla, Miguel:
SEMI-QUANTITATIVE SIMULATION OF DYNAMIC SYSTEMS WITH UNCERTAIN INITIAL CONDITIONS. Comunicación en congreso. MODELLING AND SIMULATION ESM'95 () (.1995.TURQUÍA). TURQUÍA. 1995
Ridao-Carlini, Miguel Angel;Riquelme-Santos, José Cristóbal;Fernández-Camacho, Eduardo;Toro-Bonilla, Miguel:
COORDINATED MOTION PLANNING OF MANIPULATORS BY EVOLUTION STRATEGIES. Comunicación en congreso. INTERNATIONAL CONFERENCE ON APPLICATION OF ARTIFCIAL INTELLIGENCE IN ENGINEERING (10) (10.1995.UDINE (ITALIA)). UDINE (ITALIA). 1995
Galán-Morillo, Francisco José;Toro-Bonilla, Miguel:
SÍNTESIS DE PROGRAMAS LÓGICOS: MARCO CONSTRUCTIVO. Comunicación en congreso. JOINT CONFERENCE ON DECLARATIVE PROGRAMMING (GULP-PRODE'95) (.1995.MARINA DI VIETRY, ITALY). MARINA DI VIETRY, ITALY. 1995
Troyano-Jiménez, José A.;Toro-Bonilla, Miguel:
A TECHNIQUE FOR DISTRIBUTED SYSTEMS SPECIFICATION. Comunicación en congreso. PROCEEDINGS OF THE 3RD EUROMICRO WORKSHOP ON PARALLEL AND DISTRIBUTED PROCESSING (.1995.SAN REMO, ITALIA). SAN REMO, ITALIA. 1995
Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel:
RAZONAMIENTO EN ORDEN DE MAGNITUD USANDO CONOCIMIENTO CUALITATIVO Y CUANTITATIVO. Comunicación en congreso. CONFERENCIA DE LA ASOCIACIÓN ESPAÑOLA PARA LA INTELIGENCIA ARTIFICIAL (6) (6.1995.ALICANTE). ALICANTE. 1995
Galán-Morillo, Francisco José;Toro-Bonilla, Miguel:
SÍNTESIS CONSTRUCTIVA DE PROGRAMAS LÓGICOS. Comunicación en congreso. JORNADAS DE INFORMATICA (1.1995.PUERTO DE LA CRUZ, TENERIFE). PUERTO DE LA CRUZ, TENERIFE. 1995
Torres-Valderrama, Jesús;Troyano-Jiménez, José A.;Toro-Bonilla, Miguel:
VISIÓN ORIENTADA A OBJETOS EN LA ESPECIFICACIÓN DE SISTEMAS DISTRIBUIDOS. Comunicación en congreso. ESCUELA DE VERANO DE INFORMÁTICA (4.1994.ALBACETE). ALBACETE. 1994
Troyano-Jiménez, José A.;Torres-Valderrama, Jesús;Toro-Bonilla, Miguel:
ESPECIFICACIÓN ORIENTADA A OBJETOS DESDE UN ENFOQUE ALGEBRAICO. Comunicación en congreso. JOINT CONFERENCE OF DECLARATIVE PROGRAMMING 94 (.1994.: PENÍSCOLA). : PENÍSCOLA. 1994
Riquelme-Santos, José Cristóbal;Toro-Bonilla, Miguel:
APRENDIZAJE MEDIANTE LA APLICACIÓN DE TÉCNICAS FUZZY A ESPACIOS DISCRETOS. Comunicación en congreso. ESTYLF (.1994.BLANES, GERONA, ESPAÑA). BLANES, GERONA, ESPAÑA. 1994
Torres-Valderrama, Jesús;Troyano-Jiménez, José A.;Toro-Bonilla, Miguel:
AN OBJECT-ORIENTED TECHNIQUE FOR SYSTEMS SPECIFICATION. Comunicación en congreso. INTERNATIONAL CONFERENCE OF INFORMATION SYSTEMS DEVELOPMENT (4.1994.ESLOVENIA). ESLOVENIA. 1994
Torres-Valderrama, Jesús;Troyano-Jiménez, José A.;Toro-Bonilla, Miguel:
DESDE UN LENGUAJE DE ESPECIFICACIÓN ORIENTADO A OBJETOS A LOTOS. Comunicación en congreso. ESCUELA DE VERANO DE INFORMÁTICA (15.1993.MURCIA). MURCIA. 1993
Romero-Moreno, Luisa María;Toro-Bonilla, Miguel:
LAS MATEMÁTICAS Y LA INCERTIDUMBRE Y VAGUEDAD EN EL CONOCIMIENTO. Comunicación en congreso. VII JORNADAS THALES 93 () (.1993.SEVILLA). . 1993
Gordillo, Francisco;Toro-Bonilla, Miguel;Valero-,Salvador;Aracil-Santonja, Javier:
OPTIMAL CONTROL OF AN ENERGY DEMAND MODEL. Ponencia en Congreso. COMPUTATIOAL SYSTEMS ANALYSIS CSA' 92 () (.1992.DESCONOCIDO). DESCONOCIDO. 1992
Arrabal-Parrilla, Juan Jose;Romero-Moreno, Luisa María;Toro-Bonilla, Miguel:
RAZONAMIENTO CUALITATIVO MEDIANTE LA CONSTRUCCIÓN DE SISTEMAS DINÁMICOS COMPLEJOS. Comunicación en congreso. PRO'DE () (.1992.MADRID). . 1992
Riquelme-Santos, José Cristóbal;Toro-Bonilla, Miguel;Aracil-Santonja, Javier:
SENSITIVITY ANALYSIS OF AN ENERGY DEMAND MODEL. Comunicación en congreso. INTERNATIONAL SYMPOSIUM ON SYSTEM ANALYSIS AND SIMULATION () (.1992.BERLÍN). BERLÍN. 1992
Gordillo, Francisco;Toro-Bonilla, Miguel;Valero-,Salvador;Aracil-Santonja, Javier:
NUMERICAL OPTIMAL CONTROL OF AN ENERGY DEMAND MODEL. Ponencia en Congreso. EURPEAN SIMULATION SYMPOSIUM ESS92 () (.1992.DESDREN. GERMANY). DESDREN. GERMANY. 1992
Toro-Bonilla, Miguel;Riquelme-Santos, José Cristóbal;Aracil-Santonja, Javier:
CLASSIFYING SYSTEM BEHAVIOUR MODES BY STATISTICAL SEARCH IN THE PARAMETER SPACE. Comunicación en congreso. EUROPEAN SIMULATION MULTICONFERENCE () (.1992.YORK (UK)). YORK (UK). 1992
Aracil-Santonja, Javier;Toro-Bonilla, Miguel:
QUALITATIVE BEHAVIOR ASSOCIATED TO SYSTEM DYNAMICS INFLUENCE DIAGRAMS. Ponencia en Congreso. INTERNATIONAL SYSTEM DYNAMICS CONFERENCE (10) (10.1992.UTRECHT. THE NETHERLANDS). UTRECHT. THE NETHERLANDS. 1992
Ponce-Nuñez, Enrique;Toro-Bonilla, Miguel;Freire-Macias, Emilio:
MÉTODOS NUMÉRICOS PARA EL ESTUDIO DE BIFURCACIONES DE ÓRBITAS PERIÓDICAS. Comunicación en congreso. VI CEDYA () (.1983.ZARAGOZA). . 1983

Artículos publicados

Corchuelo-Gil, Rafael;Toro-Bonilla, Miguel:
A scheduler for SCADA-based multi-source fusion systems. Information Fusion. 2020. Vol: 63. Pág. 41-55. https://doi.org/10.1016/j.inffus.2020.05.007.
Ayala, Daniel;Inma Hernández;Ruiz-Cortés, David;Toro-Bonilla, Miguel:
TAPON-MT: A versatile framework for semantic labelling. Information Systems. 2019. Vol: 83. Pág. 57-68. 10.1016/j.is.2018.12.006.
del-Río-Ortega, Adela;Resinas, Manuel;Durán-Toro, Amador;Bernárdez-Jiménez, Beatriz;Ruiz-Cortés, Antonio;Toro-Bonilla, Miguel:
VISUAL PPINOT: A Graphical Notation for Process Performance Indicators. Business & Information Systems Engineering. 2019. Vol: 61. Núm: 2. Pág. 137-161. 10.1007/s12599-017-0483-3.
Ayala, Daniel;Inma Hernández;Ruiz-Cortés, David;Toro-Bonilla, Miguel:
TAPON: A two-phase machine learning approach for semantic labelling. Knowledge-Based Systems. 2019. Vol: 163. Pág. 931-943. 10.1016/j.knosys.2018.10.017.
Fernández-Cerero, Damián;Fernandez-Montes-Gonzalez, Alejandro;Jakóbik, Agnieszka;Kolodziej, Joanna;Toro-Bonilla, Miguel:
SCORE: Simulator for cloud optimization of resources and energy consumption. Simulation modelling practice and theory. 2018. Vol: 82. Pág. 160-173. 10.1016/j.simpat.2018.01.004.
García, José María;Fernández-Montes, Pablo;Ruiz-Cortés, Antonio;Dustdar, Schahram;Toro-Bonilla, Miguel:
Edge and Cloud Pricing for the Sharing Economy. IEEE Internet Computing. 2017. Vol: 21. Núm: 2. Pág. 78-84. https://doi.org/10.1109/MIC.2017.24.
Márquez-Chamorro, Alfonso Eduardo;Resinas, Manuel;Ruiz-Cortés, Antonio;Toro-Bonilla, Miguel:
Run-time prediction of business process indicators using evolutionary decision rules. Expert Systems With Applications. 2017. (In press).
Cañete-Valdeón, José Miguel;Galán-Morillo, Francisco José;Toro-Bonilla, Miguel:
THE INTENTIONAL RELATIONSHIP OF REPRESENTATION BETWEEN THE CONSTRUCTS OF A LANGUAGE AND REALITY. Data and Knowledge Engineering. 2009. Vol: 68. Núm: 2. Pág. 173-191.
Ramos-Román, Isabel;Moreno-García,María N.;García-Peñalvo,Francisco J.;Toro-Bonilla, Miguel:
AN ASSOCIATION RULE MINING METHOD FOR ESTIMATING THE IMPACT OF PROJECT MANAGEMENT POLICIES ON SOFTWARE QUALITY, DEVELOPMENT TIME AND EFFORT. Expert Systems With Applications. 2008. Vol: 34. Núm: 1. Pág. 522-529.
Trinidad-Martín-Arroyo, Pablo;Benavides-Cuevas, David Felipe;Durán-Toro, Amador;Ruiz-Cortés, Antonio;Toro-Bonilla, Miguel:
AUTOMATED ERROR ANALYSIS FOR THE AGILIZATION OF FEATURE MODELING. The Journal of Systems and Software. 2008. Vol: 81. Núm: 6. Pág. 883-896.
Orta-Cuevas, Elena;Ruiz-Carreira, Mercedes;Toro-Bonilla, Miguel:
SIMULATION MODELING FOR SERVICE-ORIENTED DEVELOPMENT. International Journal of Software Engineering. 2008. Vol: 1. Núm: 1. Pág. 5-18.
Arjona-Fernández, Jose Luis;Corchuelo-Gil, Rafael;Ruiz-Cortés, David;Toro-Bonilla, Miguel:
FROM WRAPPING TO KNOWLEDGE. IEEE Transactions on Knowledge & Data Engineering. 2007. Vol: 19. Núm: 2. Pág. 310-323.
Ruiz-Carreira, Mercedes;Ramos-Román, Isabel;Toro-Bonilla, Miguel:
A MULTILEVEL ARCHITECTURE FOR MODULARIZATION AND REUSABILITY OF SOFTWARE PROCESS SIMULATION MODELS. WSEAS Transactions on Information Science and Applications. 2006. Vol: 3. Núm: 10. Pág. 1916-1922.
Márquez-Hernández, Antonio Ángel;Valle-Sevillano, Carmelo Del;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel:
A CONSTRAINT-BASED ALGORITHM FOR PLANNING THE SUBSTITUTION OF FAULTY PARTS. Frontiers in Artificial Intelligence and Applications. 2005. Núm: 117. Pág. 79-88.
Valle-Sevillano, Carmelo Del;Toro-Bonilla, Miguel;Fernández-Camacho, Eduardo;Martínez-Gasca, Rafael:
COMBINING HEURISTICS IN ASSEMBLY SEQUENCE PLANNING. Frontiers in Artificial Intelligence and Applications. 2005. Vol: 117. Pág. 99-108.
Ruiz-Cortés, Antonio;Martín-Díaz, Octavio;Durán-Toro, Amador;Toro-Bonilla, Miguel:
IMPROVING THE AUTOMATIC PROCUREMENT OF WEB SERVICES USING CONSTRAINT PROGRAMMING. 2005. Vol: 14. Núm: 4. Pág. 439-467.
Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael;Torres-Valderrama, Jesús;Toro-Bonilla, Miguel;González-Abril, Luis;Velasco-Morente, Francisco;Angulo-,Cecilio:
METODOLOGÍA SEMICUALITATIVA PARA RAZONAR SOBRE SISTEMAS DINÁMICOS. Computación y Sistemas. 2005. Vol: 8. Núm: 3. Pág. 231-251.
Bernárdez-Jiménez, Beatriz;Durán-Toro, Amador;Toro-Bonilla, Miguel;Genero-Bocco, Marcela:
UNA PROPUESTA PARA LA VERIFICACIÓN DE REQUISITOS BASADA EN MÉTRICAS. Revista de procesos y métricas de las tecnologías de la información. 2004. Vol: 1. Núm: 2. Pág. 13-24.
Ruiz-Carreira, Mercedes;Ramos-Román, Isabel;Toro-Bonilla, Miguel:
AN INTEGRATED FRAMEWORK FOR SIMULATION-BASED SOFTWARE PROCESS IMPROVEMENT. Software Process: Improvement and Practice. 2004. Vol: 9. Núm: 2. Pág. 81-93.
Ruiz-Carreira, Mercedes;Ramos-Román, Isabel;Toro-Bonilla, Miguel:
USING DYNAMIC MODELING AND SIMULATION TO IMPROVE THE COTS SOFTWARE PROCESS. Lecture Notes in Computer Science. 2004. Vol: 3009. Pág. 568-581.
Pérez-Castellanos, José Antonio;Corchuelo-Gil, Rafael;Toro-Bonilla, Miguel:
AN ORDER-BASED ALGORITHM FOR IMPLEMENTING MULTIPARTY SYNCHRONIZATION. Concurrency and Computation : Practice & Experience. 2004. Vol: 16. Núm: 12. Pág. 1173-1206.
Valle-Sevillano, Carmelo Del;Márquez-Hernández, Antonio Ángel;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel:
ON SELECTING AND SCHEDULING ASSEMBLY PLANS USING CONSTRAINT PROGRAMMING. Lecture Notes in Computer Science. 2003. Vol: 2774. Pág. 1329-1336.
Ruiz-Cortés, David;Corchuelo-Gil, Rafael;Toro-Bonilla, Miguel:
FAIRNESS IN SYSTEMS BASED ON MULTIPARTY INTERACTIONS. Concurrency and Computation : Practice & Experience. 2003. Vol: 15. Núm: 11-12. Pág. 1093-1116.
Durán-Toro, Amador;Ruiz-Cortés, Antonio;Corchuelo-Gil, Rafael;Toro-Bonilla, Miguel:
IMPLEMENTING REQUIREMENTS VERIFICATION HEURISTICS WITH XML AND XSLT. ACIS International Journal of Computer and Information Science. 2003. Vol: 4. Núm: 1. Pág. 14-22.
Riquelme-Santos, José Cristóbal;Aguilar-Ruiz, Jesus Salvador;Toro-Bonilla, Miguel:
FINDING REPRESENTATIVE PATTERNS WITH ORDERED PROJECTIONS. Pattern recognition. 2003. Vol: 36. Núm: 4. Pág. 1009-1018.
Valle-Sevillano, Carmelo Del;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel;Fernández-Camacho, Eduardo:
A GENETIC ALGORITHM FOR ASSEMBLY SEQUENCE PLANNING. Lecture Notes in Computer Science. 2003. Vol: 2687. Pág. 337-344.
Martín-Díaz, Octavio;Ruiz-Cortés, Antonio;Benavides-Cuevas, David Felipe;Durán-Toro, Amador;Toro-Bonilla, Miguel:
A QUALITY-AWARE APPROACH TO WEB SERVICES PROCUREMENT. Lecture Notes in Computer Science. 2003. Vol: 2819. Pág. 42-53.
Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel;Torres-Valderrama, Jesús:
A METHODOLOGY FOR REASONING ABOUT SEMIQUANTITATIVE DYNAMIC SYSTEMS. Journal Of Applied Systems Studies. 2003. Vol: 4. Núm: 1. Pág. 115-129.
Martín-Díaz, Octavio;Ruiz-Cortés, Antonio;Durán-Toro, Amador;Benavides-Cuevas, David Felipe;Toro-Bonilla, Miguel:
AUTOMATING THE PROCUREMENT OF WEB SERVICES. Lecture Notes in Computer Science. 2003. Vol: 2910. Pág. 91-103.
Torres-Valderrama, Jesús;Ortega-Ramírez, Juan A.;Toro-Bonilla, Miguel:
INTERACTIONS AMONG DYNAMIC SETS OF OBJECTS. Requirements Engineering. 2003. Vol: 8. Núm: 1. Pág. 78-84.
Aguilar-Ruiz, Jesus Salvador;Riquelme-Santos, José Cristóbal;Toro-Bonilla, Miguel:
EVOLUTIONARY LEARNING OF HIERARCHICAL DECISION RULES. IEEE Transactions on Systems, Man and Cybernetics, Part B: Cybernetics. 2003. Vol: 33. Núm: 2. Pág. 324-331.
Galán-Morillo, Francisco José;Toro-Bonilla, Miguel:
ADAPTING DESIGN TYPES TO COMMUNICATION MEDIA AND MIDDLEWARE ENVIRONMENTS. Lecture Notes in Computer Science. 2002. Pág. 184-192.
Ruiz-Cortés, David;Corchuelo-Gil, Rafael;Pérez-Castellanos, José Antonio;Toro-Bonilla, Miguel:
AN ALGORITHM FOR ENSURING FAIRNESS AND LIVENESS IN NON-DETERMINISTIC SYSTEMS BASED ON MULTIPARTY INTERACTIONS. Lecture Notes in Computer Science. 2002. Vol: 2400. Pág. 563-572.
Ceballos-Guerrero, Rafael;Ceballos-Guerrero, Rafael;Martínez-Gasca, Rafael;Martínez-Gasca, Rafael;Valle-Sevillano, Carmelo Del;Valle-Sevillano, Carmelo Del;Toro-Bonilla, Miguel;Toro-Bonilla, Miguel:
MAX-CSP APPROACH FOR SOFTWARE DIAGNOSIS. Lecture Notes in Computer Science. 2002. Vol: 2527. Pág. 172-181.
Arjona-Fernández, Jose Luis;Corchuelo-Gil, Rafael;Ruiz-Cortés, David;Toro-Bonilla, Miguel:
EXTRACTING INFORMATION FROM THE WEB. JOURNAL OF INTERNET TECHNOLOGY. 2002. Vol: 3. Núm: 4. Pág. 267-274.
Martínez-Gasca, Rafael;Ortega-Ramírez, Juan A.;Toro-Bonilla, Miguel:
A FRAMEWORK FOR SEMIQUALITATIVE REASONING IN ENGINEERING APPLICATIONS.. Applied artificial intelligence. 2002. Vol: 16. Núm: 3. Pág. 173-197.
Valle-Sevillano, Carmelo Del;Toro-Bonilla, Miguel;Ceballos-Guerrero, Rafael;Aguilar-Ruiz, Jesus Salvador:
A POMSET-BASED MODEL FOR ESTIMATING WORKCELLS' SETUPS IN ASSEMBLY SEQUENCE PLANNING. Lecture Notes in Computer Science. 2002. Vol: 2527. Pág. 835-844.
Pérez-Castellanos, José Antonio;Corchuelo-Gil, Rafael;Ruiz-Cortés, David;Toro-Bonilla, Miguel:
AN ORDER-BASED, DISTRIBUTED ALGORITHM FOR IMPLEMENTING MULTIPARTY INTERACTIONS. Lecture Notes in Computer Science. 2002. Vol: 2315. Pág. 250-257.
Corchuelo-Gil, Rafael;Pérez-Castellanos, José Antonio;Ruiz-Cortés, Antonio;Toro-Bonilla, Miguel:
REPAIRING SYNTAX ERRORS IN LR PARSERS. ACM transactions on programming languages and systems. 2002. Vol: 24. Núm: 6. Pág. 698-710.
Arjona-Fernández, Jose Luis;Corchuelo-Gil, Rafael;Ruiz-Cortés, Antonio;Toro-Bonilla, Miguel:
A PRACTICAL AGENT-BASED METHOD TO EXTRACT SEMANTIC INFORMATION FROM THE WEB.. Lecture Notes in Computer Science. 2002. Vol: 2348. Pág. 697-700.
Ruiz-Carreira, Mercedes;Ramos-Román, Isabel;Toro-Bonilla, Miguel:
INTEGRATING DYNAMIC MODELS FOR CMM-BASED SOFTWARE PROCESS IMPROVEMENT. Lecture Notes in Computer Science. 2002. Vol: 2559. Pág. 63-77.
Ortega-Ramírez, Juan A.;Cuberos-,F.J.;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel;Torres-, J:
QUALITATIVE COMPARISON OF TEMPORAL SERIES. QSI. 2002. Pág. 121-128.
Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel;Torres-Valderrama, Jesús:
QUALITATIVE COMPARISON OF TEMPORAL SERIES. QSI. Lecture Notes in Computer Science. 2002. Vol: 2504. Pág. 75-87.
Arjona-Fernández, Jose Luis;Corchuelo-Gil, Rafael;Ruiz-Cortés, Antonio;Toro-Bonilla, Miguel:
AUTOMATIC EXTRACTION OF SEMANTICALLY-MEANINGFUL INFORMATION FROM THE WEB.. Lecture Notes in Computer Science. 2002. Pág. 24-35.
Ruiz-Carreira, Mercedes;Ramos-Román, Isabel;Toro-Bonilla, Miguel:
A DYNAMIC INTEGRATED FRAMEWORK FOR SOFTWARE PROCESS IMPROVEMENT. Software Quality Journal. 2002. Vol: 10. Núm: 2. Pág. 181-194.
Ceballos-Guerrero, Rafael;Ceballos-Guerrero, Rafael;Martínez-Gasca, Rafael;Martínez-Gasca, Rafael;Valle-Sevillano, Carmelo Del;Valle-Sevillano, Carmelo Del;Toro-Bonilla, Miguel;Toro-Bonilla, Miguel:
MAX-CSP APPROACH FOR SOFTWARE DIAGNOSIS. Lecture Notes in Computer Science. 2002. Vol: 2527. Pág. 172-181.
Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel;Torres-Valderrama, Jesús:
A SEMIQUANTITATIVE APPROACH TO STUDY SEMIQUALITATIVE SYSTEMS. Lecture Notes in Computer Science. 2002. Vol: 2527. Pág. 303-312.
Durán-Toro, Amador;Ruiz-Cortés, Antonio;Bernárdez-Jiménez, Beatriz;Toro-Bonilla, Miguel:
VERIFYING SOFTWARE REQUIREMENTS WITH XSLT. Software Engineering Notes. 2002. Vol: 27. Núm: 1. Pág. 39-44.
Corchuelo-Gil, Rafael;Pérez-Castellanos, José Antonio;Ruiz-Cortés, Antonio;Toro-Bonilla, Miguel:
AN EFFICIENT ALGORITHM FOR REPAIRING SYNTAX ERRORS IN A CLASS OR LR PARSERS. International Journal of Computer Research. 2001. Vol: 10. Núm: 3. Pág. 1005-1025.
Ramos-Román, Isabel;Ruiz-Carreira, Mercedes;Toro-Bonilla, Miguel:
A SIMPLIFIED MODEL OF SOFTWARE PROJECT DYNAMICS. The Journal of Systems and Software. 2001. Vol: 59. Núm: 3. Pág. 299-309.
Ruiz-Carreira, Mercedes;Ramos-Román, Isabel;Toro-Bonilla, Miguel:
MEJORA DE LOS PROCESOS SOFTWARE UTILIZANDO SIMULACIÓN E INTEGRACIÓN DE TÉCNICAS. CEUR Workshop Proceedings. 2001. Vol: 84. Pág. 6-6.
Martínez-Gasca, Rafael;Ortega-Ramírez, Juan A.;Toro-Bonilla, Miguel:
AN OBJECT-ORIENTED APPROACH FOR LEARNING OF ALGORITHM DESIGN WITH SEQUENTIAL DEVICES AND SCHEMAS. Computación y Sistemas. 2001. Vol: 4. Núm: 3. Pág. 230-241.
Ridao-Carlini, Miguel Angel;Riquelme-Santos, José Cristóbal;Fernández-Camacho, Eduardo;Toro-Bonilla, Miguel:
AN EVOLUTIONARY AND LOCAL SEARCH ALGORITHM FOR MOTION PLANNING OF TWO MANIPULATORS. Journal of Robotic Systems. 2001. Vol: 18. Núm: 8. Pág. 463-476.
Aguilar-Ruiz, Jesus Salvador;Riquelme-Santos, José Cristóbal;Toro-Bonilla, Miguel:
DATA SET EDITING BY ORDERED PROJECTION. Intelligent Data Analysis. 2001. Vol: 5. Núm: 5. Pág. 405-417.
Martínez-Gasca, Rafael;Ortega-Ramírez, Juan A.;Toro-Bonilla, Miguel:
DIAGNOSIS BASADA EN MODELOS POLINOMICOS USANDO TÉCNICAS SIMBOLICAS. Inteligencia Artificial. 2001. Vol: 11. Núm: 14. Pág. 68-77.
Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel:
COMPARACION CUALITATIVA DE SERIES TEMPORALES. INDICE CUALITATIVO DE SIMILITUD QSI. Computación y Sistemas. 2001. Vol: 5. Núm: 2. Pág. 96-108.
González-Romano, José Mariano;Fernández-Camacho, Eduardo;Gomez-Ortega, Juan;Toro-Bonilla, Miguel:
A GENERIC NATURAL LANGUAGE INTERFACE FOR TASK PLANNING - APPLICATION TO A MOBILE ROBOT. Control Engineering Practice. 2000. Vol: 8. Núm: 10. Pág. 1119-1133.
Toro-Bonilla, Miguel;Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael:
METODOLOGÍAS CUALITATIVAS APLICADAS A LOS SISTEMAS SOCIOECONÓMICOS Y RAZONAMIENTO CON INTERVALOS. Inteligencia Artificial. 2000. Núm: 9. Pág. 45-57.
Troyano-Jiménez, José A.;Mejías-Risoto, Manuel;Torres-Valderrama, Jesús;Toro-Bonilla, Miguel:
EXTENSIONES AL SISTEMA DE CLASIFICACIÓN UML. Computación y Sistemas. 2000. Pág. 202-213.
Ortega-Ramírez, Juan A.;Martínez-Gasca, Rafael;Toro-Bonilla, Miguel:
OBTENCIÓN DE PATRONES DE COMPORTAMIENTO DE MODELOS SEMICUALITATIVOS. Inteligencia Artificial. 2000. Vol: 9 II/00. Pág. 66-75.
Martínez-Gasca, Rafael;Ortega-Ramírez, Juan A.;Toro-Bonilla, Miguel:
APLICACIÓN DEL RAZONAMIENTO SEMICUALITATIVO AL MODELADO Y ANÁLISIS DE SISTEMAS ECONÓMICOS. Inteligencia Artificial. 2000. Pág. 85-97.
Toro-Bonilla, Miguel;Ortega-Ramírez, Juan A.:
ARCA: AUTOMATION OF QUALITATIVE REASONING AND APPLICATIONS. MONET Newsletter. 2000. Vol: 3 (I). Pág. 8-9.
Corchuelo-Gil, Rafael;Ruiz-Cortés, David;Toro-Bonilla, Miguel;Durán-Toro, Amador:
AVANCES EN LA COORDINACIÓN DE OBJETOS ACTIVOS.. Novática. 2000. Núm: 143. Pág. 34-37.
Torres-Valderrama, Jesús;Martín-Díaz, Octavio;Troyano-Jiménez, José A.;Toro-Bonilla, Miguel:
IMPLEMENTING ASSOCIATIONS AMONG CLASSES IN AN ENVIRONMENT OF ACTIVE DATABASES. Programming and Computer Software. 2000. Vol: 26. Núm: 4. Pág. 207-215.
Riquelme-Santos, José Cristóbal;Aguilar-Ruiz, Jesus Salvador;Toro-Bonilla, Miguel:
DISCOVERING HIERARCHICAL DECISION RULES WITH EVOLUTIVE ALGORITHMS IN SUPERVISED LEARNING. International Journal of Computers, Systems and Signals. 2000. Vol: 1. Núm: 1. Pág. 73-84.
Corchuelo-Gil, Rafael;Pérez-Castellanos, José Antonio;Toro-Bonilla, Miguel:
A MULTIPARTY COORDINATION ASPECT LANGUAGE. SIGPLAN Notices. 2000. Vol: 35. Núm: 12. Pág. 24-32.
Durán-Toro, Amador;Bernárdez-Jiménez, Beatriz;Ruiz-Cortés, Antonio;Corchuelo-Gil, Rafael;Toro-Bonilla, Miguel:
INGENIERÍA DE REQUISITOS Y TECNOLOGÍA DE OBJETOS.. Novática. 2000. Núm: 143. Pág. 15-20.
Durán-Toro, Amador;Bernárdez-Jiménez, Beatriz;Toro-Bonilla, Miguel;Corchuelo-Gil, Rafael:
UNA PROPUESTA PARA ELABORAR EL CATÁLOGO DE REQUISITOS EN METRICA V2.1.. Novática. 1999. Núm: 142. Pág. 64-68.
Torres-Valderrama, Jesús;Troyano-Jiménez, José A.;Toro-Bonilla, Miguel:
SPECIFYING INTERACTIONS AMONG OBJECTS THROUGH CONSTRAINTS. Computación y Sistemas. 1999. Vol: 3. Núm: 2. Pág. 115-128.
Díaz-Madrigal, Víctor Jesús;Carrillo-Montero, Vicente;Toro-Bonilla, Miguel:
REVISANDO EL RECONOCEDOR CON PREFIJO VÁLIDO PARA TAGS DE SCHABES. Procesamiento del Lenguaje Natural. 1999. Vol: 25. Pág. 59-65.
Aguilar-Ruiz, Jesus Salvador;Riquelme-Santos, José Cristóbal;Toro-Bonilla, Miguel:
DECISION QUEUE CLASSIFIER FOR SUPERVISED LEARNING USING ROTATED HYPERBOXES. Lecture Notes in Computer Science. 1998. Vol: 1484. Pág. 326-336.
Riquelme-Santos, José Cristóbal;Aguilar-Ruiz, Jesus Salvador;Toro-Bonilla, Miguel:
UNA HERRAMIENTA BASADA EN ALGORITMOS GENÉTICOS PARA OBTENER UN CLASIFICADOR JERÁRQUICO EN APRENDIZAJE SUPERVISADO. Inteligencia Artificial. 1998. Vol: 4. Pág. 38-43.
Carrillo-Montero, Vicente;Díaz-Madrigal, Víctor Jesús;Toro-Bonilla, Miguel:
UN RECORRIDO POR LOS FORMALISMOS GRAMATICALES LEXICALIZADOS BASADOS EN REESCRITURA DE ÁRBOLES.. Novática. 1998. Núm: 133. Pág. 22-25.
Díaz-Madrigal, Víctor Jesús;Carrillo-Montero, Vicente;Toro-Bonilla, Miguel:
ANÁLISIS SINTÁCTICO DE TAGS USANDO ANALIZADORES DEDUCTIVOS. Procesamiento del Lenguaje Natural. 1998. Pág. 126-131.
Aguilar-Ruiz, Jesus Salvador;Riquelme-Santos, José Cristóbal;Toro-Bonilla, Miguel:
A TOOL TO OBTAIN A HIERARCHICAL QUALITATIVE RULES FROM QUANTITATIVE DATA. Lecture Notes in Computer Science. 1998. Vol: 1415. Pág. 336-346.
Ridao-Carlini, Miguel Angel;Riquelme-Santos, José Cristóbal;Fernández-Camacho, Eduardo;Toro-Bonilla, Miguel:
AN EVOLUTIONARY + LOCAL SEARCH ALGORITHM FOR PLANNING TWO MANIPULATORS MOTION. Lecture Notes in Computer Science. 1998. Vol: 14. Núm: 16. Pág. 105-114.
Díaz-Madrigal, Víctor Jesús;Toro-Bonilla, Miguel;Carrillo-Montero, Vicente:
UN ALGORITMO DE LEXICALIZACIÓN DE CFG MEDIANTE TAGS. Procesamiento del Lenguaje Natural. 1996. Vol: 19. Pág. 201-208.
Martínez-Gasca, Rafael;Ortega-Ramírez, Juan A.;Toro-Bonilla, Miguel:
PROPAGACIÓN DE RESTRICCIONES INTEGRANDO CONOCIMIENTO CUALITATIVO Y CUANTITATIVO. Boletín de la A.E.P.I.A.. 1996. Vol: 96. Núm: 6. Pág. 23-30.
Gordillo, Francisco;Toro-Bonilla, Miguel;Aracil-Santonja, Javier;Riquelme-Santos, José Cristóbal:
OPTIMAL CONTROL AND SENSITIVITY ANALYSIS OF AN ENERGY DEMAND MODEL. Systems Analysis Modelling Simulation. 1996. Vol: 23. Pág. 177-196.
Torres-Valderrama, Jesús;Troyano-Jiménez, José A.;Toro-Bonilla, Miguel:
DESDE UN LENGUAJE DE ESPECIFICACIÓN ORIENTADO A OBJETOS TESORO Y LOTOS. Informática y Automática. 1994. Vol: 27. Núm: 2. Pág. 22-31.
Aracil-Santonja, Javier;Toro-Bonilla, Miguel:
QUALITATIVE ANALYSIS OF SYSTEM DYNAMICS MODELS. Revue internationale de systémique (Imprimé). 1991. Vol: 5. Núm: 5. Pág. 493-515.
Aracil-Santonja, Javier;Toro-Bonilla, Miguel:
A CASE STUDY OF QUALITATIVE CHANGE IN SYSTEM DYNAMICS. International Journal of Systems Science. 1984. Vol: 15. Núm: 6. Pág. 575-599.

Tesis dirigidas o codirigidas

Reina-Quintero, Antonia María:
SEPARACIÓN AVANZADA DE CONCEPTOS EN ENTORNOS WEB. Tesis Doctoral. 2011
Orta-Cuevas, Elena:
SIMULACIÓN APLICADA A LA MEJORA DE LOS PROCESOS DE GESTIÓN DE SERVICIOS TI. Tesis Doctoral. 2010
Cañete-Valdeón, José Miguel:
UNA TEORÍA SOBRE LENGUAJES Y MÉTODOS DE DISEÑO EN INGENIERÍA DEL SOFTWARE. Tesis Doctoral. 2006
Cordero-Valle, Juan Manuel:
SIMULACIÓN REALISTA DEL COMPORTAMIENTO MECÁNICO DE TELAS UTILIZANDO EL MÉTODO DE ELEMENTOS FINITOS. Tesis Doctoral. 2005
Serendero-sáez, Patricio:
Métodos para descubrir conocimientos en los datos. Tesis Doctoral. 2004
Ruiz-Carreira, Mercedes:
MODELADO Y SIMULACIÓN PARA LA MEJORA DE LOS PROCESOS SOFTWARE. Tesis Doctoral. 2003
Ruiz-Cortés, Antonio:
UNA APROXIMACIÓN SEMICUALITATIVA AL TRATAMIENTO AUTOMÁTICO DE REQUISITOS DE CALIDAD. APLICACIÓN A LA OBTENCIÓN AUTOMÁTICA DE ACUERDOS DE NIVEL DE SERV. Tesis Doctoral. 2002
Valle-Sevillano, Carmelo Del:
ALGORITMOS HEURISTICOS PARA LA SELECCION DE SECUENCIAS OPTIMAS DE ENSAMBLAJE. Tesis Doctoral. 2001
Pérez-Castellanos, José Antonio:
UN FRAMEWORK ORIENTADO A ASPECTOS PARA LA DESCRIPCION DEL COMPORTAMIENTO COORDINADO EN SISTEMAS ABIERTOS. APLICACION A LOS SISTEMAS MULTIORGANIZACIONA. Tesis Doctoral. 2001
Galán-Morillo, Francisco José:
FORMALIZACIONES PARA SINTETIZAR SOFTWARE ORIENTADO A OBJETOS. Tesis Doctoral. 2000
Ortega-Ramírez, Juan A.:
PATRONES DE COMPORTAMIENTO TEMPORAL EN MODELOS SEMICUALITATIVOS CON RESTRICCIONES. Tesis Doctoral. 2000
Díaz-Madrigal, Víctor Jesús:
GRAMATICAS DE ADJUNCION DE ARBOLES: UN ENFOQUE DEDUCTIVO EN EL ANALISIS SINTACTICO. Tesis Doctoral. 2000
Durán-Toro, Amador:
UN ENTORNO METODOLOGICO DE INGENIERIA DE REQUISITOS PARA SISTEMAS DE INFORMACION. Tesis Doctoral. 2000
Corchuelo-Gil, Rafael:
PROTOTIPADO DE ESPECIFICACIONES DE SISTEMAS DISTRIBUIDOS BASADAS EN RESTRICCIONES. APLICACION AL LENGUAJE TESORO. Tesis Doctoral. 1999
Ramos-Román, Isabel:
UN NUEVO ENFOQUE EN LA GESTION DE PROYECTOSDE DESARROLLO DE SOFTWARE. Tesis Doctoral. 1999
Martínez-Gasca, Rafael:
RAZONAMIENTO Y SIMULACION EN SISTEMAS QUE INTEGRAN CONOCIMIENTO CUALITATIVO Y CUANTITATIVO. Tesis Doctoral. 1998
Troyano-Jiménez, José A.:
HERENCIA Y CLASIFICACION EN UN LENGUAJE DE ESPECIFICACION ORIENTADO A OBJETOS. Tesis Doctoral. 1998
Torres-Valderrama, Jesús:
ESPECIFICACIONES ORIENTADAS A OBJETOS BASADAS EN RESTRICCIONES. PROTOTIPADO A UN LENGUAJE ORIENTADO A PROCESOS. Tesis Doctoral. 1997
González-Romano, José Mariano:
APLICACION DEL LENGUAJE NATURAL A LA ADQUISICION DE CONOCIMIENTOS Y OPERACION DE SISTEMAS COMPLEJOS. Tesis Doctoral. 1997
Riquelme-Santos, José Cristóbal:
OBTENCIÓN DE INFORMACIÓN CUALITATIVA A PARTIR DE DATOS CUANTITATIVOS: APLICACIÓN AL ANÁLISIS DE SISTEMAS COMPLEJOS. Tesis Doctoral. 1996