Artículo | 2024 |
DPGraphJ: A Java package for the implementation of dynamic programming algorithms
|
SoftwareX |
Artículo | 2024 |
SpaceRL-KG: Searching paths automatically combining embedding-based rewards with Reinforcement Learning in Knowledge Graphs
|
EXPERT SYSTEMS WITH APPLICATIONS |
Libro | 2023 |
Algoritmos y tipos de datos en C
|
Algoritmos y tipos de datos en C |
Libro | 2023 |
Análisis y diseño de algoritmos y tipos de datos
|
Análisis y diseño de algoritmos y tipos de datos |
Libro | 2023 |
Problemas, modelos, grafos y algoritmos
|
Problemas, modelos, grafos y algoritmos |
Libro | 2022 |
Fundamentos de programación: JAVA
|
Fundamentos de programación: JAVA |
Libro | 2022 |
Fundamentos de programación: PYTHON
|
Fundamentos de programación: PYTHON |
Ponencia | 2021 |
Problem generalization for designing recursive algorithms
|
Advances in Intelligent Systems and Computing |
Artículo | 2020 |
A scheduler for SCADA-based multi-source fusion systems
|
INFORMATION FUSION |
Artículo | 2019 |
TAPON-MT: A versatile framework for semantic labelling
|
INFORMATION SYSTEMS |
Artículo | 2019 |
TAPON: A two-phase machine learning approach for semantic labelling
|
KNOWLEDGE-BASED SYSTEMS |
Artículo | 2019 |
Visual ppinot: A Graphical Notation for Process Performance Indicators
|
BUSINESS & INFORMATION SYSTEMS ENGINEERING |
Artículo | 2018 |
Introducción a la Programación con Python, Computación Interactiva y Aprendizaje Significativo
|
Actas de las Jornadas sobre Enseñanza Universitaria de la Informática |
Artículo | 2018 |
SCORE: Simulator for cloud optimization of resources and energy consumption
|
SIMULATION MODELLING PRACTICE AND THEORY |
Ponencia | 2017 |
Automated analysis of cloud offerings for optimal service provisioning
|
Lecture Notes in Computer Science |
Artículo | 2017 |
Edge and Cloud Pricing for the Sharing Economy
|
IEEE INTERNET COMPUTING |
Artículo | 2017 |
Run-time prediction of business process indicators using evolutionary decision rules
|
EXPERT SYSTEMS WITH APPLICATIONS |
Ponencia | 2016 |
Defeasible Argumentation of Software Architectures
|
2016 13TH WORKING IEEE/IFIP CONFERENCE ON SOFTWARE ARCHITECTURE (WICSA) |
Libro | 2014 |
La informática: una ingeniería joven muy importante : lección inaugural leída en la solemne apertura del curso académico 2014-2015 en la Universidad de Sevilla
|
La informática: una ingeniería joven muy importante : lección inaugural leída en la solemne apertura del curso académico 2014-2015 en la Universidad de Sevilla |
Ponencia | 2010 |
De flujos de navegación a Spring Web Flow. Un primer acercamiento a las transformaciones verticales en MWACSL*
|
Actas de talleres de ingeniería del software y bases de datos |
Ponencia | 2010 |
Dealing with fixable and non-fixable properties in service matchmaking
|
SERVICE-ORIENTED COMPUTING: ICSOC/SERVICE WAVE 2009 WORKSHOPS |
Ponencia | 2009 |
A hybrid model for dynamic simulation of custom software projects in a multiproject environment
|
TRUSTWORTHY SOFTWARE DEVELOPMENT PROCESSES, PROCEEDINGS |
Ponencia | 2009 |
A System Dynamics Approach to Web Service Capacity Management
|
ECOWS'09: PROCEEDINGS OF THE 7TH IEEE EUROPEAN CONFERENCE ON WEB SERVICES |
Ponencia | 2009 |
Analyzing Strategic Business Rules through Simulation Modeling
|
SOFTWARE SERVICES FOR E-BUSINESS AND E-SOCIETY |
Capítulo | 2009 |
Software process dynamics: modeling, simulation and improvement
|
New trends in software process modeling |
Artículo | 2009 |
The intentional relationship of representation between the constructs of a language and reality
|
DATA & KNOWLEDGE ENGINEERING |
Artículo | 2008 |
An association rule mining method for estimating the impact of project management policies on software quality, development time and effort
|
EXPERT SYSTEMS WITH APPLICATIONS |
Artículo | 2008 |
Automated error analysis for the agilization of feature modeling
|
JOURNAL OF SYSTEMS AND SOFTWARE |
Ponencia | 2008 |
Generating domain specific aspect code for navigation from platform specific models in MWACSL
|
JISBD 2008: XIII Jornadas de Ingeniería del Software y Bases de Datos (2008) |
Ponencia | 2007 |
El metamodelado de un framework: Spring Web Flow
|
|
Artículo | 2007 |
From wrapping to knowledge
|
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING |
Ponencia | 2007 |
Improving the adaptation of web applications to different versions of software with MDA
|
CEUR workshop proceedings |
Capítulo | 2007 |
Modelado y simulación del proceso de desarrollo de software: una técnica para la mejora de procesos
|
Técnicas cuantitativas para la gestión en la ingeniería del software |
Capítulo | 2007 |
Modelado y simulación del proceso de desarrollo de software: Una técnica para la mejora de procesos
|
Técnicas cuantitativas para la gestión en la ingeniería del software |
Ponencia | 2005 |
A constraint-based algorithm for planning the substitution of faulty parts
|
PLANNING, SCHEDULING AND CONSTRAINT SATISFACTION: FROM THEORY TO PRACTICE |
Ponencia | 2005 |
Combining heuristics in assembly sequence planning
|
PLANNING, SCHEDULING AND CONSTRAINT SATISFACTION: FROM THEORY TO PRACTICE |
Corrección | 2005 |
Erratum: An integrated framework for simulation-based software process improvement (Software Process Improvement and Practice (2004) 9 (81-93))
|
Software Process: Improvement and Practice |
Artículo | 2005 |
Improving the automatic procurement of web services using constraint programming
|
INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS |
Artículo | 2005 |
La evolución del lenguaje
|
Ludus Vitalis |
Capítulo | 2005 |
La Triple Esquizofrenia del investigador en Ingeniería del Software
|
Aspectos filosóficos, psicológicos y metodológicos de la informática |
Ponencia | 2004 |
A controlled experiment for evaluating a metric-based reading technique for requirements inspection
|
10TH INTERNATIONAL SYMPOSIUM ON SOFTWARE METRICS, PROCEEDINGS |
Ponencia | 2004 |
A framework for classifying and comparing web services procurement platforms
|
FOURTH INTERNATIONAL CONFERENCE ON WEB INFORMATION SYSTEMS ENGINEERING WORKSHOPS, PROCEEDINGS |
Artículo | 2004 |
An order-based algorithm for implementing multiparty synchronization
|
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE |
Ponencia | 2004 |
Conciencia de modelos como instrumentos en ingeniería de Software: una Aproximación desde las Ciencias Naturales y Sociales
|
Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Valladolid, 3-6 de Noviembre de 2004 |
Ponencia | 2004 |
Interval model-based diagnosis using constraint programming
|
SOFT COMPUTING WITH INDUSTRIAL APPLICATIONS, VOL 17 |
Ponencia | 2004 |
La esquizofrenia del docente e investigador en Ingeniería del Software
|
Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Valladolid, 3-6 de Noviembre de 2004 |
Ponencia | 2004 |
Modelando aspectos con lenguajes específicos de dominio
|
Segundo Taller de Desarrollo de Software Orientado a Aspectos (DSOA´04) en colaboración con las IX Jornadas de Ingeniería del Software y Bases de Datos (JISBD´04) (2004), pp. 91-97. |
Ponencia | 2004 |
Modelling Interaction Organisation in Large Multi-Agent Organizations
|
3rd International workshop on practical applications of agents and multiagent systems : IWPAAMS 2004 |
Ponencia | 2004 |
Separación de conceptos y MDA: Arquitectura de un framework
|
I Taller sobre Desarrollo Dirigido por Modelos, MDA y Aplicaciones (DSDM’04) (2004) |
Ponencia | 2004 |
Towards developing generic solutions with aspects
|
5th Aspect-Oriented Modeling Workshop, AOM-2004 (2004). |
Artículo | 2004 |
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 |
Artículo | 2004 |
Using dynamic modeling and simulation to improve the COTS software process
|
PRODUCT FOCUSED SOFTWARE PROCESS IMPROVEMENT |
Artículo | 2003 |
A genetic algorithm for assembly sequence planning
|
ARTIFICIAL NEURAL NETS PROBLEM SOLVING METHODS, PT II |
Ponencia | 2003 |
A knowledge extraction process specification for today's non-semantic Web
|
Proceedings - IEEE/WIC International Conference on Web Intelligence, WI 2003 |
Artículo | 2003 |
A quality-aware approach to web services procurement
|
TECHNOLOGIES FOR E-SERVICES, PROCEEDINGS |
Ponencia | 2003 |
A scheduling approach to assembly sequence planning
|
PROCEEDINGS OF THE 2003 IEEE INTERNATIONAL SYMPOSIUM ON ASSEMBLY AND TASK PLANNING (ISATP2003) |
Capítulo | 2003 |
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: El Escorial (Madrid), 18 de noviembre de 2002 |
Libro | 2003 |
Apoyo a la Decisión en Ingeniería del Software (ADIS 2001): Proceedings of the 2nd Workshop ADIS-2001, Almagro, Ciudad Real, Spain, November 20, 2001
|
Apoyo a la Decisión en Ingeniería del Software (ADIS 2001): Proceedings of the 2nd Workshop ADIS-2001, Almagro, Ciudad Real, Spain, November 20, 2001 |
Libro | 2003 |
Applying requirements engineering
|
Applying requirements engineering |
Artículo | 2003 |
Automating the procurement of web services
|
Service-Oriented Computing - ICSOC 2003 |
Ponencia | 2003 |
Concerns vs components for web development
|
IADIS International Conference on WWW/Internet 2003 (2003), pp. 1064-1067. |
Artículo | 2003 |
Evolutionary learning of hierarchical decision rules
|
IEEE Transactions on Systems, Man, and Cybernetics Part B: Cybernetics |
Artículo | 2003 |
Fairness in systems based on multiparty interactions
|
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE |
Artículo | 2003 |
Finding representative patterns with ordered projections
|
PATTERN RECOGNITION |
Artículo | 2003 |
INTERACTIONS AMONG DYNAMIC SETS OF OBJECTS
|
Requirements Engineering |
Capítulo | 2003 |
Mejora de los procesos software utilizando simulacion e integracion de tecnicas
|
Apoyo a la Decisión en Ingeniería del Software (ADIS 2001): Proceedings of the 2nd Workshop ADIS-2001, Almagro, Ciudad Real, Spain, November 20, 2001 |
Artículo | 2003 |
On selecting and scheduling assembly plans using constraint programming
|
KNOWLEDGE-BASED INTELLIGNET INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS |
Capítulo | 2003 |
Un entorno de administración y ejecución de sistemas multiorganizacionales basados en la Web
|
II Taller de Ingeniería del Software Orientada al Web (Web Engineering) |
Ponencia | 2003 |
Un tratamiento sensible a la calidad para la adquisición de servicios web
|
VIII Jornadas de Ingeniería del Software y Bases de Datos: actas : (JISBD'03), Alicante, del 12 al 14 de noviembre de 2003 |
Capítulo | 2003 |
Una Aproximación a la Evaluación Automática de Alternativas de Diseño
|
Apoyo a la Decisión en Ingeniería del Software (ADIS 2001): Proceedings of the 2nd Workshop ADIS-2001, Almagro, Ciudad Real, Spain, November 20, 2001 |
Ponencia | 2003 |
Una experiencia práctica reutilizando aspectos
|
Taller de Trabajo de Desarrollo de Software Orientado a Aspectos DSOA-JISBD 2003 (2003). |
Ponencia | 2003 |
Una revisión empírica de heurísticas para verificación de casos de uso basado en métricas
|
VIII Jornadas de Ingeniería del Software y Bases de Datos: actas : (JISBD'03), Alicante, del 12 al 14 de noviembre de 2003 |
Artículo | 2002 |
A dynamic integrated framework for software process improvement
|
SOFTWARE QUALITY JOURNAL |
Artículo | 2002 |
A framework for semiqualitative reasoning in engineering applications
|
APPLIED ARTIFICIAL INTELLIGENCE |
Ponencia | 2002 |
A model for assembly sequence planning in a multirobot environment
|
IFAC Proceedings Volumes (IFAC-PapersOnline) |
Ponencia | 2002 |
A pomset-based model for estimating Workcells? setups in assembly sequence planning
|
Lecture Notes in Computer Science |
Artículo | 2002 |
A pomset-based model for estimating workcells' setups in assembly sequence planning
|
Advances in Artificial Intelligence - IBERAMIA 2002 : 8th Ibero-American Conference on AI, Seville, Spain, November 12-15, 2002, proceedings |
Ponencia | 2002 |
A practical agent-based method to extract semantic information from the web
|
Lecture Notes in Computer Science |
Artículo | 2002 |
A semiquantitative approach to study semiqualitative systems
|
Advances in Artificial Intelligence - IBERAMIA 2002 : 8th Ibero-American Conference on AI, Seville, Spain, November 12-15, 2002, proceedings |
Libro | 2002 |
Advances in business solutions
|
Advances in business solutions |
Artículo | 2002 |
An algorithm for ensuring fairness and liveness in non-deterministic systems based on multiparty interactions
|
EURO-PAR 2002 PARALLEL PROCESSING, PROCEEDINGS |
Ponencia | 2002 |
An enablement detection algorithm for open multiparty interactions
|
Proceedings of the ACM Symposium on Applied Computing |
Artículo | 2002 |
An order-based, distributed algorithm for implementing multiparty interactions
|
COORDINATION MODELS AND LANGUAGES, PROCEEDINGS |
Capítulo | 2002 |
Assisting the Requirements Verifier with XML Technology
|
VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002) |
Ponencia | 2002 |
Automatic extraction of semantically-meaningful information from the web
|
Lecture Notes in Computer Science |
Ponencia | 2002 |
Diagnosis basada en modelos para la depuración de software mediante técnicas simbólicas.
|
IV Jornadas Arca: Sistemas Cualitativos y Diagnosis (JARCA´02) (2002). |
Capítulo | 2002 |
Diagnosis de Software usando técnicas Max-CSP
|
VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002) |
Capítulo | 2002 |
Enhancing Win-Win to Automate the Detection of Conflicts in Quality Requirements
|
VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002) |
Ponencia | 2002 |
Guest-editorial: The 8th ibero-american conference on artificial intelligence (IBERAMIA'02)
|
Journal of Intelligent & Fuzzy Systems |
Ponencia | 2002 |
Improving software process maturity through dynamic modeling and simulation
|
Comunicaciones presentadas al VI Congreso Internacional de Proyectos de Ingeniería: celebrado en Barcelona del 23 al 25 de Octubre de 2002 |
Artículo | 2002 |
Integrating dynamic models for CMM-based software process improvement
|
PRODUCT FOCUSED SOFTWARE PROCESS IMPROVEMENT, PROCEEDINGS |
Ponencia | 2002 |
Marco dinámico integrado para la mejora de los procesos software
|
VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002) |
Artículo | 2002 |
Max-CSP approach for software diagnosis
|
Advances in Artificial Intelligence - IBERAMIA 2002 : 8th Ibero-American Conference on AI, Seville, Spain, November 12-15, 2002, proceedings |
Editorial | 2002 |
Preface
|
Lecture Notes in Computer Science |
Ponencia | 2002 |
Propuesta de un Profile de Aspectos en UML
|
VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002) |
Artículo | 2002 |
Qualitative comparison of temporal series. QSI
|
TOPICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS |
Artículo | 2002 |
Repairing syntax errors in LR parsers
|
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS |
Capítulo | 2002 |
Servicios Web: Hacia una nueva era en el desarrollo de aplicaciones para Internet
|
VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002) |
Ponencia | 2002 |
Supporting requirements verification using XSLT
|
IEEE JOINT INTERNATIONAL CONFERENCE ON REQUIREMENTS ENGINEERING, PROCEEDINGS |
Editorial | 2002 |
The 8th Ibero-American Conference on Artificial Intelligence (IBERAMIA'02)
|
Journal of Intelligent & Fuzzy Systems |
Artículo | 2002 |
VERIFYING SOFTWARE REQUIREMENTS WITH XSLT
|
Software Engineering Notes |
Ponencia | 2001 |
A framework for aspect-oriented multiparty coordination
|
IFIP International Federation for Information Processing |
Artículo | 2001 |
A simplified model of software project dynamics
|
JOURNAL OF SYSTEMS AND SOFTWARE |
Artículo | 2001 |
An evolutionary and local search algorithm for motion planning of two manipulators
|
JOURNAL OF ROBOTIC SYSTEMS |
Artículo | 2001 |
An evolutionary approach to estimating software development projects
|
INFORMATION AND SOFTWARE TECHNOLOGY |
Ponencia | 2001 |
Automated support for quality requirements in Web-service-based systems
|
EIGHTH IEEE WORKSHOP ON FUTURE TRENDS OF DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS |
Artículo | 2001 |
Data set editing by ordered projection
|
Intelligent Data Analysis |
Ponencia | 2001 |
Especificación de requisitos de calidad en sistemas multiorganizacionales basados en servicios web
|
JISBD'2001 : jornadas de ingeniería del software y bases de datos : 21 y 23 de noviembre de 2001, Almagro (Ciudad Real) |
Ponencia | 2001 |
Fault Tolerance as an aspect using JReplica
|
EIGHTH IEEE WORKSHOP ON FUTURE TRENDS OF DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS |
Ponencia | 2001 |
JReplica: modelo de replicación transparente e independiente del ORB
|
JISBD'2001 : jornadas de ingeniería del software y bases de datos : 21 y 23 de noviembre de 2001, Almagro (Ciudad Real) |
Ponencia | 2001 |
Orientando a aspectos la captura de datos de Internet para activar reglas de decisión en agentes web
|
JISBD'2001 : jornadas de ingeniería del software y bases de datos : 21 y 23 de noviembre de 2001, Almagro (Ciudad Real) |
Ponencia | 2001 |
SEGESOFT: entorno de entrenamiento para la gestión de proyectos software
|
JISBD'2001 : jornadas de ingeniería del software y bases de datos : 21 y 23 de noviembre de 2001, Almagro (Ciudad Real) |
Artículo | 2001 |
Sincronización Multiproceso en Programas Concurrentes: Selección Completamente k-Justa de Interacciones
|
Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001 |
Libro | 2001 |
Sistemas de Información Geográficos: Una aproximación desde la Ingeniería del Software y las Bases de Datos
|
Sistemas de Información Geográficos: Una aproximación desde la Ingeniería del Software y las Bases de Datos |
Ponencia | 2001 |
Structural constraint-based modeling and reasoning with basic configuration cells
|
Lecture Notes in Computer Science |
Artículo | 2000 |
A generic natural language interface for task planning - application to a mobile robot
|
CONTROL ENGINEERING PRACTICE |
Artículo | 2000 |
A multiparty coordination aspect language
|
ACM SIGPLAN NOTICES |
Artículo | 2000 |
Avances en la coordinación de Objetos Activos
|
Novática |
Libro | 2000 |
Current trends in qualitative reasoning and applications
|
Current Trends in Qualitative Reasoning and Aplications. Edition 2000. (ARCA) |
Ponencia | 2000 |
Data set editing by ordered projection
|
ECAI 2000: 14TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS |
Capítulo | 2000 |
Equilibrio entre eficiencia y adaptabilidad usando separación de aspectos en la fase de diseño
|
ACTAS DE LAS V JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS: JISBD 2000 |
Capítulo | 2000 |
Estudio de sistemas semicualitativos con restricciones que evolucionan en el tiempo
|
Métodos cualitativos aplicados a los sistemas socioeconómicos: Edición 2000 |
Artículo | 2000 |
EXTENSIONES AL SISTEMA DE CLASIFICACIÓN UML
|
Computación y Sistemas |
Artículo | 2000 |
Implementing associations among classes in an environment of active databases
|
PROGRAMMING AND COMPUTER SOFTWARE |
Artículo | 2000 |
INGENIERÍA DE REQUISITOS Y TECNOLOGÍA DE OBJETOS.
|
Novática |
Libro | 2000 |
Métodos cualitativos aplicados a los sistemas socioeconómicos: Edición 2000
|
Métodos cualitativos aplicados a los sistemas socioeconómicos: Edición 2000 |
Capítulo | 2000 |
Optimización en modelos que integran conocimiento cualitativo y cuantitativo
|
Métodos cualitativos aplicados a los sistemas socioeconómicos: Edición 2000 |
Capítulo | 2000 |
Primeros Pasos hacia un Compilador de UML/OCL
|
ACTAS DE LAS V JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS: JISBD 2000 |
Capítulo | 2000 |
Semiqualitative Temporal Patterns in Time-Series Databases
|
Current Trends in Qualitative Reasoning and Aplications. Edition 2000. (ARCA) |
Ponencia | 2000 |
Separación de los aspectos de concurrencia y sincronización en la fase de diseño
|
Actas de las VIII Jornadas de Concurrencia : Cuenca, 14 a 16 de junio de 2000 |
Capítulo | 2000 |
Una aproximación al desarrollo de software basada en prototipado arquitectónico
|
ACTAS DE LAS V JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS: JISBD 2000 |
Capítulo | 2000 |
Using constraint programming framework for Semiqualitative Reasoning
|
Current Trends in Qualitative Reasoning and Aplications. Edition 2000. (ARCA) |
Artículo | 1999 |
A decision queue based on genetic algorithms: Axis-parallel classifier versus rotated hyperboxes
|
Computational Intelligence and Applications |
Artículo | 1999 |
A distributed solution to synchronous multiparty interaction
|
Recent Advances in Signal Processing and Communications |
Artículo | 1999 |
Automatic generation of collision-free programs for multiple manipulators using evolutive algorithms
|
Computational Intelligence and Applications |
Ponencia | 1999 |
Elicitación de requisitos de usuario mediante plantillas y patrones de requisitos
|
IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD´99) (1999), pp. 183-194. |
Capítulo | 1999 |
Elicitación de requisitos de usuario mediante plantillas y patrones de requisitos
|
IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD´99) (1999), pp. 183-194. |
Capítulo | 1999 |
Implementación de interacciones entre múltiples participantes sobre una máquina virtual en red
|
SEID'99: Simposio Español de Informática Distribuida : Santiago de Compostela, 24-26 de febrero de 1999 : actas |
Ponencia | 1999 |
Implementing multiparty interactions on a network computer
|
Proceedings 25th EUROMICRO Conference. Informatics: Theory and Practice for the New Millennium |
Ponencia | 1999 |
Object Oriented Specification based on Restrictions: Participation and Interaction
|
CSCC 1999: 3rd World Multiconference on Circuits, Systems, Communications and Computers (IEEE/WSES/IMACS) (1999), pp. 6441-6445. |
Artículo | 1999 |
REVISANDO EL RECONOCEDOR CON PREFIJO VÁLIDO PARA TAGS DE SCHABES
|
PROCESAMIENTO DEL LENGUAJE NATURAL |
Capítulo | 1999 |
Semántica formal de asociaciones y agregados para su implementación con reglas activas
|
IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD´99) (1999), pp. 183-194. |
Ponencia | 1999 |
Semántica formal de asociaciones y agregados para su implementación con reglas activas
|
IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD´99) (1999), pp. 183-194. |
Artículo | 1999 |
SPECIFYING INTERACTIONS AMONG OBJECTS THROUGH CONSTRAINTS
|
Computación y Sistemas |
Ponencia | 1999 |
Three geometric approaches for representing decision rules in a supervised learning system
|
GECCO-99: PROCEEDINGS OF THE GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE |
Artículo | 1999 |
UNA PROPUESTA PARA ELABORAR EL CATÁLOGO DE REQUISITOS EN METRICA V2.1.
|
Novática |
Capítulo | 1999 |
Weak-fairness in the context of constraint-based multiparty interactions
|
SEID'99: Simposio Español de Informática Distribuida : Santiago de Compostela, 24-26 de febrero de 1999 : actas |
Ponencia | 1998 |
A review of earley-based parser for TIG
|
Lecture Notes in Computer Science |
Ponencia | 1998 |
A tool to obtain a hierarchical qualitative rules from quantitative data
|
Lecture Notes in Computer Science |
Ponencia | 1998 |
An evolutionary and local search algorithm for planning two manipulators motion
|
Lecture Notes in Computer Science |
Artículo | 1998 |
ANÁLISIS SINTÁCTICO DE TAGS USANDO ANALIZADORES DEDUCTIVOS
|
PROCESAMIENTO DEL LENGUAJE NATURAL |
Artículo | 1998 |
Decision queue classifier for supervised learning using rotated hyperboxes
|
PROGRESS IN ARTIFICIAL INTELLIGENCE-IBERAMIA 98 |
Ponencia | 1998 |
Including qualitative knowledge in semiqualitative dynamical systems
|
Lecture Notes in Computer Science |
Capítulo | 1998 |
Una gramática S-atribuida para TAG
|
Innovaciones en informática electrónica y automática |
Ponencia | 1997 |
Abstracta/C++: una herramienta orientada a objetos para la construcción de compiladores en C++
|
III Jornadas de Informática. Actas: El Puerto de Santa María (Cádiz), 14 al 18 de julio 1.997 [sic] |
Ponencia | 1997 |
COGITO 2.0: una herramienta para obtener un clasificador jerárquico en aprendizaje supervisado
|
CAEPIA'97: actas |
Ponencia | 1997 |
COGITO: un sistema de autoaprendizaje basado en algoritmos genéticos
|
III Jornadas de Informática. Actas: El Puerto de Santa María (Cádiz), 14 al 18 de julio 1.997 [sic] |
Ponencia | 1997 |
Representación y simulación de modelos integrando conocimiento cualitativo y cuantitativo
|
CAEPIA'97: actas |
Ponencia | 1997 |
Requisitos para un generador automático de mecanismos de persistencia objeto-relacionales
|
III Jornadas de Informática. Actas: El Puerto de Santa María (Cádiz), 14 al 18 de julio 1.997 [sic] |
Libro | 1997 |
Un Modelo de proyección de la población para los ámbitos funcionales andaluces: 1991-2006
|
Un Modelo de proyección de la población para los ámbitos funcionales andaluces: 1991-2006 |
Ponencia | 1996 |
Especificación orientada a objetos de lenguajes visuales de grafos
|
II Jornadas de informática, Almuñécar (Granada), 15 al 19 de julio 1996: actas |
Artículo | 1996 |
Especificaciones Orientadas a Objetos Basadas en Restricciones
|
I Jornadas de Trabajo de Ingeniería del Software |
Libro | 1996 |
I Jornadas de Trabajo de Ingeniería del Software
|
I Jornadas de Trabajo de Ingeniería del Software |
Ponencia | 1996 |
Operadores de asociación y agregación de clases en un lenguaje de especificación OO
|
II Jornadas de informática, Almuñécar (Granada), 15 al 19 de julio 1996: actas |
Artículo | 1996 |
Optimal control and sensitivity analysis of an energy demand model
|
Systems Analysis Modelling Simulation |
Ponencia | 1996 |
Síntesis deductiva de programas lógicos con tipos
|
II Jornadas de informática, Almuñécar (Granada), 15 al 19 de julio 1996: actas |
Ponencia | 1996 |
Un método general de transformación de CFG a TAG
|
Lenguajes naturales y lenguajes formales : actas del XII congreso de lenguajes naturales y lenguajes formales : (La Seu d'Urgel, 23-27 de septiembre de 1996) |
Ponencia | 1996 |
Una aproximación formal al modelo relacional básico mediante el lenguaje de especificación Z
|
Actas de las Primeras Jornadas de Investigación y Docencia en Bases de Datos |
Ponencia | 1995 |
A technique for distributed systems specification
|
Proceedings - Euromicro Workshop on Parallel and Distributed Processing |
Ponencia | 1995 |
Coordinated motion planning of manipulators by evolution strategies
|
APPLICATIONS OF ARTIFICIAL INTELLIGENCE IN ENGINEERING X |
Ponencia | 1995 |
Las gramáticas categoriales y la adaptabilidad de un sistema de procesamiento del lenguaje natural
|
Lenguajes naturales y lenguajes formales: actas del XI congreso de lenguajes naturales y lenguajes formales: (Tortosa, 1995) |
Ponencia | 1995 |
Metodología para obtener nuevas características en sistemas de aprendizaje
|
VI Conferencia de la Asociación Española para la Inteligencia Artificial CAEPIA 95 : actas : Alicante, 15, 16 y 17 de Noviembre de 1995 |
Capítulo | 1995 |
Qualitative modelling in ecology
|
Current Trends in Qualitative Reasoning and Aplications. |
Capítulo | 1995 |
Qualitative simulation and automated causal reasoning
|
Current Trends in Qualitative Reasoning and Aplications. |
Artículo | 1995 |
Síntesis constructiva de programas lógicos
|
I Jornadas de informática, Puerto de la Cruz, 17-21 de julio de 1995: actas |
Artículo | 1995 |
Software Quality Through Formal OO Specification
|
Transactions on Information and Communications Technologies |
Artículo | 1994 |
Desde el lenguaje de especificación orientado a objetos Tesoro y Lotos.
|
Informatica y Automatica |
Ponencia | 1994 |
Especificación orientada a objetos desde un enfoque algebraico
|
GULP-PRODE´94 (1994), pp. 450-451. |
Ponencia | 1994 |
Transición de la descripción de un sistema en lenguaje natural a su formalización
|
Lenguajes naturales y lenguajes formales : actas del X congreso de lenguajes naturales y lenguajes formales : (Sevilla, 26-30 de septiembre de 1994) |
Ponencia | 1992 |
Classifying system behavior modes by statistical search in the parameter space
|
MODELLING AND SIMULATION 1992 |
Ponencia | 1992 |
Optimal-control of an energy demand model
|
COMPUTATIONAL SYSTEMS ANALYSIS 1992 |
Ponencia | 1992 |
Sensitivity analysis of an energy demand model
|
COMPUTATIONAL SYSTEMS ANALYSIS 1992 |
Artículo | 1988 |
Qualitative analysis of system dynamics ecological models
|
SYSTEM DYNAMICS REVIEW |
Artículo | 1984 |
A case study of qualitative change in system dynamics
|
INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE |