Lenguajes y Sistemas Informáticos
Dirección:

Facultad de Informática y Estadística
Avda. Reina Mercedes, s/n
41012 - Sevilla
TELF: 95.455.71.39
FAX: 95.455.71.39
WEB: http://www.lsi.us.es/

Componentes del Departamento

Catedráticos

Dr. D. Miguel Toro Bonilla

Profesores Titulares

Dr. D. Manuel Mejías Risoto
Dr. D. José Cristóbal Riquelme Santos (Director del Departamento)
Dr. D. Manuel Rovayo García
Dr. D. Jesús Torres Valderrama (Secretario del Departamento)
Dr. D. José Antonio Troyano Jiménez

Profesores Titulares (E.U.)

Dr. D. Juan Manuel Cordero Valle
Dª. Margarita Cruz Risco
Dr. D. Víctor Jesús Díaz Madrigal
Dr. D. Francisco José Galán Morillo
D. Carlos Antonio García Vallejo
D. Antonio Gómez González
Dr. D. J. Mariano González Romano
Dr. D. Rafael Martínez Gasca
D. Antonio Menchen Peñuela
Dr. D. Juan Antonio Ortega Ramírez
Dra. Dª. Isabel Ramos Roman
Dr. D. Rafael Romero Aleta
Dª. Luisa María Romero Moreno
D. Carmelo del Valle Sevillano

Profesores Asociados

D. Jesús S. Aguilar Ruiz
D. José Luís Arjona Fernández
D. Alfonso Maria de Bengoa Díaz
Dª. Beatriz Bernárdez Jiménez
D. José Miguel Cañete Valdeón
D. Vicente Carrillo Montero
Dr. D. Rafael Corchuelo Gil
Dr. D. Amador Durán Toro
Dª. Maria José Escalona Cuaresma
D. Francisco Javier Ferrer Troyano
D. Raul Giraldez Rojo
D. Octavio Martín Díaz
D. Joaquín Peña siles
D. José Antonio Pérez Castellano
Dª. Antonia María Reina Quintero
D. Antonio Ruiz Cortés
D. David Ruiz Cortés

Personal de Administración y Servicios

D. Rafael Carrasco Fenech (Técnico Especialista de Laboratorio)
Dª. Dolores Landa Ruiz (Responsable de Administración)
D. Rafael Sierra del Pino (Técnico de Grado Medio)

Financiación general del Departamento

No se ha especificado aún.

Grupos de Investigación (Universidad de Sevilla)


Biohidrometalurgia (RNM-230)

Grupo Interdepartamental adscrito al Dpto. Ingeniería Química(1).
Responsable: F. Carranza(1)
Componentes: I. Palencia(1), N. Iglesias(1), R. Romero, A. Mazuelos(1), F.J. Borjas(1), (1)
Financiación:

  1. M.E.C. Biodesulfuración de efluentes gaseosos. Eliminación de efectos inhibitorios y separación del azufre elemental: 5.824.000 ptas.


Ingeniería Biomédica (CVI-252)

Grupo Interdepartamental adscrito al Dpto. Ingeniería de Sistemas y Automática(1) y con el Dpto. Medicina(2).
Responsable: L. Roa(1)
Componentes: M. Rovayo, A. Palma(2), P.T. Gómez(*), J.A. Milán(*), M. Prado(*)


Química Teórica y Espectroscopía (FQM-132)

Grupo Interdepartamental adscrito al Dpto. Química Física(1).
Responsable: J. Fdez. Sanz(1)
Componentes: A. Márquez(1), C.J. Calzado(1), J. Oviedo(1), M.A. San Miguel(1), N. Cruz(1), R. Sierra
Financiación:

  1. Ayuda consolidación grupos de investigación. Química teórica: 1.169.163 ptas.
  2. M.E.C. Simulación de catalizadores: deposición de metales sobre superficies de óxidos metálicos: 5.000.000 ptas.


Sistemas Informáticos (TIC-134)

Responsable: M. Toro
Componentes: M. Mejías, J.C. Riquelme, J. Torres, J.A. Troyano, J.M. Cordero, V.J. Díaz, F.J. Galán, C.A. García, J.M. González, R. M. Gasca, A. Menchen, J.A. Ortega, I. Ramos, L.M. Romero, C.d. Valle, J.S. Aguilar, J.L. Arjona, B. Bernárdez, J.M. Cañete, V. Carrillo, R. Corchuelo, A. Durán, M.J. Escalona, F. Ferrer, R. Giraldez, O. Martín, J. Peña, J.A. Pérez, A. Reina, A. Ruiz, D. Ruiz
Financiación:

  1. Ayuda consolidación grupos de investigación. Sistemas informaticos: 365.578 ptas.
  2. MADEIRA: metodologías y arquitecturas para la difusión electrónica de información en la red. 14.560.000 ptas.
  3. GEOZOCO: Nuevos métodos y herramientas para automatizar el desarrollo de aplicaciones de comercio electrónico. 6.720.000 ptas.
  4. Desarrollo de herramientas basadas en modelos semicualitativos para el análisis de sistemas dinámicos. Aplicación a la supervisión, control y predicción de comportamiento. 9.520.000 ptas.
  5. Ayuda para la creación de una red de investigación en ingeniería del software. 3.000.000 ptas.
  6. Ayuda para la creación de una red de investigación en bibliotecas digitales y recuperación de textos. 3.000.000 ptas.

Tesis doctorales

"Gramática de Adjunción de Árboles: un enfoque deductivo en el análisis sintáctico"
Doctorando: Victor J. Díaz Madrigal
Director: José Miguel Toro Bonilla
Calificación: Sobresaliente cum laude, Facultad de Informática y Estadística, 25 de octubre.

"Formalizaciones para sintetizar software Orientado a Objetos"
Doctorando: Francisco José Galán Morillo
Director: José Miguel Toro Bonilla
Calificación: Sobresaliente cum laude, Facultad de Informática y Estadística, 20 de octubre.

"Un entorno metodológico de Ingeniería de Requisitos para Sistemas de Información"
Doctorando: Amador Durán Toro
Director: José Miguel Toro Bonilla
Calificación: Sobresaliente cum laude, Facultad de Informática y Estadística, 19 de septiembre.

"Patrones de comportamiento temporal en Modelo Semicualitativos con Restricciones"
Doctorando: Juan Antonio Ortega Ramirez
Director: José Miguel Toro Bonilla
Calificación: Sobresaliente cum laude, Facultad de Informática y Estadística, 25 de abril.

Publicaciones

Libros

Cordero, J.M., José Cortés, Javier Matellanes: II Jornadas Andalusíes de Informática Gráfica. Coords./Eds.: J.M. Cordero, Miguel Toro y J. Feito. 4. 2000.

Ortega, J.A., Gasca, R. M., Toro, M.: Currents trends in Qualitative in time-series databases. Coords./Eds.: J.A. Ortega, R.M. Gasca y Miguel Toro. ARCA. 2000. ISBN/D.L.: 84-699-2786-8.

Trabajos en Libros

Aguilar, J.S., Riquelme, J.C., Toro, M.: "Data Set Editing by Ordered Projection". En: ISBN 1-58603-13-2. Coords./Eds.: W. Horn. pp. 251-256. IOS Press. 2000. ISBN/D.L.: 1-58603-013-2.

Gasca, R. M., Ortega, J.A., Toro, M.: "Using constraint programming framework for semiqualitative reasoning". En: Currents trends in qualitative time-series databases. Coords./Eds.: J.A. Ortega, R.M. Gasca y Miguel Toro. pp. 75-86. ARCA. 2000. ISBN/D.L.: 84-699-2768-8.

Gasca, R. M., Ortega, J.A., Toro, M., Galán, F.J., Cañete, J.M.: "Optimización en modelos que integran conocimiento cualitativo y cuantitativo". En: Métodos Cualitativos Aplicados a los Sistemas Socioeconómicos. pp. 1-9. Edición Digital@tres, S.L.L. 2000. ISBN/D.L.: 84-699-2729-9.

Ortega, J.A., Gasca, R. M., Toro, M., Galán, F.J., Cañete, J.M.: "Semiqualitative temporal patterns in time-series databases". En: Currents trends in Qualitative in time-series databases. Coords./Eds.: J.A. Ortega, R.M. Gasca y Miguel Toro. pp. 11-20. ARCA. 2000. ISBN/D.L.: 84-699-2786-8.

Ortega, J.A., Gasca, R. M., Toro, M., Torres, J., González, J.M.: "Estudio de sistemas semicualitativos con restricciones. Aplicación a un modelo logístico con retraso". En: Métodos Cualitativos Aplicados a los Sistemas Socioeconómicos. pp. 165-180. Edición Digital@tres, S.L.L. 2000. ISBN/D.L.: 84-699-2729-9.

Ramos, I., Aguilar, J.S., Riquelme, J.C., Toro, M.: "A new method for obtaining software project management rules". En: Approaches to Quality Management. Coords./Eds.: C. Hawkins, D. Chadwick, G. King, M. Ross y G. Staples. pp. 153-164. British Computer Society. 2000. ISBN/D.L.: 1-902505-25-5.

Ramos, I., Toro, M., Ruiz, M.: "Gestión de proyectos y simulación". En: Medición para la gestión en la Ingeniería del Software. Coords./Eds.: José Javier Dolado Cosín y Luis Fernandez Sanz. pp. 173-191. RA-MA. 2000. ISBN/D.L.: 84-7897-403-2.

Trabajos en Revistas

Ceada, J.L:, Martín, O.: "Programación de Threads III". Sólo Program. Vol. 64. 2000. pp. 54-59.

Ceada, J.L:, Martín, O.: "Programación de Threads II". Sólo Program. Vol. 63. 2000. pp. 22-29.

Corchuelo, R., Pérez, J.A., Toro, M.: "A multiparty coordination aspect language". ACM Sigplan. Notices. Vol. 35(12). 2000. pp. 24-32.

Corchuelo, R., Ruiz, D., Toro, M., Durán, A.: "Avances en la coordinación de objetos activos". Novática. Vol. 143. 2000. pp. 34-38.

Durán, A., Bernárdez, B., Ruiz, A., Corchuelo, R., Toro, M.: "Ingeniería de requisitos y tecnología de objetos". Novática. Vol. 143. 2000. pp. 15-20.

Escalona, M.J., Torres, J., Mejías, M.: "Aplicación de los sistemas de tratamiento de bibliotecas digitales al sistema de información del patrimonio histórico andaluz". PH, Bol. Inst. Andal. Patrim. Hist. Vol. Septiembre. 2000. pp. 205-209.

Gasca, R. M., Ortega, J.A., Toro, M.: "Aplicación del razonamiento semicualitativo al modelado y análisis de sistemas económicos". Intel. Artif. Vol. 9. 2000. pp. 85-97.

González, J.M., Camacho, E.F., Gómez, J.Á., Toro, M.: "A generic natural language interface for task planning - application to a mobile robot". Control Eng. Pract. Vol. 8. 2000. pp. 1119-1133.

Mazuelos, A., Carranza, F., Palencia, I., Romero, R.: "High Efficiency reactor for the biooxidation of ferrous iron". Hydrometallurgy. Vol. 58. 2000. pp. 269-275.

Ortega, J.A., Gasca, R. M., Toro, M.: "Obtención de patrones de comportamiento de modelos semicualitativos". Intel. Artif. Vol. 9. 2000. pp. 66-75.

Riquelme, J.C., Aguilar, J.S., Toro, M.: "Discovering hierarchical decision rules with evolutive algorithms in supervised learning". Int. Journal. Vol. 1. 2000. pp. 73-84.

Toro, M., Ortega, J.A.: "ARCA: Automation of Qualitative Reasoning and Applications". Newsletter MONET. Vol. 3(1). 2000. pp. 8-9.

Torres, J., Martín, O., Troyano, J.A., Toro, M.: "Implementing associations among classes in an environment of active databases". Program. Comput. Soft+. Vol. 9. 2000. pp. 85-97.

Troyano, J.A., Mejías, M., Torres, J., Toro, M.: "Extensiones al sistema de clasificación UML". Comput. Sist. Vol. III. 2000. pp. 202-213.

Ponencias y Comunicaciones en Congresos

Aguilar, J.S., Ferrer, F., Peña, J., Ruiz, R., Montaño, A.: "Tree-NN: Clasificación por vecindad usando un k variable". IV Jornadas Científicas Andaluzas Tecnologías de la Información. Cádiz. 2000.

Aguilar, J.S., González, J.M., Riquelme, J.C.: "Una propuesta para asignaturas de introducción a la programación". VI Jornadas sobre la Enseñanza Universitaria de la Informática. Alcalá de Henares, Madrid. 2000.

Aguilar, J.S., Riquelme, J.C., Toro, M.: "Data Set Editing by Ordered Projection". European Conference on Artificial Intelligence. Amsterdam, Holanda. ISBN 1-58603-013-2. 2000.

Aroba, J., Ramos, I., Riquelme, J.C.: "Decision making in software project using fuzzy clustering algorithms". Software Process Simulation Modeling Workshop. Londres, Reino Unido. 2000.

