|
VICERRECTORADO DE INVESTIGACIÓN | ||
|
|||
|
||||||
Ficha personal - Antonio Ruiz CortésAntonio Ruiz Cortés Responsable de los siguientes proyectos/ayudas en la US:
Participa en los siguientes proyectos/ayudas en la US:
Cobertura de la base de datos de proyectos, véase aqui Publicaciones:Nota: Por problemas técnicos del sistema SICA2 la producción científica está actualizada hasta septiembre 2011. LibrosRafael Corchuelo Gil, Antonio Ruiz Cortés, Robert Wrembel:Technology Supporting Business Solutions. Nueva York, Estados Unidos. Nova Science Publishers. 2004. 196 Rafael Corchuelo Gil, Antonio Ruiz Cortés, David Felipe Benavides Cuevas: New Methods and Tools Supporting e-Commerce II. Sevilla. Kronos S.A. 2003. 158 Rafael Corchuelo Gil, Antonio Ruiz Cortés, Miguel Toro Bonilla: Advances in Business Solutions. Salamanca. Catedral. 2002. 147 Rafael Corchuelo Gil, Antonio Ruiz Cortés, José Antonio Pérez Castellanos: New Methods and Tools Supporting e-Commerce. Salamanca. Catedral. 2002. 144 Capítulos en LibrosSergio Segura Rueda, David Felipe Benavides Cuevas, Antonio Ruiz Cortés, Pablo Trinidad Martín-Arroyo:Automated Merging of Feature Models Using Graph Transformations. Generative and Transformational Techniques in Software Engineering. Alemania. Springer Verlag. 2008. Pag. 489-505 Pablo Trinidad Martín-Arroyo, David Felipe Benavides Cuevas, Antonio Ruiz Cortés: Improving Decision Making in Software Product Lines Product Plan Management. Software Product Management: Issues and Perspectives. Hyderabad, India. Icfai University Press. Vol. 1. 2008. Pag. 88-97 J. Bermejo, Pablo Trinidad Martín-Arroyo, David Felipe Benavides Cuevas, Antonio Ruiz Cortés: Telvent: System Families Variability Management Using Design Patterns. Software Product Lines in Action. Berlín,Alemania. Springer-Verlag. Vol. 1. 2007. Pag. 265-274 David Felipe Benavides Cuevas, Sergio Segura Rueda, Pablo Trinidad Martín-Arroyo, Antonio Ruiz Cortés: Using JAVA CSP Solvers in the Automated Analyses of Feature Models. Generative and Transformational Techniques in Software Engineering. Berlín. Lecture Notes in Computer Science, Springer Verlag. 2006. Pag. 399-408 David Felipe Benavides Cuevas, Antonio Ruiz Cortés, Carlos Müller, Miguel Toro Bonilla: La Triple Esquizofrenia del Investigador en Ingeniería del Software. Aspectos Filosóficos, Psicológicos y Metodológicos de la Informática. Madrid, España. Dykinson. 2005. Pag. 47-56 David Felipe Benavides Cuevas, Antonio Ruiz Cortés, Octavio Martín Díaz, J. Bermejo: A First Approach to Build Product-Lines of MOWS. New Methods and Tools Supporting e¿Commerce II. Sevilla, España. Kronos S.A. Vol. 1. 2003. Pag. 61-66 Antonio Ruiz Cortés, Rafael Corchuelo Gil, Amador Durán Toro: An Automated Approach to Quality-Aware Applications. Enterprise Information Systems IV. Dordrecht, Holanda. Kluwer Academic Publishers. 2003. Pag. 237-242 Amador Durán Toro, Antonio Ruiz Cortés, Rafael Corchuelo Gil, Miguel Toro Bonilla: An Automatic Approach for the Verification of Software Requirements Using Web Technologies. Applying Requirements Engineering. Salamanca, España. Catedral Publicaciones. 2003. Pag. 35-56 David Felipe Benavides Cuevas, Antonio Ruiz Cortés, Miguel Toro Bonilla: Aplicando la Filosofía de las Ciencias de la Complejidad a la Ingeniería del Software. Métodos de Investigación y Fundamentos Filosóficos en Ingeniería del Software y Sistemas de la Información. Madrid. Dykinson. 2003. Pag. 97-105 Antonio Ruiz Cortés, Amador Durán Toro, Rafael Corchuelo Gil, David Felipe Benavides Cuevas: Automatic Detection of Conflicts in Quality Requirements. Applying Requirements Engineering. Salamanca, España. Catedral Publicaciones. 2003. Pag. 121-130 Octavio Martín Díaz, Antonio Ruiz Cortés, Rafael Corchuelo Gil, David Felipe Benavides Cuevas: Putting the Foundations for a Management and Execution Environment for MOWS. New Methods and Tools Supporting e¿Commerce II. Sevilla, España. Kronos S.A. Vol. 1. 2003. Pag. 93-102 David Felipe Benavides Cuevas, Antonio Ruiz Cortés, Rafael Corchuelo Gil, Amador Durán Toro: Seeking for Extra-Functional Variability. Modelling Variability for Object-Oriented Product Lines. Norderstedt, Alamania. Bookondemand Publ. Co. 2003. Pag. 1-6 Joaquín Peña Siles, Rafael Corchuelo Gil, Antonio Ruiz Cortés, Miguel Toro Bonilla: Towards a Methodology for Describing Coordination in Multi-Agent Systems. VIII Jornadas de Ingeniería del Software y Bases de Datos 2003. Valencia. Combopel. 2003. Pag. 315-324 Jose Luis Arjona Fernández, Rafael Corchuelo Gil, Antonio Ruiz Cortés, Miguel Toro Bonilla: A Practical Agent-Based Method to Extract Semantic Information From the Web. Advanced Information System Engineering. Germany. Springer-Verlag Berlin. 2002. Pag. 697-700 Octavio Martín Díaz, Antonio Ruiz Cortés, David Ruiz Cortés, Joaquín Peña Siles, Jose Luis Arjona Fernández: An Approach Towards an Automatic Processing of Architectural Alternatives. New Methods and Tools Supporting e-Commerce. Salamanca. Catedral. Vol. 1. 2002. Pag. 13-26 Jose Luis Arjona Fernández, Antonio Ruiz Cortés, Joaquín Peña Siles, David Ruiz Cortés, Octavio Martín Díaz: Automatic Extraction of Semantically-Meaningful Information From the Web. New Methods and Tools Supporting e-Commerce. Salamanca. Catedral. Vol. 1. 2002. Pag. 75-86 Jose Luis Arjona Fernández, Rafael Corchuelo Gil, Antonio Ruiz Cortés, Miguel Toro Bonilla: Automatic Extraction of Semantically-Meaningful Information From the Web. Adaptive Hypermedia and Adaptive Web-Based Systems. Germany. Springer-Verlag Berlin. 2002. Pag. 24-35 Rafael Corchuelo Gil, Antonio Ruiz Cortés: La Calidad en las Aplicaciones de los Mercados Electrónicos. Calidad en el Desarrollo y Mantenimiento del Software. Madrid, España. Ra-MA. 2002. Pag. 139-158 Rafael Corchuelo Gil, Antonio Ruiz Cortés: Los Servicios Web en el Mundo de los Mercados Electrónicos. Avances en Comercio Electrónico. Salamanca. F.J. García. 2002. Pag. 85-98 Rafael Corchuelo Gil, Antonio Ruiz Cortés: Object-Oriented Business Solutions. Ecoop'2001 Workshop Reader. España. (Eds.) Springer-Verlag. 2001. Pag. 184-200 Antonio Ruiz Cortés, Rafael Corchuelo Gil, Octavio Martín Díaz, Amador Durán Toro, Miguel Toro Bonilla: Addressing Interoperability in Multi-Organisational Web-Based Systems. New Issues in Object Interoperability. Cacéres, España. Universidad de Extremadura. 2000. Pag. 87-96 Joaquín Peña Siles, Rafael Corchuelo Gil, Antonio Ruiz Cortés, Francisco Javier Ferrer Troyano: Implementación Automática de Fragmentos Arquitectónicos en el Contexto del Lenguaje Alfa. Actas Simposio Español de Informática Distribuida. Ourense. Oficode. 2000. Pag. 541-550 Joaquín Peña Siles, Rafael Corchuelo Gil, Antonio Ruiz Cortés, Francisco Javier Ferrer Troyano, Miguel Toro Bonilla: 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, España. Jornadas de Ingeniería del Software y Bases de Datos. 2000. Pag. 191-202 Amador Durán Toro, Beatriz Bernárdez Jiménez, Miguel Toro Bonilla, Rafael Corchuelo Gil, Antonio Ruiz Cortés: Expressing Customer Requirements Using Natural Language Requirements Templates and Patterns. Modern Applied Mathematics Techniques in Circuits, Systems and Control. Atenas, Grecia. World Scientific and Engineering Academy and Society Press. 1999. Pag. 337-342 Publicaciones en RevistasSergio Segura Rueda, Robert M. Hierons, David Felipe Benavides Cuevas, Antonio Ruiz Cortés:Automated Metamorphic Testing on the Analyses of Feature Models. Information & Software Technology. Vol. 53. 2011. Pag. 245-258 Fabricia Carneiro Roos, David Felipe Benavides Cuevas, Antonio Ruiz Cortés, Andre Heuer, Kim Lauenroth: Quality-Aware Analysis in Product Line Engineering With the Orthogonal Variability Model. Software Quality Journal. 2011. Pag. 1-47 David Felipe Benavides Cuevas, Sergio Segura Rueda, Antonio Ruiz Cortés: Automated Analysis of Feature Models 20 Years Later: a Literature Review. Information Systems: Data Base: Their Creation, Management and Utilization. Vol. 35. Núm. 6. 2010. Pag. 615-636 Jules White, David Felipe Benavides Cuevas, Douglas Schmidt, Pablo Trinidad Martín-Arroyo, Brian Dougherty, et. al.: Automated Diagnosis of Feature Model Configurations. Journal of Systems and Software . Vol. 35. Núm. 6. 2010. Pag. 1094-1107 José Joaquím Bocanegra Garcia, Joaquín Peña Siles, Antonio Ruiz Cortés: Hacia el Enlace Entre la Estrategia Empresarial Mediante Modelos de Valor y el Software de Negocio: un Enfoque Mdd. Avances en Sistemas e Informatica. Vol. 6. Núm. 1. 2009. Pag. 15-24 Joaquín Peña Siles, Christopher A. Rouff, Michael G. Hinchey, Antonio Ruiz Cortés: Modeling NASA Swarm-Based Systems Using Agent-Oriented Software Engineering and Formal Methods. Software and System Modeling. 2009. Pag. 1-8 Pablo Trinidad Martín-Arroyo, David Felipe Benavides Cuevas, Amador Durán Toro, Antonio Ruiz Cortés, Miguel Toro Bonilla: Automated Error Analysis for the Agilization of Feature Modeling. Journal of Systems and Software . Vol. 81. Núm. 6. 2008. Pag. 883-896 Joaquín Peña Siles, Rafael Corchuelo Gil, Antonio Ruiz Cortés: A Top Down Approach for Describing the Acquaintance Organisation of Multiagent Systems. Scalable Computing: Practice and Experience. 2007. Pag. 49-62 José María García Rodríguez, David Ruiz Cortés, Antonio Ruiz Cortés, Octavio Martín Díaz, Manuel Resinas Arias de Reyna: An Hybrid, Qos-Aware Discovery of Semantic Web Services Using Constraint Programming. Lecture Notes in Computer Science. Vol. 4749. 2007. Pag. 69-80 Joaquín Peña Siles, Michael G. Hinchey, Roy Sterritt, Antonio Ruiz Cortés: Building and Implementing Policies in Autonomous and Autonomic Systems Using Macmas. a Case Study Based on a NASA Concept Mission. Journal on Innovations in Systems and Software Engineering. 2007. Pag. 1-12 Joaquín Peña Siles, Michael G. Hinchey, Antonio Ruiz Cortés, Pablo Trinidad Martín-Arroyo: Building the Core Architecture of a NASA Multiagent System Product Line. Lecture Notes in Computer Science. Vol. 4405. 2007. Pag. 208-224 Carlos Müller, Octavio Martín Díaz, Antonio Ruiz Cortés, Manuel Resinas Arias de Reyna, Pablo Fernández Montes: Improving Temporal-Awareness of Ws-Agreement. Lecture Notes in Computer Science. 2007. Pag. 193-206 Christopher A. Rouff, Michael G. Hinchey, Antonio Ruiz Cortés: Modeling NASA Swarm-Based Systems: Using Formal Methods and Agent-Oriented Software Engineering. Software and System Modeling. 2007. Pag. 1-16 Don Batory, David Felipe Benavides Cuevas, Antonio Ruiz Cortés: Automated Analysis of Feature Models: Challenges Ahead. Communications of the ACM. Vol. 49. Núm. 12. 2006. Pag. 45-47 Joaquín Peña Siles, Michael G. Hinchey, Antonio Ruiz Cortés: Multiagent System Product Lines: Challenges and Benefits. Communications of the ACM. Vol. 49. Núm. 12. 2006. Pag. 82-84 David Felipe Benavides Cuevas, Antonio Ruiz Cortés, Carlos Montes de Oca, Miguel Angle Serrano: A First Approach to Build Product Lines of Multi-Organizational Web Based Systems (MOWS). Lecture Notes in Computer Science. Vol. 3473. 2005. Pag. 91-98 Octavio Martín Díaz, Antonio Ruiz Cortés, Amador Durán Toro, Carlos Müller: An Approach to Temporal-Aware Procurement of Web Services. Lecture Notes in Computer Science. Vol. 3826. 2005. Pag. 170-184 David Felipe Benavides Cuevas, Pablo Trinidad Martín-Arroyo, Antonio Ruiz Cortés: Automated Reasoning on Feature Models. Lecture Notes in Computer Science. Vol. 3520. 2005. Pag. 491-503 Antonio Ruiz Cortés, Octavio Martín Díaz, Amador Durán Toro, Miguel Toro Bonilla: Improving the Automatic Procurement of Web Services Using Constraint Programming. International Journal of Cooperative Information Systems. Vol. 14. Núm. 4. 2005. Pag. 439-467 Rafael Corchuelo Gil, Antonio Ruiz Cortés: Breakthroughs and Challenges in Software Engineering. Journal of Universal Computer Science. Vol. 10. Núm. 4. 2004. Pag. 303-305 Antonio Ruiz Cortés, Rafael Corchuelo Gil: Editorial: Web and Database Technologies in Business Solutions. International Journal of Web Engineering and Technology. Vol. 1. Núm. 3. 2004. Pag. 275-277 Octavio Martín Díaz, Antonio Ruiz Cortés, David Felipe Benavides Cuevas, Amador Durán Toro, Miguel Toro Bonilla: A Quality-Aware Approach to Web Services Procurement. Lecture Notes in Computer Science. Vol. 2819. 2003. Pag. 42-53 Rafael Corchuelo Gil, José Antonio Pérez Castellanos, Antonio Ruiz Cortés: Aspect-Oriented Interaction in Multi-Organisational Web-Based Systems. Computer Networks-the International Journal of Computer and Telecommunicati . Vol. 41. Núm. 4. 2003. Pag. 385-406 Octavio Martín Díaz, Antonio Ruiz Cortés, Amador Durán Toro, David Felipe Benavides Cuevas, Miguel Toro Bonilla: Automating the Procurement of Web Services. Lecture Notes in Computer Science. Vol. 2910. 2003. Pag. 91-103 Amador Durán Toro, Antonio Ruiz Cortés, Rafael Corchuelo Gil, Miguel Toro Bonilla: Implementing Requirements Verification Heuristics With XML and XSLT. Computer & Information Science. Vol. 4. Núm. 1. 2003. Pag. 14-22 Jose Luis Arjona Fernández, Rafael Corchuelo Gil, Antonio Ruiz Cortés, Miguel Toro Bonilla: A Practical Agent-Based Method to Extract Semantic Information From the Web. Lecture Notes in Computer Science. Vol. 2348. 2002. Pag. 697-700 Jose Luis Arjona Fernández, Rafael Corchuelo Gil, Antonio Ruiz Cortés: Automatic Extraction of Semantically-Meaningful Information From the Web. The European Online Magazine for the It Professional. Vol. III. Núm. 3. 2002. Pag. 44-51 Jose Luis Arjona Fernández, Rafael Corchuelo Gil, Antonio Ruiz Cortés, Miguel Toro Bonilla: Automatic Extraction of Semantically-Meaningful Information From the Web. Lecture Notes in Computer Science. 2002. Pag. 24-35 Rafael Corchuelo Gil, Jose Luis Arjona Fernández, Antonio Ruiz Cortés: Extracción Automática de Información con Semántica de la Web. Novatica. Núm. 157. 2002. Pag. 27-33 Rafael Corchuelo Gil, José Antonio Pérez Castellanos, Antonio Ruiz Cortés: Interacción Orientada a Aspectos en Entornos Multiorganizacionales. Revista Colombiana de Computación. Vol. 3. Núm. 2. 2002. Pag. 35-50 Rafael Corchuelo Gil, José Antonio Pérez Castellanos, Antonio Ruiz Cortés: Multi-Party Coordination in the Context of MOWS. Programming and Computer Software . Vol. 28. Núm. 5. 2002. Pag. 280-289 Rafael Corchuelo Gil, José Antonio Pérez Castellanos, Antonio Ruiz Cortés, Miguel Toro Bonilla: Repairing Syntax Errors in LR Parsers. ACM Transactions on Programming Languages and Systems. Vol. 24. Núm. 6. 2002. Pag. 698-710 Amador Durán Toro, Antonio Ruiz Cortés, Rafael Corchuelo Gil, Octavio Martín Díaz: Tabbed Hierarchy: a Design Pattern for the Implementation of Object-Oriented User Interfaces. Computación y Sistemas. Núm. 2. 2002. Pag. 130-142 Amador Durán Toro, Antonio Ruiz Cortés, Beatriz Bernárdez Jiménez, Miguel Toro Bonilla: Verifying Software Requirements With XSLT. ACM Software Engineering Notes. Vol. 27. Núm. 1. 2002. Pag. 39-44 David Ruiz Cortés, Rafael Corchuelo Gil, Antonio Ruiz Cortés: Vivacidad y Justicia en Entornos no Deterministas. Revista Colombiana de Computación. Vol. 3. Núm. 1. 2002. Pag. 73-92 Rafael Corchuelo Gil, José Antonio Pérez Castellanos, Antonio Ruiz Cortés, Miguel Toro Bonilla: An Efficient Algorithm for Repairing Syntax Errors in a Class or LR Parsers. International Journal of Computer Research. Vol. 10. Núm. 3. 2001. Pag. 1005-1025 Amador Durán Toro, Beatriz Bernárdez Jiménez, Antonio Ruiz Cortés, Rafael Corchuelo Gil, Miguel Toro Bonilla: Ingeniería de Requisitos y Tecnología de Objetos. Novatica. Núm. 143. 2000. Pag. 15-20 Antonio Ruiz Cortés, Jose Luis Alvarez Macias: JAVA Rmi: Creacion de Aplicaciones Distribuidas. Solo Programadores. 1998. Pag. 68-75 Jose Luis Alvarez Macias, Antonio Ruiz Cortés, A. Ruiz: Linux: un Paseo Por el Sistema. Solo Programadores. Vol. 2. 1998. Pag. 13-18 Jose Luis Alvarez Macias, Antonio Ruiz Cortés, A. Ruiz: Programacion Distribuida Orientada a Objeto con CORBA (y II). Solo Programadores. Vol. 52. 1998. Pag. 66-72 Jose Luis Alvarez Macias, Antonio Ruiz Cortés, A. Ruiz: Programacion Distribuida Orientada a Objetos con CORBA (I). Solo Programadores. Vol. 51. 1998. Pag. 68-73 Libros de ActasManuel Resinas Arias de Reyna, Antonio Ruiz Cortés, Joan Antoni Pastor, María Ribera Sancho:Actas del III Taller de Procesos de Negocio e Ingenieria de Servicios. Valencia, España. Valencia, España. Sociedad de Ingeniería del Software y Tecnologías de Desarrollo de Software (Sistedes). 2010 Manuel Resinas Arias de Reyna, Antonio Ruiz Cortés, Francisco (Uclm) Ruiz Gonzalez, Felix (Uclm) Garcia Rubio: Actas del II Taller Sobre Procesos de Negocio e Ingeniería de Servicios 2009. San Sebastián. San Sebastián, España. Sociedad de Ingeniería del Software y Tecnologías de Desarrollo de Software (Sistedes). 2009 César Acuña, Valeria de Castro, Antonio Ruiz Cortés, David Pascual: V Jornadas Científico-Técnicas en Servicios Web y Soa (Jsweb 2009). Num. 5. Madrid. Madrid, España. Acta de Congreso. 2009 Don Batory, David Felipe Benavides Cuevas, Patrick Heymans, Antonio Ruiz Cortés: Aspl 2008. First Workshop on Analyses of Software Product Lines. Num. 1. Limerick, Irlanda. Sevilla, España. Acta de Congreso. 2008 José Manuel López Cobo, Antonio Vallecillo Moreno, Antonio Ruiz Cortés: IV Jornadas Científicos Técnicas en Servicios Web y Soa (Jsweb 2008). Num. 4. Sevilla. Sevilla, España. 2008 Rafael Corchuelo Gil, Antonio Ruiz Cortés: Actas del Simposio de Informática y Comunicaciones (Año 2002. Difusión Internacional). Simposio de Informática y Comunicaciones (Año 2002, Difusión Internacional). Sevilla, España. Sevilla, España. Actas del Simposio de Informática y Comunicaciones (2002). 2002 Aportaciones a CongresosJesús García Galán, Pablo Trinidad Martín-Arroyo, Antonio Ruiz Cortés:Isa Packager: a Tool for Spl Deployment. Proceedings of Fifth International Workshop on Variability Modelling of Software-Intensive Systems. Fifth International Workshop on Variability Modelling of Software-Intensive Systems (). Namur, Bélgica. ACM. 2011. Pag. 115-118 José María García Rodríguez, David Ruiz Cortés, Antonio Ruiz Cortés: A Model of User Preferences for Semantic Services Discovery and Ranking. The Semantic Web: Research and Applications. 7th Extended Semantic Web Conference, Eswc 2010 (7). Num. 7. Heraklion, Creta, Grecia. Springer-Verlag. 2010. Pag. 1-14 Carlos Müller, Manuel Resinas Arias de Reyna, Antonio Ruiz Cortés: Ada: Agreement Documents Analyser. VI Jornadas Científico-Técnicas en Servicios Web y Soa. Cedi 2010 (). Valencia. Ibergarceta Publicaciones, S.l. 2010. Pag. 1-4 Fabricia Carneiro Roos, David Felipe Benavides Cuevas, Antonio Ruiz Cortés: Automated Analysis of Orthogonal Variability Models Using Constraint Programming. Actas XV Jornadas de Ingeniería del Software y Bases de Datos. Jornadas de Ingeniería del Software y Bases de Datos (15). Num. 15. Valencia, España. Sistedes. 2010. Pag. 269-280 Sergio Segura Rueda, Robert M. Hierons, David Felipe Benavides Cuevas, Antonio Ruiz Cortés: Automated Test Data Generation on the Analyses of Feature Models: a Metamorphic Testing Approach. Proceedings of the Third International Conference on Software Testing, Verification and Validation. International Conference on Software Testing, Verification and Validation (3). Num. 3. Paris, France. IEEE Computer Society. 2010. Pag. 1-10 Pablo Trinidad Martín-Arroyo, Jesús García Galán, Antonio Ruiz Cortés: Building Industry-Ready Tools: Fama Framework & Ada. Proceedings of the Third International Workshop on Academic Software Development Tools and Techniques. International Workshop on Academic Software Development Tools and Techniques (3). Num. 3. Amberes, Bélgica. Online. 2010. Pag. 160-173 Adela del Río Ortega, Manuel Resinas Arias de Reyna, Antonio Ruiz Cortés: Challenges to Support a Ppi Management Lifecycle. Actas de los Talleres de las Jornadas de Ingeniería del Software y Bases de Datos. Jornadas de Ingeniería del Software y Bases de Datos (13). Num. 13. Valencia. Sistedes. 2010. Pag. 8-13 José Antonio Parejo Maestre, Pablo Fernández Montes, Antonio Ruiz Cortés: De Frameworks a Ecosistemas: Evolución del Software para Optimización Metaheurística. Actas de Maeb 2010. VII Congreso Español Sobre Metaheurísticas, Algoritmos Evolutivos y Bioinspirados. Maeb 2010 (7). Num. 7. Valencia. Ibergaceta Publicaciones, S.L. 2010. Pag. 314-321 Adela del Río Ortega, Manuel Resinas Arias de Reyna, Antonio Ruiz Cortés: Defining Process Performance Indicators: an Ontological Approach. On the Move to Meaningful Internet Systems: Otm 2010 - Confederated International Conferences: Coopis, is, Doa and Odbase, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part I. Cooperative Information Systems (18). Num. 18. Hersonissos, Crete, Greece. Springer. 2010. Pag. 555-572 Cristina Cabanillas Macías, Manuel Resinas Arias de Reyna, Antonio Ruiz Cortés: Hints on How to Face Business Process Compliance. Actas del III Taller de Procesos de Negocio e Ingenieria de Servicios. III Taller de Procesos de Negocio e Ingeniería de Servicios (Pnis 2010) (). Valencia, España. Sociedad de Ingeniería del Software y Tecnologías de Desarrollo de Software (Sistedes). 2010. Pag. 26-32 Cristina Cabanillas Macías, Manuel Resinas Arias de Reyna, Antonio Ruiz Cortés: On the Identification of Data-Related Compliance Problems in Business Processes. Actas de las VI Jornadas CientíFico-TéCnicas en Servicios Web y Soa (Jsweb2010). VI Jornadas Cientifico-Tecnicas en Servicios Web y Soa (Jsweb2010) (6). Num. 6. Valencia. Ibergarceta Publicaciones, S.l. 2010. Pag. 89-102 José Joaquím Bocanegra Garcia, Antonio Ruiz Cortés, Joaquín Peña Siles: Una Aproximación Mdd para Agilizar el Modelado de Negocio y su Especificación en Entornos Interorganizacionales. Conferencia Iberomericana en Software Engineering. Congreso Iberoamericano en Software Engineering (13). Num. 13. Cuenca - Ecuador. Cibse. 2010. Pag. 10-20 Pablo Trinidad Martín-Arroyo, Antonio Ruiz Cortés: Abductive Reasoning and Automated Analysis of Feature Models: How Are They Connected?. Procceedings of the Third International Workshop on Variability Modelling of Software-Intensive Systems. International Workshop on Variability Modelling of Software-Intensive Systems (3). Num. 3. Sevilla, España. Fraunhofer Iese. 2009. Pag. 145-154 Carlos Müller, Manuel Resinas Arias de Reyna, Antonio Ruiz Cortés: An Initial Approach to Explaining Sla Inconsistencies. V Jornadas Científico-Técnicas en Servicios Web y Soa. V Jornadas Científico-Técnicas en Servicios Web y Soa (Jsweb 2009) (5). Num. 5. Madrid, Spain. Por Publicar. 2009. Pag. 1-2 David Felipe Benavides Cuevas, Antonio Ruiz Cortés, Pablo Trinidad Martín-Arroyo: Análisis en Líneas de Productos: Avances, Desafíos y Lecciones Aprendidas. Actas XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009). XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009) (14). Num. 14. San Sebastián, España. Sociedad de Ingeniería del Software y Tecnologías de Desarrollo de Software (Sistedes). 2009. Pag. 433-433 Sergio Segura Rueda, Antonio Ruiz Cortés: Benchmarking on the Automated Analyses of Feature Models: a Preliminary Roadmap. Proceedings of the Third International Workshop on Variability Modelling of Software-Intensive Systems. Third International Workshop on Variability Modelling of Software-Intensive Systems (3). Num. 3. Seville, Spain. Icb-Research Report Universität Duisburg Essen. 2009. Pag. 137-143 Pablo Trinidad Martín-Arroyo, Carlos Cetina Englada, Vicente Pelechano Ferragud, Antonio Ruiz Cortés: Customisation Along Lifecycle of Autonomic Homes. Splc 2009 Proceedings of the 13th International Software Product Line Conference. 13th International Software Product Line Conference (13). Num. 13. San Francisco, California. Carnegie Mellon University. 2009. Pag. 1-8 Octavio Martín Díaz, Antonio Ruiz Cortés, José María García Rodríguez, Miguel Toro Bonilla: Dealing With Fixable and Non-Fixable Properties in Service Matchmaking. Proceedings of the 3rd. Non-Functional Properties and Sla Management in Service Oriented Computing (Nfpslam-SOC), Icsoc-2009. 3rd. Non-Functional Properties and Sla Management in Service Oriented Computing (Nfpslam-SOC), Icsoc-2009 (). Stockholm, Sweden. Lecture Notes in Computer Science, Springer Verlag. 2009. Pag. 228-237 Carlos Müller, Manuel Resinas Arias de Reyna, Antonio Ruiz Cortés: Explaining the Non-Compliance Between Templates and Agreement Offers in Ws-Agreement*. 7th Internationational Joint Conference, Icsoc-Service Wave 2009. 7th Internationational Joint Conference, Icsoc-Service Wave 2009 (7). Num. 7. Estocolmo, Suecia. Springer. 2009. Pag. 237-252 José Antonio Parejo Maestre, Antonio Manuel Gutiérrez Fernández, Pablo Fernández Montes, Antonio Ruiz Cortés: Fast-Se: an Esb Based Framework for Sla Trading. 7th Internationational Joint Conference, Icsoc-Service Wave 2009. 7th Internationational Joint Conference, Icsoc-Service Wave 2009 (7). Num. 7. Estocolmo, Suecia. Springer. 2009. Pag. 643-644 Fabricia Carneiro Roos, David Felipe Benavides Cuevas, Antonio Ruiz Cortés: Feature Model to Orthogonal Variability Model Transformations. a First Step. Actas del VI Taller Sobre Desarrollo de Software Dirigido Por Modelos, Jisbd09. Jornadas de Ingeniería del Software y Base de Datos, JISBD 2009 (). San Sebastián, España. Sistedes. 2009. Pag. 81-90 José Joaquím Bocanegra Garcia, Antonio Ruiz Cortés: Modelado de Negocio Interorganizacional: una Aproximación para la Trazabilidad Entre Objetivos, Modelos Organizacionales y Procesos de Negocio. Actas de la XII Conferencia en Ingeniería de Requisitos y Ambientes Software. Conferencia Iberoaméricana de Ingeniería de Requisitos y Ambientes Software (12). Num. 12. Medellín, Colombia. 2009. Pag. 1-14 Carlos Cetina Englada, Pablo Trinidad Martín-Arroyo, Vicente Pelechano Ferragud, Antonio Ruiz Cortés, David Felipe Benavides Cuevas: Moskitt Fm and Fama Fw: Taking Feature Models to the Next Level. Actas XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009). XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009) (14). Num. 14. San Sebastián, España. Sociedad de Ingeniería del Software y Tecnologías de Desarrollo de Software (Sistedes). 2009. Pag. 285-288 José María García Rodríguez, Carlos Rivero Osuna, David Ruiz Cortés, Antonio Ruiz Cortés: On Using Semantic Web Query Languages for Semantic Web Services Provisioning. Proceedings of the 2009 International Conference on Semantic Web & Web Services. International Conference on Semantic Web and Web Services (). Las Vegas, Nevada. Csrea Press. 2009. Pag. 67-71 José Antonio Parejo Maestre, Pablo Fernández Montes, Antonio Ruiz Cortés: Soa Governance: Challenges & Benefits From an Autonomic Perspective. Actas del 2º Taller Sobre Sistemas Autonómos y Adaptativos. Actas de los Talleres de las Jisbd09. XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009) (14). Num. 14. San Sebastián, España. Acta de Congreso. 2009. Pag. 52-61 Carlos Müller, Antonio Ruiz Cortés, Pablo Fernández Montes: Temporal-Awareness in Slas. Why Should We Be Concerned?. Service-Oriented Computing - Icsoc 2007 Workshops. Non Functional Properties and Service Level Agreements in Service Oriented Computing Workshop (Nfpsla-SOC) (1). Num. 1. Vienna. Springer. 2009. Pag. 165-173 Carlos Müller, Manuel Resinas Arias de Reyna, Antonio Ruiz Cortés: Using Automated Analysis of Temporal-Aware Slas in Logistics. Proc. of the 1st International Workshop on Service Oriented Computing in Logistics 2009, As Part of the 7th International Joint Conference on Service Oriented Computing (Icsoc¿09). 1st International Workshop on Service Oriented Computing in Logistics 2009 (1). Num. 1. Estocolmo, Suecia. Springer. 2009. Pag. 156-164 Carlos Müller, José Antonio Parejo Maestre, Antonio Ruiz Cortés: A First Approach to Model Slas for Composite services, Using Ws-Agreement. IV Jornadas Científicos Técnicas en Servicios Web y Soa (Jsweb 2008). IV Jornadas Científico-Técnicas en Servicios Web y Soa (4). Num. 4. Sevilla. 2008. Pag. 188-200 Joaquín Peña Siles, Jose Antonio Dominguez Machuca, Maria Mar Gonzalez Zamora, Antonio Ruiz Cortés: A Roadmap for Future Research on the Specification of Business Services in Supply Chain Management: the Quest for Synergy Between Software Engineering and Service Operations Management Fields. Manufacturing Fundamentals: Necessity and Sufficiency. World Conference on Production and Operations Management. Num. 3. Tokyo, Japón. Japanese Operations Management and Strategy Association (Jomsa). 2008 José María García Rodríguez, Ioan Toma, David Ruiz Cortés, Antonio Ruiz Cortés: A Service Ranker Based on Logic Rules Evaluation and Constraint Programming. Ceur Workshop Proceedings - Vol. 411: Nfpsla-Soc'08 2nd Non Functional Properties and Service Level Agreements in Service Oriented Computing Workshop. Non Functional Properties and Service Level Agreements in Service Oriented Computing (Nfpsla-SOC) (2). Num. 2. Dublin, Irlanda. Ceur, Workshop Proceeding. 2008. Pag. 1-10 Sergio Segura Rueda, David Felipe Benavides Cuevas, Antonio Ruiz Cortés, Pablo Trinidad Martín-Arroyo: A Taxonomy of Variability in Web Service Flows. Proceedings of the First Workshop on Service-Oriented Architectures and Software Product Lines. First International Workshop on Service-Oriented Architectures and Software Product Lines (1). Num. 1. Kyoto, Japan. Carnegie Mellon University. 2008 Carlos Cetina Englada, Pablo Trinidad Martín-Arroyo, Vicente Pelechano Ferragud, Antonio Ruiz Cortés: An Architectural Discussion on Dspl. Proceedings 2nd International Workshop on Dynamic Software Product Lines. International Workshop on Dynamic Software Product Lines (2). Num. 2. Limerick, Irlanda. Irish Software Engineering Research Centre (Lero). 2008. Pag. 59-68 Carlos Müller, Antonio Ruiz Cortés, Manuel Resinas Arias de Reyna: An Initial Approach to Explaining Sla Inconsistencies. International Conference on Service-Oriented Computing - Icsoc 2008. International Conference in Service-Oriented Computing - Icsoc 2008 (6). Num. 6. Sydeny, Australia. Springer-Verlag. 2008. Pag. 394-406 Jules White, Douglas Schmidt, David Felipe Benavides Cuevas, Pablo Trinidad Martín-Arroyo, Antonio Ruiz Cortés: Automated Diagnosis of Product-Line Configuration Errors in Feature Models. Proceedings of the 12th International Software Product Line Conference. 12th International Software Product Line Conference (12). Num. 12. Limerick (Irlanda). IEEE Computer Society. 2008. Pag. 225-234 Pablo Trinidad Martín-Arroyo, David Felipe Benavides Cuevas, Antonio Ruiz Cortés, Sergio Segura Rueda, Alberto Jiménez Méndez: Fama Framework. Proceedings of the 12th International Software Product Line Conference. 12th International Software Product Line Conference (12). Num. 12. Limerick (Irlanda). IEEE Computer Society. 2008. Pag. 359-359 David Felipe Benavides Cuevas, Antonio Ruiz Cortés, Don Batory, Patrick Heymans: First International Workshop on Analysis of Software Product Lines (Aspl'08). Proceedings of the 12th International Software Product Line Conference. 12th International Software Product Line Conference (12). Num. 12. Limerick (Irlanda). IEEE Computer Society. 2008. Pag. 385-385 Ildefonso Montero Pérez, Joaquín Peña Siles, Antonio Ruiz Cortés: From Feature Models to Business Processes. 2008 IEEE Conference on Services Computing. IEEE Conferenece on Services Computing (). Honolulu (Hawaii), EEUU. IEEE Computer Society Press. 2008. Pag. 1-4 Sergio Segura Rueda, David Felipe Benavides Cuevas, Antonio Ruiz Cortés: Functional Testing of Feature Model Analysis Tools. a First Step. Proceedings of Split 2008 - Fifth International Workshop on Software Product Line Testing. 12th International Software Product Line Conference (12). Num. 12. Limerick (Irlanda). Hochshcule Mannheim. 2008. Pag. 36-39 José María García Rodríguez, David Ruiz Cortés, Antonio Ruiz Cortés, José Antonio Parejo Maestre: Qos-Aware Semantic Service Selection: an Optimization Problem. 2008 IEEE Congress on Services - Part I. 2008 IEEE Congress on Services - Part I (). Honolulu, Hawaii, EE.UU. IEEE Computer Society Press. 2008. Pag. 384-388 José María García Rodríguez, Ioan Toma, David Ruiz Cortés, Antonio Ruiz Cortés, Ying Ding, et. al.: Ranking Semantic Web Services Using Rules Evaluation and Constraint Programming. IV Jornadas Científicos Técnicas en Servicios Web y Soa (Jsweb 2008). IV Jornadas Científico-Técnicas en Servicios Web y Soa (4). Num. 4. Sevilla. 2008. Pag. 111-119 Ildefonso Montero Pérez, Joaquín Peña Siles, Antonio Ruiz Cortés: Representing Runtime Variability in Business-Driven Development Systems. Proceedings of the 7th IEEE International Conference on Composition-Based Software Systems (Iccbss). 7th IEEE International Conference on Composition-Based Software Systems (Iccbss) (7). Num. 7. Madrid, España. IEEE. 2008. Pag. 100-104 Ildefonso Montero Pérez, Joaquín Peña Siles, Antonio Ruiz Cortés: Representing Runtime Variability in Business-Driven Development Systems - Poster. Proceedings of the 7th IEEE International Conference on Composition-Based Software Systems (Iccbss). 7th IEEE International Conference on Composition-Based Software Systems (Iccbss) (7). Num. 7. Madrid, España. IEEE. 2008. Pag. 105-106 José María García Rodríguez, David Ruiz Cortés, Antonio Ruiz Cortés, Manuel Resinas Arias de Reyna: Semantic Discovery and Selection: a Qos-Aware, Hybrid Model. Proceedings of the International of the 2008 International Conference on Semantic Web & Web Services. International Conference on Semantic Web and Web Services (). Las Vegas, EE.UU. Csrea Press. 2008. Pag. 3-9 José Antonio Parejo Maestre, Pablo Fernández Montes, Antonio Ruiz Cortés, José María García Rodríguez: Slaws: Towards a Conceptual Architecture for Sla Enforcement. 2008 IEEE International Conference on Services Computing. IEEE International Conference on Services Computing (Scc-Services) (). Honolulu, EE.UU. IEEE Computer Society. 2008. Pag. 322-328 Pablo Trinidad Martín-Arroyo, Antonio Ruiz Cortés, David Felipe Benavides Cuevas, Sergio Segura Rueda: Three-Dimensional Feature Diagrams Visualization. 2nd International Workshop on Visualisation in Software Product Line Engineering (Visple 2008). International Workshop on Visualisation in Software Product Line Engineering (Visple 2008) (2). Num. 2. Limerick, Irlanda. Irish Software Engineering Research Centre (Lero). 2008. Pag. 295-302 Ildefonso Montero Pérez, Joaquín Peña Siles, Antonio Ruiz Cortés: Towards Visualisation and Analysis of Runtime Variability in Execution Time of Bdd Systems. Proceedings of the Second International Workshop on Variability Modelling of Software Intensive Systems (Vamos 2008). Second International Workshop on Variability Modelling of Software Intensive Systems (Vamos 2008) (2). Num. 2. Essen, Germany. Icb-Research Report Universität Duisburg Essen. 2008. Pag. 151-160 José Joaquím Bocanegra Garcia, Joaquín Peña Siles, Antonio Ruiz Cortés: Una Aproximación MDA para Modelar Transacciones de Negocio a Nivel Cim. Actas de los Talleres de las Jornadas en Ingeniería de Software y Bases de Datos. Jornadas de Ingeniería de Software y Bases de Datos (13). Num. 13. Gijón, España. Sistedes. 2008. Pag. 82-91 Carlos Müller, Octavio Martín Díaz, Manuel Resinas Arias de Reyna, Pablo Fernández Montes, Antonio Ruiz Cortés: A Ws-Agreement Extension for Specifying Temporal Properties in Slas. III Jornadas Científico-Técnicas en Servicios Web y Soa. II Congreso Español de Informática (). Zaragoza, España. Thomson. 2007. Pag. 1-8 José María García Rodríguez, David Ruiz Cortés, Antonio Ruiz Cortés, Octavio Martín Díaz, Manuel Resinas Arias de Reyna: An Hybrid, Qos-Aware Discovery of Semantic Web Services Using Constraint Programming. Service-Oriented Computing - Icsoc 2007 (Lncs 4749). International Conference in Service-Oriented Computing - Icsoc (5). Num. 5. Vienna. Lecture Notes in Computer Science, Springer Verlag. 2007. Pag. 69-80 Joaquín Peña Siles, Michael G. Hinchey, Antonio Ruiz Cortés, Pablo Trinidad Martín-Arroyo: Building the Core Architecture of a Nasa multiagent System Product Line. Proceedings of 7th International Workshop on Agent-Oriented Software Engineering (Aose-2006). 7th International Workshop on Agent-Oriented Software Engineering (Aose-2006) (). Japón. Springer-Verlag Berlin. 2007. Pag. 208-224 Ildefonso Montero Pérez, Joaquín Peña Siles, Antonio Ruiz Cortés: Business Family Engineering. Does It Make Sense ?. Actas de los Talleres de las Jornadas de Ingeniería del Software y Bases de Datos (Tjisbd). Jornadas de Paralelismo. II Congreso Español de Informática (Cedi 2007). Num. 18. Zaragoza, España. Cedi. 2007. Pag. 34-40 Ildefonso Montero Pérez, Joaquín Peña Siles, Antonio Ruiz Cortés: Business Family Engineering. Managing the Evolution of Business Driven Systems. 11th International Software Product Line Conference Proceedings. Dynamic Software Product Lines 2007 (1). Num. 1. Kyoto, Japón. Kindai Kagaku Sha Co. 2007. Pag. 33-40 David Felipe Benavides Cuevas, Sergio Segura Rueda, Pablo Trinidad Martín-Arroyo, Antonio Ruiz Cortés: Fama: Tooling a Framework for the Automated Analysis of Feature Models. First International Workshop on Variability Modelling of Software-Intensive Systems. First International Workshop on Variability Modelling of Software-Intensive Systems (1). Num. 1. Limerick (Irlanda). Irish Software Engineering Research Centre (Lero). 2007. Pag. 129-134 Sergio Segura Rueda, David Felipe Benavides Cuevas, Antonio Ruiz Cortés, María José Escalona Cuaresma: From Requirements to Web System Design. an Automated Approach Using Graph Transformations. Actas de los Talleres de las Jornadas de Ingeniería del Software y Bases de Datos (Tjisbd). Jornadas de Paralelismo. II Congreso Español de Informática (Cedi 2007). Num. 18. Zaragoza, España. Cedi. 2007. Pag. 61-69 Carlos Müller, Octavio Martín Díaz, Antonio Ruiz Cortés, Manuel Resinas Arias de Reyna, Pablo Fernández Montes: Improving Temporal-Awareness of Ws-Agreement. Service-Oriented Computing - Icsoc 2007 (Lncs 4749). International Conference in Service-Oriented Computing - Icsoc (5). Num. 5. Vienna. Lecture Notes in Computer Science, Springer Verlag. 2007. Pag. 193-206 Pablo Trinidad Martín-Arroyo, Antonio Ruiz Cortés, Joaquín Peña Siles, David Felipe Benavides Cuevas: Mapping Feature Models Onto Component Models to Build Dynamic Software Product Lines. 11th International Software Product Line Conference Proceedings. Dynamic Software Product Lines 2007 (1). Num. 1. Kyoto, Japón. Kindai Kagaku Sha Co. 2007. Pag. 51-56 José María García Rodríguez, David Ruiz Cortés, Antonio Ruiz Cortés: On User Preferences and Utility Functions in Selection: a Semantic Approach. Service-Oriented Computing - Icsoc 2007 Workshops (Lncs). Non Functional Properties and Service Level Agreements in Service Oriented Computing Workshop (Nfpsla-SOC) (1). Num. 1. Vienna. Springer Verlag. 2007. Pag. 105-114 Sergio Segura Rueda, David Felipe Benavides Cuevas, Antonio Ruiz Cortés, Pablo Trinidad Martín-Arroyo: Open Source Tools for Software Product Line Development. Proceedings on the Third International Workshop on Open Source Software and Product Lines. International Workshop on Open Source Software and Product Lines (2). Num. 2. Kyoto, Japan. 2007. Pag. 1-5 Sergio Segura Rueda, David Felipe Benavides Cuevas, Antonio Ruiz Cortés, Pablo Trinidad Martín-Arroyo: Towards Automated Refactoring of Feature Models Using Graph Transformations. VII Jornadas Sobre Programación y Lenguajes. Prole 2007 Zaragoza, 12 al 14 de Septiembre de 2007. Jornadas Sobre Programación y Lenguajes (Prole'07) (7). Num. 7. Zaragoza. Thomson. 2007. Pag. 275-284 David Felipe Benavides Cuevas, Sergio Segura Rueda, Pablo Trinidad Martín-Arroyo, Antonio Ruiz Cortés: A First Step Towards a Framework for the Automated Analysis of Feature Models. Fraunhofer Institut Experimentelles Software Engineering (Iese) Report Nº 152.06/e. Managing Variability for Software Product Lines: Working With Variability Mechanisms (Splc¿06) (10). Num. 10. Baltimore, Maryland, USA. Fraunhofer Iese. 2006. Pag. 39-47 Joaquín Peña Siles, Michael G. Hinchey, Roy Sterritt, Antonio Ruiz Cortés, Manuel Resinas Arias de Reyna: A Model-Driven Architecture Approach for Modeling, Specifying and Deploying Policies in Autonomous and Autonomic Systems. Proceedings of 2nd IEEE International Symposium on Dependable, Autonomic and Secure Computing (Dasc'06). 2nd IEEE International Symposium on Dependable, Autonomic and Secure Computing (Dasc'06) (). Indiana University, Purdue University, Indianapolis, USA. IEEE Computer Society. 2006. Pag. 19-30 David Felipe Benavides Cuevas, Antonio Ruiz Cortés, Pablo Trinidad Martín-Arroyo, Sergio Segura Rueda: A Survey on the Automated Analyses of Feture Models. Actas de las XI Jornadas de Ingeniería del Software y Bases de Datos. Jornadas de Ingeniería del Software y Bases de Datos: Jismd 2006. Num. 11. Sitges, Barcelona. Centro Internacional de Métodos Numéricos en Ingeniería (Cimne). 2006. Pag. 365-376 Carlos Müller, Octavio Martín Díaz, Antonio Ruiz Cortés, José María García Rodríguez: Comprobacion de Consistencia y Conformidad en Documentos con Consciencia Temporal. Zoco 2006 - Métodos y Herramientas para el Desarrollo de Aplicaciones. Jornadas de Ingeniería del Software y Bases de Datos: Jismd 2006. Num. 11. Sitges, Barcelona. The Distributed Group. 2006. Pag. 15-24 Pablo Trinidad Martín-Arroyo, David Felipe Benavides Cuevas, Antonio Ruiz Cortés, Sergio Segura Rueda, Miguel Toro Bonilla: Explanations for Agile Feature Models. Workshop Proceedings. International Workshop on Agile Product Line Engineering (1). Num. 1. Baltimore, Maryland, EEUU. Sin Editorial. 2006. Pag. 1-7 Pablo Trinidad Martín-Arroyo, David Felipe Benavides Cuevas, Antonio Ruiz Cortés: Isolated Features Detection in Feature Models. Proceedings of the Caise'06 Forum. International Conference on Advanced Information Systems Engineering (). Luxemburgo. Centre de Recherche Public Henri Tudor. 2006. Pag. 80-83 Carlos Müller, Octavio Martín Díaz, Antonio Ruiz Cortés, Amador Durán Toro: An Approach to Temporal-Aware Procurement of Web Services. Service-Oriented Computing - Icsoc 2005. International Conference in Service-Oriented Computing - Icsoc 2005 (3). Num. 3. Amsterdam. Springer. 2005. Pag. 170-184 David Felipe Benavides Cuevas, Pablo Trinidad Martín-Arroyo, Antonio Ruiz Cortés: Automated Reasoning on Feature Models. Advanced Information Systems Engineering. Conference on Advanced Information Systems Engineering (Caise'05) (17). Num. 17. Oporto, Portugal. Springer-Verlag. 2005. Pag. 491-503 David Felipe Benavides Cuevas, Antonio Ruiz Cortés, Carlos Müller, Pablo Trinidad Martín-Arroyo: The Triple Schizophrenia of the Software Engineering Researcher. Proceedings of the Caise'05 Workshops. Conference of Advanced Information Systems Engineering (17). Num. 17. Feup, Porto, Portugal. Facultade de Engenharia da Universidade Do Oporto. 2005. Pag. 529-534 David Felipe Benavides Cuevas, Pablo Trinidad Martín-Arroyo, Antonio Ruiz Cortés: Using Constraint Programming to Reason on Feature Models. Seke 2005. Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering. International Conference on Software Engineering and Knowledge Engineering (17). Num. 17. Taipei. Knowledge Institute Graduate School. 2005. Pag. 677-682 David Felipe Benavides Cuevas, Pablo Trinidad Martín-Arroyo, Antonio Ruiz Cortés: Using JAVA CSP Solvers in the Automated Analyses of Feature Models. Generative and Transformational Techniques in Software Engineering. Summer School on Generative and Transformational Techniques in Software Engineering (Gttse) (1). Num. 1. Braga, Portugal. Universidade Do Minho. 2005 Pablo Trinidad Martín-Arroyo, David Felipe Benavides Cuevas, Antonio Ruiz Cortés: Aplicación de Modelos de Características a la Gestión de Planes de Producción. Zoco: Desarrollo y Mantenimiento Ágil de Aplicaciones Basadas en Servicios Web. Zoco (4). Num. 4. Malaga. 2004. Pag. 27-32 David Felipe Benavides Cuevas, Pablo Trinidad Martín-Arroyo, Antonio Ruiz Cortés: Coping With Automatic Reasoning on Software Product Lines. Software Product Families and Populations. Groningen Workshop on Software Variability Management (2). Num. 2. Groningen (Holanda). University of Groningen. 2004. Pag. 1-14 Beatriz Bernárdez Jiménez, Amador Durán Toro, Marcela Genero Bocco, Antonio Ruiz Cortés: Empirical Assessment of a Defect Detection Technique for Use Cases. Icse 2004, the Second Workshop on Software Quality. The Second Workshop on Software Quality (). Edinburgo. Iee - Institution of Electrical Engineers. 2004. Pag. 72-77 Pablo Trinidad Martín-Arroyo, David Felipe Benavides Cuevas, Antonio Ruiz Cortés: Improving Decision Making in Software Product Lines Product Plan Management. Decision Support in Software Engineering. Adis (4). Num. 4. Malaga. Adis. 2004. Pag. 1-8 David Felipe Benavides Cuevas, Pablo Trinidad Martín-Arroyo, Antonio Ruiz Cortés: Putting the Basis for Automatic Reasoning on Software Product Lines. Zoco: Desarrollo y Mantenimiento Ágil de Aplicaciones Basadas en Servicios Web. Zoco (4). Num. 4. Malaga. 2004. Pag. 33-46 David Felipe Benavides Cuevas, Antonio Ruiz Cortés, Rafael Corchuelo Gil, Octavio Martín Díaz: Spl Needs an Automatic Holistic Model for Software Reasoning With Feature Models. International Qorkshop on Requirements Reuse in System Family Engineering. International Workshop on Requirements Reuse in System Family Engineering (). Madrid. Servicio de Publicaciones Universidada Politécnica de Madrid. 2004. Pag. 27-32 Octavio Martín Díaz, Antonio Ruiz Cortés, Rafael Corchuelo Gil, Miguel Toro Bonilla: A Framework for Classifying and Comparing Web Services Procurement Platforms. Firsts Web Services Quality Workshop. Web Services Quality Workshop (1). Num. 1. Roma. Acta de Congreso. 2003. Pag. 37-46 David Felipe Benavides Cuevas, Antonio Ruiz Cortés, Rafael Corchuelo Gil, Amador Durán Toro: Seeking for Extra-Functional Variability. Proceedings of the Workshop Modeling Variability for Object-Oriented Product Lines. European Conference on Object-Oriented Programming: Workshop on Modeling Variability for Object-Oriented Product Lines. Num. 17. Technische Universität Darmstadt, Alemania. Bookondemand Publ. Co. 2003. Pag. 25-29 Joaquín Peña Siles, Rafael Corchuelo Gil, Antonio Ruiz Cortés, Miguel Toro Bonilla: Towards a Methodology for Describing Coordination in Multi-Agent Systems. Actas: VIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 03). Jornadas de Ingeniería del Software y Bases de Datos. Num. 8. Alicante. Universidad de Alicante. 2003. Pag. 315-324 David Felipe Benavides Cuevas, Antonio Ruiz Cortés, Octavio Martín Díaz, J. Bermejo, Rafael Corchuelo Gil: A First Approach to Build Product Lines of MOWS. Actas de las II Jornadas Zoco. Zoco. San Lorenzo del Escorial, España. Zoco. 2002. Pag. 73-78 Octavio Martín Díaz, Antonio Ruiz Cortés, Rafael Corchuelo Gil, Amador Durán Toro: A Management and Execution Environment for Multi-Organisational Web-Based Systems. Actas de las II Jornadas Zoco. Zoco. San Lorenzo del Escorial, España. Zoco. 2002. Pag. 79-88 Jose Luis Arjona Fernández, Rafael Corchuelo Gil, Antonio Ruiz Cortés, Miguel Toro Bonilla: A Practical Agent-Based Method to Extract Semantic Information From the Web. Advanced Information Systems Engineering, 14th International Conference, Caise 2002, Toronto, Canada, May 27-31, 2002, Proceedings. Advanced Information Systems Engineering, 14th International Conference, Caise 2002 (). Toronto, Canada. Springer-Verlag. 2002. Pag. 697-700 Antonio Ruiz Cortés, Rafael Corchuelo Gil, Amador Durán Toro: An Automated Approach to Quality-Aware Web Applications. Proceedings of the IV International Conference on Enterprise Information Systems. International Conference on Enterprise Information Systems. Num. 4. Ciudad Real. Iceis Press. 2002. Pag. 995-1000 David Felipe Benavides Cuevas, Antonio Ruiz Cortés, Miguel Toro Bonilla: Aplicando la Filosofía de las Ciencias de la Complejidad a la Ingeniería del Software. Actas del Primer Workshop Sobre Métodos de Investigación y Fundamentos Filosóficos en Ingeniería del Software y Sistemas de Información. Workshop Sobre Métodos de Investigación y Fundamentos Filosóficos en Ingeniería del Software y Sistemas de Información. El Escorial, España. Dykinson. 2002. Pag. 97-105 Amador Durán Toro, Antonio Ruiz Cortés, Rafael Corchuelo Gil, Miguel Toro Bonilla: Applying XML Technologies in Requirements Verification. Memorias V Workshop Iberoamericano de Ingeniería de Requisitos y Ambientes Software. Workshop Iberoamerica de Ingeniería de Requisitos y Ambientes Software. Num. 6. La Habana, Cuba. Universidad de la Habana. 2002. Pag. 293-304 Amador Durán Toro, Antonio Ruiz Cortés, Rafael Corchuelo Gil, Miguel Toro Bonilla: Assisting the Requirements Verifier With XML Technology. VII Jornadas de Ingeniería del Software y Bases de Datos. JISBD-2002. Jornadas de Ingeniería del Software y Bases de Datos. Num. 7. Madrid (España). Actas de las JISBD-2002. 2002. Pag. 127-138 Antonio Ruiz Cortés, Rafael Corchuelo Gil, Amador Durán Toro, Miguel Toro Bonilla: Automated Negotiation of Quality Requirements. Actas VII Jornadas de Ingeniería del Software y Bases de Datos. Jornadas de Ingeniería del Software y Bases de Datos. Num. 7. Madrid (España). Acta de Congreso. 2002. Pag. 117-126 Jose Luis Arjona Fernández, Rafael Corchuelo Gil, Antonio Ruiz Cortés, Miguel Toro Bonilla: Automatic Extraction of Semantically-Meaningful Information From the Web. Adaptive Hypermedia and Adaptive Web-Based Systems, Second International Conference, AH 2002, Malaga, Spain, May 29-31, 2002, Proceedings. Workshop on Personalization Techniques in Electronic Publishing. Num. 1. Málaga, España. Springer-Verlag. 2002. Pag. 24-35 Amador Durán Toro, Antonio Ruiz Cortés, Miguel Toro Bonilla: Implementing Automatic Quality Verification of Requirements With XML and XSLT. The VI International Worshop on Quantitative Approaches in Object-Oriented Software Engineering. International Workshop on Quantitative Approaches in Object-Oriented Software Engineering. Num. 6. Málaga, España. M. Piattini, F. Brito e Abreu, H. Sahraoui and G. Poels. 2002. Pag. 1-14 Amador Durán Toro, Antonio Ruiz Cortés, Rafael Corchuelo Gil, Miguel Toro Bonilla: Implementing Requirements Verification Heuristics With XML and XSLT. Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing. Acis International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing. Num. 3. Madrid, España. Universidad Politécnica de Madrid. 2002. Pag. 91-98 Amador Durán Toro, Antonio Ruiz Cortés, Rafael Corchuelo Gil, Miguel Toro Bonilla: Supporting Requirements Verification Using XSLT. IEEE Joint International Requirements Engineering Conference. IEEE Joint International Requirements Engineering Conference. Essen, Alemania. IEEE Computer Society Press. 2002. Pag. 165-174 Amador Durán Toro, Antonio Ruiz Cortés, Rafael Corchuelo Gil, Miguel Toro Bonilla: The Tabbed Hierarchy User Interface Design Pattern. Memorias V Workshop Iberoamericano de Ingeniería de Requisitos y Ambientes Software. Workshop Iberoamerica de Ingeniería de Requisitos y Ambientes Software. Num. 6. La Habana, Cuba. Universidad de la Habana. 2002. Pag. 417-420 Octavio Martín Díaz, Antonio Ruiz Cortés, Rafael Corchuelo Gil, Miguel Toro Bonilla: Un Entorno de Administración y Ejecución de Sistemas Multiorganizacionales Basado en la Web. Web Engineering Webe'02. Web Engineering Webe'02. San Lorenzo del Escorial, Madrid. Web Engineering Webe'02. 2002 Antonio Ruiz Cortés, Amador Durán Toro, Rafael Corchuelo Gil, Miguel Toro Bonilla: Using Constraint Programming for the Automatic Detection of Conflicts in Quality Requirements. Proceedings of V Workshop on Requirements Engineering, Wer. Workshop en Ingeniería de Requisitos. Num. 5. Valencia, España. Universidad de Valencia. 2002. Pag. 299-314 Octavio Martín Díaz, Antonio Ruiz Cortés, Miguel Toro Bonilla: An Approach Towards Automatic Management of Architectural Alternatives. Actas de las I Jornadas Zoco. Zoco: Metodos y Herramientas de Desarrollo de Aplicaciones de Comercio Electronico. Proyecto Geozoco. Num. 1. Almagro, Ciudad Real (España). Departamento de Lenguajes y Sistemas Informaticos. 2001. Pag. 29-42 Amador Durán Toro, Antonio Ruiz Cortés, Miguel Toro Bonilla: An Automated Approach for Verification of Software Requirements. Actas de las Jornadas de Ingeniería de Requisitos Aplicada. Jornadas de Ingeniería de Requisitos Aplicada. Num. 1. Sevilla, España. Departamento de Lenguajes y Sistemas Informaticos, Universidad de Sevilla. 2001. Pag. 99-110 Amador Durán Toro, Beatriz Bernárdez Jiménez, Antonio Ruiz Cortés, Miguel Toro Bonilla: An XML-Based Approach for the Automatic Verification of Software Requirements Specifications. Proceedings of the IV Workshop on Requirements Engineering. Workshop on Requirements Engineering. Num. 4. Buenos Aires, Argentina. Universidad Nacional Tecnológica de Buenos Aires. 2001. Pag. 181-194 Antonio Ruiz Cortés, Rafael Corchuelo Gil, Rafael Martínez Gasca, Miguel Toro Bonilla: Aplicación de Técnicas de Satisfacción de Restricciones al Desarrollo de Aplicaciones Web Sensibles a la Calidad. Actas de la IX Conferencia de la Asociacion Española de Inteligencia Artificial. IV Jornadas de Transferencia Tecnológica de Inteligencia Artificial. Conferencia de la Asociación Española para la Inteligencia Artificial. IV Jornadas de Transferencia Tecnológica de Inteligencia Artificial. Num. 9. Gijón, España. Asociación Española para la Inteligencia Artificial. 2001. Pag. 531-540 Antonio Ruiz Cortés, Rafael Corchuelo Gil, Amador Durán Toro, Miguel Toro Bonilla: Automated Support for Quality Requirements in Web-Service-Based Systems. Proceedings of the VIII Workshop on Future Trends of Distributed Computing Systems. Workshop on Future Trends of Distributed Computing Systems. Num. 8. Bologna, Italia. IEEE Computer Society Press. 2001. Pag. 48-55 Jose Luis Arjona Fernández, Antonio Ruiz Cortés, Joaquín Peña Siles, David Ruiz Cortés: Automatic Extraction of Semantically-Meaningful Information From the Web. Actas de las I Jornadas Zoco. Zoco: Metodos y Herramientas de Desarrollo de Aplicaciones de Comercio Electronico. Proyecto Geozoco. Num. 1. Almagro, Ciudad Real (España). Departamento de Lenguajes y Sistemas Informaticos. 2001. Pag. 75-86 Antonio Ruiz Cortés, Amador Durán Toro, Rafael Corchuelo Gil, Beatriz Bernárdez Jiménez, Miguel Toro Bonilla: Comprobación Automática de Requisitos de Calidad en Sistemas Multiorganizacionales. Proceedings of the IV Workshop on Requirements Engineering. Workshop on Requirements Engineering. Num. 4. Buenos Aires, Argentina. Universidad Nacional Tecnológica de Buenos Aires. 2001. Pag. 195-201 Antonio Ruiz Cortés, Amador Durán Toro, Rafael Corchuelo Gil, Miguel Toro Bonilla: Especificación de Requisitos de Calidad en Sistemas Multiorganizacionales Basados en Servicios Web. VI Jornadas de Ingenieria del Software y Base de Datos. Jornadas de Ingeniería del Software y Bases de Datos. Num. 6. Almagro, Ciudad Real, España. Servicio de Publicaciones de la Universidad de Castilla la Mancha. 2001. Pag. 615-629 Joaquín Peña Siles, Rafael Corchuelo Gil, Antonio Ruiz Cortés, Miguel Toro Bonilla: Towards an Automatic Method for Detecting Synchrony Loosening Anomalies in the Context of Multiparty Interactions. Taller Software Preciso. VI Jornadas de Ingeniería del Software y Bases de Datos Jisbd'01. Jornadas de Ingeniería del Software y Bases de Datos. Num. 6. Almagro, Ciudad Real, España. Publicación en Internet. 2001. Pag. 1-12 Antonio Ruiz Cortés, Amador Durán Toro, Rafael Corchuelo Gil, Miguel Toro Bonilla: Tratamiento Automático de Requisitos de Calidad en Sistemas Multiorganizacionales Basados en la Web. Actas de las Jornadas de Ingeniería de Requisitos Aplicada. Jornadas de Ingeniería de Requisitos Aplicada. Num. 1. Sevilla, España. Departamento de Lenguajes y Sistemas Informaticos, Universidad de Sevilla. 2001. Pag. 37-52 Octavio Martín Díaz, Antonio Ruiz Cortés, Miguel Toro Bonilla: Una Aproximacion a la Evaluacion Automatica de Alternativas de Diseño. Actas del Primer Taller de Trabajo Sobre Apoyo a la Decisión en Ingeniería del Software. Primer Taller de Trabajo Sobre Apoyo a la Decisión en Ingeniería del Software. Almagro, Ciudad Real, España. Adis. 2001 Antonio Ruiz Cortés, Rafael Corchuelo Gil, Octavio Martín Díaz, Amador Durán Toro, Miguel Toro Bonilla: Addressing Interoperability in Multi-Organisational Web-Based Systems. New Issues in Object Interoperability: Proceedings of the Second International Workshop on Object Interoperability. (Woi'00). European Conference on Object-Oriented Programming Workshop on Object Interoperability. Num. 1. Shopia Antipolis, Francia. Universidad de Extremadura. Secretariado de Publicaciones. 2000. Pag. 87-96 David Ruiz Cortés, Rafael Corchuelo Gil, José Antonio Pérez Castellanos, Octavio Martín Díaz, Antonio Ruiz Cortés: Avances en la Implementacion del Modelo de Interaccion Entre Multiples Participantes. Actas de las V Jornadas de Trabajo Menhir. Jornadas de Trabajo Menhir. Num. 5. Granada. Ninguna. 2000. Pag. 110-117 Amador Durán Toro, Antonio Ruiz Cortés, Rafael Corchuelo Gil, Miguel Toro Bonilla: Identificacion de Patrones de Reutilizacion de Requisitos de Sistemas de Informacion. Proceedings of the III Workshop de Enganharia de Requisitos. Workshop de Enganharia de Requisitos. Num. 3. Rio de Janeiro (Brasil). Ninguna. 2000. Pag. 230-241 Joaquín Peña Siles, Rafael Corchuelo Gil, Antonio Ruiz Cortés: Implementación Automática de Fragmentos Arquitectónicos en el Contexto del Lenguaje Alfa. Libro de Actas: Simposio Español de Informática Distribuida. Simposio Español de Informatica Distribuida. Num. 2. Orense, España. Universidad Vigo. 2000. Pag. 541-550 Antonio Ruiz Cortés, Joaquín Peña Siles, Rafael Corchuelo Gil, Francisco Javier Ferrer Troyano: Problemas de Interoperabilidad en CORBA. IV Jornadas Cinte. Actas de las IV Jornadas Cientificas en Tecnologias de la Informacion. Jornadas Cientificas en Tecnologias de la Informacion. Num. 4. Cadiz, España. Universidad de Cádiz. 2000. Pag. 329-337 Antonio Ruiz Cortés, Rafael Corchuelo Gil, Amador Durán Toro, Octavio Martín Díaz, José Antonio Pérez Castellanos: Prototipado Arquitectonico de Sistemas Abiertos Distribuidos. Actas de las V Jornadas de Trabajo Menhir. Jornadas de Trabajo Menhir. Num. 5. Granada. Ninguna. 2000. Pag. 129-138 Joaquín Peña Siles, Rafael Corchuelo Gil, Antonio Ruiz Cortés, Francisco Javier Ferrer Troyano, Miguel Toro Bonilla: Una Aproximacion al Desarrollo de Software Basada en el Prototipado Arquitectonico. Actas de la V Jornadas de Ingeniera del Software y Base de Datos. JISBD 2000. Jornadas de Ingenieria del Software y Bases de Datos. Num. 5. Valladolid, España. Universidad de Castilla y León. 2000. Pag. 191-202 Amador Durán Toro, Beatriz Bernárdez Jiménez, Antonio Ruiz Cortés, Miguel Toro Bonilla: A Requirements Elicitation Approach Based in Templates and Patterns. Wer. Wer. Num. 1. Buenos Aires (Argentina). Ninguna. 1999. Pag. 17-29 Antonio Ruiz Cortés, Rafael Corchuelo Gil, José Antonio Pérez Castellanos, Amador Durán Toro, Miguel Toro Bonilla: An Aspect-Oriented Approach Based on Multiparty Interactions to Specifying the Behaviour of a System. Pli'99. Workshop on Object-Oriented Approach Based on Multiparty Interactions to Specifying the Behaviours. Num. 1. París (Francia). Ninguna. 1999. Pag. 1-10 Amador Durán Toro, Beatriz Bernárdez Jiménez, Miguel Toro Bonilla, Antonio Ruiz Cortés: An Object-Oriented Model and a Case Tool for Software Requirements Management and Documentation. IV Jornadas de Trabajo Menhir. Jornadas de Trabajo Menhir. Num. 4. Burgos, España. Ninguna. 1999. Pag. 6-10 Amador Durán Toro, Beatriz Bernárdez Jiménez, Miguel Toro Bonilla, Antonio Ruiz Cortés: Elicitacion de Requisitos de Usuario Mediante Plantillas y Patrones de Requisitos. Actas de las IV Jornadas de Ingeniería del Software y Bases de Datos. IV Jornadas de Ingenieria del Software y Bases de Datos. Cáceres, España. -. 1999. Pag. 183-194 Amador Durán Toro, Beatriz Bernárdez Jiménez, Miguel Toro Bonilla, Rafael Corchuelo Gil, Antonio Ruiz Cortés, et. al.: Expressing Customer Requirements Using Natural Language Requirements Templates and Patterns. III Imacs/IEEE Cscc'99. Imacs/IEEE Cscc 99. Num. 3. Atenas (Grecia). Ninguna. 1999. Pag. 3531-3536 Rafael Corchuelo Gil, David Ruiz Cortés, Antonio Ruiz Cortés, Miguel Toro Bonilla: Implementing Multiparty Interactions on a Network Computer. Euromicro'99. Euromicro Conference. Num. 25. Milan. 1999. Pag. 2458-2465 Amador Durán Toro, Beatriz Bernárdez Jiménez, Miguel Toro Bonilla, Antonio Ruiz Cortés: Una Propuesta Metodologica para la Recoleccion de Requisitos de un Sistema Software. Actas de las III Jornadas de Trabajo Menhir. Jornadas de Trabajo Menhir. Num. 4. Burgos, España. Ninguna. 1999. Pag. 37-48 Rafael Corchuelo Gil, Octavio Martín Díaz, Miguel Toro Bonilla, Antonio Ruiz Cortés: Weak Fairness in the Context of Constraint-Based Multiparty Interactions. Actas del Simposio Español de Informatica Distribuida. Journees Détudes Comparatives Franco- Hispano- Italiannes. Num. 1. Burdeos, Francia. 1999. Pag. 99-107 Otras PublicacionesJoaquín Peña Siles, Antonio Ruiz Cortés:Controladores Difusos. Ejemplo de Extracción Automática de Bases de Conocimiento para Controladores Difusos Desarrollados con Fuzzy-Clips. Informes, Estudios, Trabajos y Dictámenes. 2000 Joaquín Peña Siles, Antonio Ruiz Cortés, Francisco Javier Ferrer Troyano: Seguridad en el Contexto del Comercio Electrónico e Internet. los Protocolos Ssl y Set. Informes, Estudios, Trabajos y Dictámenes. 2000 Patentes:Sergio Segura Rueda, David Felipe Benavides Cuevas, Antonio Ruiz Cortés, José Ángel Galindo Duarte, Pablo Trinidad Martín-Arroyo:[software] Betty Framework, Solicitud:2011-01-24 00:00:00, Nr.:SE-64-11 Manuel Resinas Arias de Reyna, Carlos Müller, Octavio Martín Díaz, Antonio Ruiz Cortés: Agreement Document Analyzer (Ada), Solicitud:2010-06-16 00:00:00, Nr.:SE-738-10 Pablo Fernández Montes, José Antonio Parejo Maestre, Antonio Ruiz Cortés: [software] Fast: Framework for Automated Service Trading, Solicitud:2009-01-30 00:00:00, Nr.:SE-66-09 Pablo Trinidad Martín-Arroyo, David Felipe Benavides Cuevas, Antonio Ruiz Cortés, Sergio Segura Rueda: [software] Splreasoner, Solicitud:2007-12-21 00:00:00, Nr.:SE-01314-2007 Tesis dirigidas:Director/a: Antonio Ruiz Cortés, Doctorando: Octavio Martín Díaz:Emparejamiento Automático de Servicios Web Usando Progrmación con Restricciones, 2007, Lenguajes y Sistemas Informáticos Director/a: Antonio Ruiz Cortés, Doctorando: David Felipe Benavides Cuevas: On the Automated Analysis of Software Product Lines Using Feature Models. a Framework for Developing Automated Tool Support, 2007, Lenguajes y Sistemas Informáticos |
||
|
Vicerrectorado de Investigación. Universidad de Sevilla.
Pabellón de Brasil. Paseo de las Delicias s/n. Sevilla
|