Corchuelo, R., Letelier, P., Sánchez, P.: "Selección justa en el contexto de OASIS". V Jornadas de trabajo MENHIR. Granada. 2000.

Corchuelo, R., Peña, J., Ferrer, F.: "Síntesis automática de sistemas expertos difusos: aplicación a la cura de enfermedades coronarias". IV Jornadas Científicas Andaluzas Tecnologías de la Información. Cádiz. 2000.

Cordero, J.M., Cortés, J., Matellanes, J.: "NURBS de mínima energía". II Jornadas Andalusíes de Informática Gráfica. Sevilla. 2000.

Cordero, J.M., Escalona, M.J., Torres, J., Mejías, M., Gasca, R. M.: "Aplicación de los sistemas de tratamiento de bibliotecas digitales a la gestión del patrimonio histórico". TURITEC'00. Alcalá de Henares, Madrid. 2000.

Cortés, J., Cordero, J.M.: "Bump-mapping exacto". II Jornadas Andalusíes de Informática Gráfica. Sevilla. 2000.

Durán, A., García, F.J., Laguna, M.A.: "Propuestas de reutilización de requisitos". V Jornadas de Ingeniería del Software y Bases de Datos. Valladolid. 2000.

Durán, A., Ruiz, A., Corchuelo, R., Toro, M.: "Identificación de patrones de reutilización de requisitos de sistemas de información". III Worshop de Enganharia de requisitos. Rio de Janeiro, Brasil. 2000.

Escalona, M.J., Mejías, M., Torres, J.: "Aproximación metodológica al desarrollo de sistemas para el tratamiento de bibliotecas digitales". V Jornadas de Ingeniería del Software y Bases de Datos. Valladolid. 2000.

Escalona, M.J., Mejías, M., Torres, J., Cordero, J.M., González, J.M.: "Aplicación integrada de la biblioteca digital del patrimonio histórico andaluz". I Jornadas de Bibliotecas Digitales. Valladolid. 2000.

González, J.M., Cordero, J.M., Toro, M.: "Curso de diseño y desarrollo de sistemas interactivos multimedia". I Jornadas de interacción persona-ordenador. Granada. 2000.

Letelier, P., Sánchez, P., Troyano, J.A., Crespo, Y..: "Especialización en modelado conceptual: un uso disciplinado de la herencia". IDEAS'00. Cancún, México. 2000.

Magdaleno, I., González, J.M.: "Técnicas para el modelado de ciudades con VRML". II Jornadas Andalusíes de Informática Gráfica. Sevilla. 2000.

Martin, S., León, C., Mejías, M., Romero, Mº. C., Medina, A.V.: "Integration of expert system rules into standardized object description models for telecommunication network management". 2nd International Conference on Enterprise Information Systems. Stafford, Reino Unido. 2000.

Mejías, M., Escalona, M.J., Torres, J.: "Captura de requisitos navegacionales y de interfaz abstracta para los sistemas de tratamiento de bibliotecas digitales". IV Jornadas Científicas Andaluzas Tecnologías de la Información. Cádiz. 2000.

Mejías, M., Ramos, I.: "Un marco de referencia para la realización de proyectos de desarrollo de software". V International Congress of Project Engineering. Lerida. 2000.

Mejías, M., Ramos, I., Martín, O., Escalona, M.J.: "Un método docente para la realización de prácticas de ingeniería del software". VI Jornadas sobre la Enseñanza Universitaria de la Informática. Alcalá de Henares, Madrid. 2000.

Montaño, M., Aguilar, J.S., Peña, J., Ferrer, F., Ruiz, R..: "COGITO V: Algoritmo evolutivo con codificación entera para aprendizaje supervisado". IV Jornadas Científicas Andaluzas Tecnologías de la Información. Cádiz. 2000.

Ortega, J.A., Gasca, R. M., Toro, M.: "Searching for similar semiqualitative temporal patterns in time-series". 14th International Workshop on Qualitative Reasoning. Michoacán, México. ISBN 970-703-012-7. 2000.

Peña, J., Corchuelo, R., Ruiz, A., Ferrer, F.: "Implementación automática de fragmentos arquitectónicos en el contexto del lenguaje ALFA". Simposio Español de Informática Distribuida. Orense. ISBN 84-8158-163-1. 2000.

Peña, J., Corchuelo, R., Ruiz, A., Ferrer, F., Toro, M.: "Una aproximación al desarrollo de software basada en el prototipado arquitectónico". V Jornadas de Ingeniería del Software y Bases de Datos. Valladolid. ISBN 84-8448-065-8. 2000.

Peña, J., Corchuelo, R., Ruiz, D., Ferrer, F.: "Composición de máquinas de estados". IV Jornadas Científicas Andaluzas Tecnologías de la Información. Cádiz. 2000.

Ramos, I., Aguilar, J.S., Riquelme, J.C., Toro, M.: "A new method for obtaining software project management rules". Software Quality Management. Londres, Reino Unido. 2000.

Ramos, I., Aroba, J., Riquelme, J.C.: "Mejoras en la toma de decisiones en proyectos de software. Aplicación de técnicas de lógica borrosa". V Jornadas de Ingeniería del Software y Bases de Datos. Valladolid. 2000.

Ramos, I., Domínguez, J.: "Docencia en gestión y estimación de proyectos software: un enfoque constructivista". VI Jornadas sobre la Enseñanza Universitaria de la Informática. Alcalá de Henares, Madrid. 2000.

Ramos, I., Riquelme, J.C., Aguilar, J.S., Ruiz, M.: "Un nuevo enfoque en la estimación y gestión de proyectos". V Jornadas de Calidad del Software. San Sebastián. 2000.

Ramos, I., Riquelme, J.C., Aguilar, J.S., Ruiz, M., Araboa, J.: "Ayuda a la toma de decisiones para la estimación y gestión de proyectos". IV Jornadas Científicas Andaluzas Tecnologías de la Información. Cádiz. 2000.

Ramos, I., Riquelme, J.C., Aguilar, J.S., Ruiz, M., Aroba, J.: "Application of machine learning techniques to software project management". V International Congress of Project Engineering. Lérida. 2000.

Reinoso, R., Corchuelo, R., Pérez, J.A., Peña, J.: "Un algoritmo para la implementación del modelo de interacción entre múltiples participantes". IV Jornadas Científicas Andaluzas Tecnologías de la Información. Cádiz. 2000.

Romero, L.M.: "Algoritmos causales: una propuesta curricular para la formación del ingeniero en informática". VIII Jornadas Andaluzas de Educación Matemática. Jaen. ISBN 84-89869-37-5. 2000.

Romero, L.M.: "Aportaciones de las TAGs síncronas al procesamiento del lenguaje natural". X Congreso sobre enseñanza y aprendizaje de las matemáticas. Cádiz. ISBN 84-7786-675-9. 2000.

Ruiz, A., Corchuelo, R., Durán, A., Martín, O., Pérez, J.A.: "Prototipado arquitectónico de sistemas distribuidos abiertos". V Jornadas de trabajo MENHIR. Granada. 2000.

Ruiz, A., Corchuelo, R., Martín, O., Durán, A., Toro, M.: "Addressing interoperability in multi-organisational web-based systems". European Conference on Object-Oriented Programming (Workshop on Object Interoper. Shopia Antipolis, Francia. 2000.

Ruiz, A., Peña, J., Corchuelo, R., Reinoso, R., Ferrer, F.: "Problemas de interoperabilidad en CORBA". IV Jornadas Científicas Andaluzas Tecnologías de la Información. Cádiz. 2000.

Ruiz, D., Corchuelo, R., Pérez, J.A., Martín, O., Ruiz, A.: "Avances en la implementación del modelo de interacción entre múltiples participantes". V Jornadas de trabajo MENHIR. Granada. 2000.

Ruiz, D., Corchuelo, R., Pérez, J.A., Toro, M.: "Un algoritmo descentralizado de selección justa de interacciones entre múltiples participantes". Simposio Español de Informática Distribuida. Orense. ISBN 84-8158-163-1. 2000.

Ruiz, M., Ramos, I.: "A dynamic estimation model for the early stages of a software project". Software Process Simulation Modeling Workshop. Londres, Reino Unido. 2000.

Ruiz, M., Ramos, I.: "Sistema de métricas para la obtención de información de seguimiento de proyectos software". V International Congress of Project Engineering. Lérida. 2000.

Ruiz, R., Ferrer, F., Peña, J., Aguilar, J.S.: "Implementación de un algoritmo de clustering usando puntos representativos". IV Jornadas Científicas Andaluzas Tecnologías de la Información. Cádiz. 2000.

Torres, J., Mejías, M., Escalona, M.J., Cordero, J.M., Ortega, J.A.: "Diseño del modelo navegacional para sistemas de tratamiento de bibliotecas digitales". I Jornadas de Bibliotecas Digitales. Valladolid. 2000.