| Artículo | 2025 |
Automatic generation of efficient oracles: The less-than case
|
JOURNAL OF SYSTEMS AND SOFTWARE |
| Artículo | 2025 |
Pricing4APIs: A rigorous model for RESTful API pricings
|
COMPUTER STANDARDS & INTERFACES |
| Artículo | 2024 |
Aprendiendo metodologías ágiles jugando con ScrumRPG
|
Actas de las Jornadas sobre Enseñanza Universitaria de la Informática |
| Ponencia | 2024 |
Designing a User Interface to Explore Collections of Directly-Follows Graphs for Process Mining Analysis
|
Lecture Notes in Business Information Processing |
| Artículo | 2024 |
Exploring Gender Bias In Remote Pair Programming Among Software Engineering Students: The twincode Original Study And First External Replication
|
EMPIRICAL SOFTWARE ENGINEERING |
| Artículo | 2024 |
Governify. An agreement-based service governance framework
|
Software Impacts |
| Ponencia | 2024 |
Mapping the Landscape: Exploring Large Language Model Applications in Business Process Management
|
Lecture Notes in Business Information Processing |
| Artículo | 2024 |
Mutation Testing in Practice: Insights from Open-Source Software Developers
|
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING |
| Editorial | 2024 |
Preface
|
Lecture Notes in Computer Science |
| Capítulo | 2024 |
Pricing4SaaS: Towards a Pricing Model to Drive the Operation of SaaS
|
Lecture Notes in Business Information Processing |
| Artículo | 2024 |
Research artifacts for human-oriented experiments in software engineering: An ACM badges-driven structure proposal
|
JOURNAL OF SYSTEMS AND SOFTWARE |
| Artículo | 2024 |
Robustness Assessment of AI-Based 2D Object Detection Systems: A Method and Lessons Learned from Two Industrial Cases
|
ELECTRONICS |
| Ponencia | 2024 |
SLA-Wizard - Automated Configuration of RESTful API Gateways Based on SLAs
|
Lecture Notes in Computer Science |
| Ponencia | 2024 |
Some Initial Guidelines for Building Reusable Quantum Oracles
|
Lecture Notes in Computer Science |
| Ponencia | 2024 |
STATUS: A Low-Code Business Process Compliance Management System
|
CEUR workshop proceedings |
| Ponencia | 2024 |
The IDL Tool Suite: Inter-parameter Dependency Management in Web APIs
|
Lecture Notes in Computer Science |
| Ponencia | 2024 |
Tiramisù: A Recipe for Visual Sensemaking of Multi-faceted Process Information
|
Lecture Notes in Business Information Processing |
| Artículo | 2024 |
Tiramisù: making sense of multi-faceted process information through time and space
|
JOURNAL OF INTELLIGENT INFORMATION SYSTEMS |
| Ponencia | 2024 |
Towards a lightweight distributed telemetry for microservices
|
Proceedings - 2024 IEEE 44th International Conference on Distributed Computing Systems Workshops, ICDCSW 2024 |
| Ponencia | 2024 |
Towards a Systematic Comparison Framework for Cloud Services Customer Agreements
|
Lecture Notes in Computer Science |
| Capítulo | 2024 |
Towards Pricing4SaaS: A Framework for Pricing-Driven Feature Toggling in SaaS
|
Lecture Notes in Computer Science |
| Ponencia | 2023 |
A Goal-Driven Approach to Support Decision-Making with Incomplete Information in Cyber Operations
|
INTELLIGENT INFORMATION SYSTEMS, CAISE FORUM 2023 |
| Artículo | 2023 |
A model-based approach for specifying changes in replications of empirical studies in computer Science
|
Computing: archives for scientific computing |
| Ponencia | 2023 |
Advancing IS Strategy for Natural History Museums with Method Engineering in the Digital Age
|
INTELLIGENT INFORMATION SYSTEMS, CAISE FORUM 2023 |
| Ponencia | 2023 |
AGORA: Automated Generation of Test Oracles for REST APIs
|
ISSTA 2023 - Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis |
| Artículo | 2023 |
An empirical study to evaluate the impact of mindfulness on helpdesk employees
|
SCIENCE OF COMPUTER PROGRAMMING |
| Ponencia | 2023 |
An End-to-End Approach for Online Decision Mining and Decision Drift Analysis in Process-Aware Information Systems
|
INTELLIGENT INFORMATION SYSTEMS, CAISE FORUM 2023 |
| Artículo | 2023 |
Aprendiendo arquitectura software a partir de proyectos de código abierto en GitHub
|
Actas de las Jornadas sobre Enseñanza Universitaria de la Informática |
| Artículo | 2023 |
ARTE: Automated Generation of Realistic Test Inputs for Web APIs
|
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING |
| Ponencia | 2023 |
Automatic Generation of an Efficient Less-Than Oracle for Quantum Amplitude Amplification
|
Proceedings - 2023 IEEE/ACM 4th International Workshop on Quantum Software Engineering, Q-SE 2023 |
| Ponencia | 2023 |
Board miner: a tool to analyze the use of board-based collaborative work management tools
|
Lecture Notes in Computer Science |
| Ponencia | 2023 |
Cicero: An AI-Based Writing Assistant for Legal Users
|
INTELLIGENT INFORMATION SYSTEMS, CAISE FORUM 2023 |
| Artículo | 2023 |
City 5.0: citizen involvement in the design of future cities
|
Electronic Markets |
| Capítulo | 2023 |
Cloud development and deployment
|
Optimising the software development process with artificial intelligence |
| Artículo | 2023 |
Comprehensive assessment of open source software ecosystem health
|
Internet of Things (Netherlands) |
| Ponencia | 2023 |
Conceptual Formalization of Massive Storage for Advancing Decision-Making with Data Analytics
|
INTELLIGENT INFORMATION SYSTEMS, CAISE FORUM 2023 |
| Ponencia | 2023 |
Context-Aware Change Pattern Detection in Event Attributes of Recurring Activities
|
INTELLIGENT INFORMATION SYSTEMS, CAISE FORUM 2023 |
| Corrección | 2023 |
Correction to: A model-based approach for specifying changes in replications of empirical studies in computer Science (Computing, (2022), 10.1007/s00607-022-01133-x)
|
Computing: archives for scientific computing |
| Ponencia | 2023 |
Defining process performance measures in an object-centric context
|
Lecture Notes in Business Information Processing |
| Ponencia | 2023 |
Enhancing Event Log Manipulation and Insight Discovery through Querying Process Representations with DFGs
|
CEUR workshop proceedings |
| Artículo | 2023 |
FIDES: A Proposal for Federated Accountability in the Compute Continuum
|
IEEE INTERNET COMPUTING |
| Ponencia | 2023 |
From Text to Performance Measurement: Automatically Computing Process Performance Using Textual Descriptions and Event Logs
|
Lecture Notes in Computer Science |
| Artículo | 2023 |
GraphQL: a systematic mapping study
|
ACM COMPUTING SURVEYS |
| Ponencia | 2023 |
IDLGen: Automated Code Generation for Inter-parameter Dependencies in Web APIs
|
Lecture Notes in Computer Science |
| Ponencia | 2023 |
Integrating IoT-Driven Events into Business Processes
|
INTELLIGENT INFORMATION SYSTEMS, CAISE FORUM 2023 |
| Ponencia | 2023 |
Interest-Driven Recommendations To Support Time Performance Analyses
|
CEUR workshop proceedings |
| Ponencia | 2023 |
LoVizQL: A Query Language for Visualizing and Analyzing Business Processes from Event Logs
|
Lecture Notes in Computer Science |
| Artículo | 2023 |
Model transformation testing and debugging: a survey
|
ACM COMPUTING SURVEYS |
| Artículo | 2023 |
Neanderthal footprints in the “Matalascañas trampled surface” (SW Spain): new OSL dating and Mousterian lithic industry
|
QUATERNARY SCIENCE REVIEWS |
| Ponencia | 2023 |
On the Impact and Lessons Learned from Mindfulness Practice in a Real-World Software Company
|
International Symposium on Empirical Software Engineering and Measurement |
| Ponencia | 2023 |
Operating with Quantum Integers: An Efficient ‘Multiples of’ Oracle
|
Communications in Computer and Information Science |
| Ponencia | 2023 |
Parsing Causal Models - An Instance Segmentation Approach
|
INTELLIGENT INFORMATION SYSTEMS, CAISE FORUM 2023 |
| Artículo | 2023 |
Performance-driven metamorphic testing of cyber-physical systems
|
IEEE TRANSACTIONS ON RELIABILITY |
| Ponencia | 2023 |
Predictive Recommining: Learning Relations Between Event Log Characteristics and Machine Learning Approaches for Supporting Predictive Process Monitoring
|
INTELLIGENT INFORMATION SYSTEMS, CAISE FORUM 2023 |
| Editorial | 2023 |
Preface
|
Lecture Notes in Business Information Processing |
| Editorial | 2023 |
Preface
|
Lecture Notes in Business Information Processing |
| Editorial | 2023 |
Preface
|
Lecture Notes in Computer Science |
| Editorial | 2023 |
Preface to the ICPM 2022 Doctoral Consortium and Tool Demonstration Track
|
CEUR workshop proceedings |
| Ponencia | 2023 |
Robustness Testing of an Industrial Road Object Detection System
|
Proceedings - 5th IEEE International Conference on Artificial Intelligence Testing, AITest 2023 |
| Ponencia | 2023 |
Rsourcer: Scaling Feedback on Research Drafts
|
INTELLIGENT INFORMATION SYSTEMS, CAISE FORUM 2023 |
| Ponencia | 2023 |
Semi-automated capacity analysis of limitation-aware microservices architectures
|
Lecture Notes in Computer Science |
| Libro | 2023 |
Service-oriented computing: 21st International Conference, ICSOC 2023, Rome, Italy, November 28 – December 1, 2023, Proceedings, Part I
|
Service-oriented computing: 21st International Conference, ICSOC 2023, Rome, Italy, November 28 – December 1, 2023, Proceedings, Part I |
| Libro | 2023 |
Service-oriented computing: 21st International Conference, ICSOC 2023, Rome, Italy, November 28 – December 1, 2023, Proceedings, Part II
|
Service-oriented computing: 21st International Conference, ICSOC 2023, Rome, Italy, November 28 – December 1, 2023, Proceedings, Part II |
| Capítulo | 2023 |
SLA4OAI-Analyzer: Automated Validation of RESTful API Pricing Plans
|
Lecture Notes in Computer Science |
| Ponencia | 2023 |
Specification-driven code generation for inter-parameter dependencies in web APIs
|
Lecture Notes in Computer Science |
| Artículo | 2023 |
Suite de pruebas auto-evaluable como examen de laboratorio: una aproximación pragmática con Spring Boot y GitHub
|
Actas de las Jornadas sobre Enseñanza Universitaria de la Informática |
| Ponencia | 2023 |
The KYKLOS Tool for Modeling Changing Capabilities
|
INTELLIGENT INFORMATION SYSTEMS, CAISE FORUM 2023 |
| Ponencia | 2023 |
Toward Dependency-Aware API Gateways
|
|
| Ponencia | 2023 |
Towards a UML Profile for Designing Smart IoT Data-Centric Applications
|
INTELLIGENT INFORMATION SYSTEMS, CAISE FORUM 2023 |
| Ponencia | 2023 |
Towards Designing Energy-Aware Cybersecurity Policies
|
INTELLIGENT INFORMATION SYSTEMS, CAISE FORUM 2023 |
| Ponencia | 2023 |
Towards Leveraging Tests to Identify Impacts of Metamodel and Code Co-evolution
|
INTELLIGENT INFORMATION SYSTEMS, CAISE FORUM 2023 |
| Ponencia | 2023 |
Visualising Personal Data Flows: Insights from a Case Study of Booking.com
|
INTELLIGENT INFORMATION SYSTEMS, CAISE FORUM 2023 |
| Capítulo | 2022 |
3.2 Reliable government automation of regulated infrastructures by service level agreements
|
AI knowledge transfer from the university to society: applications in high-impact sectors |
| Artículo | 2022 |
A mashup-based framework for business process compliance checking
|
IEEE TRANSACTIONS ON SERVICES COMPUTING |
| Artículo | 2022 |
A quantitative biophysical principle to explain the 3D cellular connectivity in curved epithelia
|
Cell Systems |
| Ponencia | 2022 |
Analyzing how process mining reports answer time performance questions
|
Lecture Notes in Computer Science |
| Ponencia | 2022 |
Automated Code Generation for Inter-parameter Dependencies in REST APIs
|
XVII Jornadas de Ingeniería de Ciencia e Ingeniería de Servicios (JCIS 2022) (2022), pp. 1-4. |
| Ponencia | 2022 |
Automated Generation of Metamorphic Relations for Query-Based Systems
|
Proceedings - 7th International Workshop on Metamorphic Testing, MET 2022 |
| Artículo | 2022 |
Benchmarking Answer Set Programming systems for resource allocation in business processes
|
EXPERT SYSTEMS WITH APPLICATIONS |
| Ponencia | 2022 |
BPM in digital transformation: new tools and productivity challenges
|
Lecture Notes in Computer Science |
| Ponencia | 2022 |
Creation of balanced Top Trumps decks with multi-objective evolutionary algorithms and simulation
|
26th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2022 |
| Artículo | 2022 |
Effects of mindfulness on conceptual modeling performance: a series of experiments
|
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING |
| Artículo | 2022 |
Elastic data analytics for the cloud-to-things continuum
|
IEEE INTERNET COMPUTING |
| Ponencia | 2022 |
Generación Automática de Oráculos de Prueba para APIs RESTful
|
26th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2022 |
| Ponencia | 2022 |
GraphQL or REST for mobile applications?
|
Communications in Computer and Information Science |
| Capítulo | 2022 |
Inter-parameter dependencies in real-world web APIs: the IDEA dataset
|
Research and evidence in software engineering: from empirical studies to Open Source artifacts |
| Artículo | 2022 |
Mutation testing in the wild: findings from GitHub
|
EMPIRICAL SOFTWARE ENGINEERING |
| Ponencia | 2022 |
Online testing of RESTful APIs: promises and challenges
|
ESEC/FSE 2022 - Proceedings of the 30th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering |
| Artículo | 2022 |
Perses: A framework for the continuous evaluation of the QoS of distributed mobile applications
|
PERVASIVE AND MOBILE COMPUTING |
| Editorial | 2022 |
Preface
|
Lecture Notes in Computer Science |
| Ponencia | 2022 |
Pruebas de APIs REST guiadas por Aprendizaje Activo
|
26th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2022 |
| Ponencia | 2022 |
Pruebas de Mutación de APIs Web: Un Enfoque de Caja Negra
|
26th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2022 |
| Ponencia | 2022 |
Quality in use evaluation of a GraphQL implementation
|
Emerging research in intelligent systems: proceedings of the CIT 2021 (volume 1) |
| Ponencia | 2022 |
Robustness testing of a machine learning-based road object detection system: an industrial case
|
Proceedings - Workshop on Software Engineering for Responsible AI, SE4RAI 2022 |
| Libro | 2022 |
Service-oriented computing: 20th International Conference, ICSOC 2022, Seville, Spain, November 29 – December 2, 2022, Proceedings
|
Service-oriented computing: 20th International Conference, ICSOC 2022, Seville, Spain, November 29 – December 2, 2022, Proceedings |
| Artículo | 2022 |
SLA-aware operational efficiency in AI-enabled service chains: challenges ahead
|
Information Systems and e-Business Management |
| Artículo | 2022 |
Specification and automated analysis of inter-parameter dependencies in Web APIs
|
IEEE TRANSACTIONS ON SERVICES COMPUTING |
| Ponencia | 2022 |
Updating prediction models for predictive process monitoring
|
Lecture Notes in Computer Science |
| Ponencia | 2022 |
Workstream and board-based collaborative work management tools to analyze and improve productivity at work
|
CEUR workshop proceedings |
| Capítulo | 2021 |
A family of experiments to evaluate the effects of mindfulness on software engineering students
|
Research and evidence in software engineering: from empirical studies to Open Source artifacts |
| Artículo | 2021 |
A flexible billing life cycle for cloud services using augmented customer agreements
|
IEEE ACCESS |
| Libro | 2021 |
Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021]
|
Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021] |
| Ponencia | 2021 |
An elasticity framework for smart contracts
|
Proceedings - 2021 IEEE International Conference on Smart Data Services, SMDS 2021 |
| Ponencia | 2021 |
Artifact: virtual environment for evaluating the QoS of distributed mobile applications
|
2021 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, PerCom Workshops 2021 |
| Artículo | 2021 |
Automated validation of compensable SLAs
|
IEEE TRANSACTIONS ON SERVICES COMPUTING |
| Ponencia | 2021 |
Black-box and white-box test case generation for RESTful APIs: enemies or allies?
|
Proceedings - International Symposium on Software Reliability Engineering, ISSRE |
| Ponencia | 2021 |
Bluejay: a cross-tooling audit framework for agile software teams
|
Proceedings - International Conference on Software Engineering |
| Ponencia | 2021 |
BRANCH: an ASP systems benchmark for resource allocation in business processes
|
CEUR workshop proceedings |
| Ponencia | 2021 |
Deep learning-based prediction of test input validity for RESTful APIs
|
Proceedings - 2021 IEEE/ACM 3rd International Workshop on Deep Learning for Testing and Testing for Deep Learning, DeepTest 2021 |
| Ponencia | 2021 |
DemaBot: a tool to automatically generate decision-support chatbots
|
CEUR workshop proceedings |
| Ponencia | 2021 |
Design patterns for board-based collaborative work management tools
|
Lecture Notes in Computer Science |
| Artículo | 2021 |
Discovering business process simulation models in the presence of multitasking and availability constraints
|
DATA & KNOWLEDGE ENGINEERING |
| Ponencia | 2021 |
Effects of Mindfulness on Conceptual Modeling Performance: A Series of Experiments
|
Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021] |
| Artículo | 2021 |
Elastic Smart Contracts in Blockchains
|
IEEE/CAA Journal of Automatica Sinica |
| Ponencia | 2021 |
Empirical strategies in software engineering research: a literature survey
|
Proceedings - 2021 2nd International Conference on Information Systems and Software Technologies, ICI2ST 2021 |
| Libro | 2021 |
Empleabilidad y talento digital: índice de talento digital 2020
|
Empleabilidad y talento digital: índice de talento digital 2020 |
| Capítulo | 2021 |
Evaluating testing techniques in highly-configurable systems: the Drupal dataset
|
Research and evidence in software engineering: from empirical studies to Open Source artifacts |
| Artículo | 2021 |
Evolutionary 3D image segmentation of curve epithelial tissues of drosophila melanogaster
|
APPLIED SCIENCES-BASEL |
| Artículo | 2021 |
Flipping laboratory sessions in a computer science course: an experience report
|
IEEE TRANSACTIONS ON EDUCATION |
| Ponencia | 2021 |
Identificación Automática de Relaciones Metamórficas en Sistemas de Búsqueda
|
Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021] |
| Ponencia | 2021 |
Introduction to the digital government and Business Process Management (BPM) minitrack HICSS'54
|
Proceedings of the Annual Hawaii International Conference on System Sciences |
| Ponencia | 2021 |
Many-Objective Test Suite Generation for Software Product Lines
|
Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021] |
| Artículo | 2021 |
Modeling variability in the performance perspective of business processes
|
IEEE ACCESS |
| Artículo | 2021 |
Performance mutation testing
|
SOFTWARE TESTING VERIFICATION & RELIABILITY |
| Ponencia | 2021 |
PPINOT computer and ppinot4py: two libraries to compute process performance indicators
|
CEUR workshop proceedings |
| Capítulo | 2021 |
Process Performance Indicators for IT Service Management:
|
Research and Evidence in Software Engineering |
| Ponencia | 2021 |
Productivity challenges in digital transformation and its implications for workstream collaboration tools
|
Proceedings of the Annual Hawaii International Conference on System Sciences |
| Ponencia | 2021 |
Pruebas de Mutación de Caja Negra para APIs Web
|
|
| Ponencia | 2021 |
Pruebas de Mutación de Caja Negra para APIs Web
|
Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021] |
| Ponencia | 2021 |
RESTest: automated black-box testing of RESTful web APIs
|
ISSTA 2021 - Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis |
| Ponencia | 2021 |
RESTest: Pruebas de Caja Negra para APIs REST con Soporte para Restricciones
|
Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021] |
| Artículo | 2021 |
Seven paradoxes of business process management in a hyper-connected world
|
BUSINESS & INFORMATION SYSTEMS ENGINEERING |
| Ponencia | 2021 |
Virtual environment for evaluating the QoS of distributed mobile applications
|
2021 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, PerCom Workshops 2021 |
| Artículo | 2020 |
Context-aware process performance indicator prediction
|
IEEE ACCESS |
| Ponencia | 2020 |
Discovering Business Process Simulation Models in the Presence of Multitasking
|
Lecture Notes in Business Information Processing |
| Artículo | 2020 |
Early evaluation of mobile applications' resource consumption and operating costs
|
IEEE ACCESS |
| Artículo | 2020 |
Flipping laboratory sessions: an experience in computer science
|
IEEE REVISTA IBEROAMERICANA DE TECNOLOGIAS DEL APRENDIZAJE-IEEE RITA |
| Artículo | 2020 |
Many-objective test suite generation for software product lines
|
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY |
| Editorial | 2020 |
Message from the Workshop Chairs
|
Proceedings - 2020 IEEE 44th Annual Computers, Software, and Applications Conference, COMPSAC 2020 |
| Artículo | 2020 |
Metamorphic testing: testing the untestable
|
IEEE Software |
| Editorial | 2020 |
Preface
|
Lecture Notes in Business Information Processing |
| Ponencia | 2020 |
Qos-aware metamorphic testing: an elevation case study
|
Proceedings - International Symposium on Software Reliability Engineering, ISSRE |
| Ponencia | 2020 |
RESTest: black-box constraint-based testing of RESTful web APIs
|
Lecture Notes in Computer Science |
| Artículo | 2020 |
TANDEM: A Taxonomy and a Dataset of Real-World Performance Bugs
|
IEEE ACCESS |
| Artículo | 2020 |
The RALph miner for automated discovery and verification of resource-aware process models
|
SOFTWARE AND SYSTEMS MODELING |
| Ponencia | 2020 |
Towards an automated management of well-being goals in nursing homes
|
Communications in Computer and Information Science |
| Ponencia | 2019 |
A Catalogue of Inter-parameter Dependencies in RESTful Web APIs
|
Lecture Notes in Computer Science |
| Ponencia | 2019 |
A Hybrid Reliability Metric for SLA Predictive Monitoring
|
SAC '19: PROCEEDINGS OF THE 34TH ACM/SIGAPP SYMPOSIUM ON APPLIED COMPUTING |
| Ponencia | 2019 |
An approach for the automated generation of engaging dashboards
|
Lecture Notes in Computer Science |
| Ponencia | 2019 |
An extended abstract of "metamorphic testing: Testing the untestable"
|
2019 IEEE 43RD ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), VOL 1 |
| Artículo | 2019 |
Automated analysis of feature models: Quo vadis?
|
Computing: archives for scientific computing |
| Ponencia | 2019 |
Automated analysis of feature models: quo vadis?
|
SPLC'19: PROCEEDINGS OF THE 23RD INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL A |
| Ponencia | 2019 |
Automated Multi-perspective Process Generation in the Manufacturing Domain
|
Lecture Notes in Business Information Processing |
| Ponencia | 2019 |
Automating SLA-Driven API Development with SLA4OAI
|
Lecture Notes in Computer Science |
| Ponencia | 2019 |
BPM adoption at Bilfinger
|
CEUR workshop proceedings |
| Ponencia | 2019 |
Does your accurate process predictive monitoring model give reliable predictions?
|
Lecture Notes in Computer Science |
| Ponencia | 2019 |
Eagle: A Team Practices Audit Framework for Agile Software Development
|
ESEC/FSE'2019: PROCEEDINGS OF THE 2019 27TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING |
| Ponencia | 2019 |
ELECTRA: Induced usage limitations calculation in RESTful APIs
|
Lecture Notes in Computer Science |
| Ponencia | 2019 |
Extended abstract of "Spectrum-based fault localization in Software Product Lines"
|
SPLC'19: PROCEEDINGS OF THE 23RD INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL A |
| Ponencia | 2019 |
Governify for APIs: SLA-Driven Ecosystem for API Governance
|
ESEC/FSE'2019: PROCEEDINGS OF THE 2019 27TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING |
| Ponencia | 2019 |
History-aware dynamic process fragmentation for risk-aware resource allocation
|
Lecture Notes in Computer Science |
| Artículo | 2019 |
Invirtiendo las clases de laboratorio en Ingeniería Informática: un enfoque ágil
|
Actas de las Jornadas sobre Enseñanza Universitaria de la Informática |
| Artículo | 2019 |
Measuring Performance in Knowledge-intensive Processes
|
ACM TRANSACTIONS ON INTERNET TECHNOLOGY |
| Ponencia | 2019 |
Metamorphic Relation Patterns for Query-Based Systems
|
2019 IEEE/ACM 4TH INTERNATIONAL WORKSHOP ON METAMORPHIC TESTING (MET 2019) |
| Artículo | 2019 |
Practical Experiences in the Use of Pattern-Recognition Strategies to Transform Software Project Plans into Software Business Processes of Information Technology Companies
|
Scientific Programming |
| Ponencia | 2019 |
Reparación de pruebas de interfaz de usuario en Android como un problema de búsqueda
|
Actas de las 24th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2019 |
| Artículo | 2019 |
Replication of studies in empirical software engineering: a systematic mapping study from 2013 to 2018
|
IEEE ACCESS |
| Ponencia | 2019 |
Responsibility modeling and tracking against process performance indicators
|
XXII Ibero-American Conference on Software Engineering, CIbSE 2019 |
| Ponencia | 2019 |
Study of Trivial Compiler Equivalence on C plus plus Object-Oriented Mutation Operators
|
SAC '19: PROCEEDINGS OF THE 34TH ACM/SIGAPP SYMPOSIUM ON APPLIED COMPUTING |
| Ponencia | 2019 |
Test coverage criteria for RESTfulWeb APIs
|
A-TEST 2019 - Proceedings of the 10th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation, co-located with ESEC/FSE 2019 |
| Ponencia | 2019 |
The Role of Limitations and SLAs in the API Industry
|
ESEC/FSE'2019: PROCEEDINGS OF THE 2019 27TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING |
| Ponencia | 2019 |
Towards the Definition of Test Coverage Criteria for RESTful Web APIs
|
Actas de las 24th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2019 |
| Artículo | 2019 |
Visual ppinot: A Graphical Notation for Process Performance Indicators
|
BUSINESS & INFORMATION SYSTEMS ENGINEERING |
| Artículo | 2018 |
A template-based approach for responsibility management in executable business processes
|
ENTERPRISE INFORMATION SYSTEMS |
| Artículo | 2018 |
An experimental replication on the effect of the practice of mindfulness in conceptual modeling performance
|
JOURNAL OF SYSTEMS AND SOFTWARE |
| Artículo | 2018 |
Automated inference of likely metamorphic relations for model transformations
|
JOURNAL OF SYSTEMS AND SOFTWARE |
| Artículo | 2018 |
Blockchains for Business Process Management - Challenges and Opportunities
|
ACM TRANSACTIONS ON MANAGEMENT INFORMATION SYSTEMS |
| Capítulo | 2018 |
Coordinación de casos prácticos en asignaturas del área de conocimiento "Gestión de la Información" según modelo curricular de informática de la ACM/IEEE 2013
|
Investigación y práctica en la educación superior |
| Ponencia | 2018 |
Evaluación y mejora de pruebas de rendimiento utilizando mutación del software: un enfoque evolutivo
|
Actas de las 23rd Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2018 |
| Editorial | 2018 |
Introduction to the workshop on cross-cutting aspects of business process management
|
Lecture Notes in Business Information Processing |
| Ponencia | 2018 |
Introduction to the Workshop on Cross-cutting Aspects of Business Process Management
|
BUSINESS PROCESS MANAGEMENT WORKSHOPS (BPM 2017) |
| Ponencia | 2018 |
Metamorphic Testing 20 Years Later: A Hands-on Introduction
|
PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - COMPANION (ICSE-COMPANION |
| Artículo | 2018 |
Metamorphic testing of RESTful Web APIs
|
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING |
| Ponencia | 2018 |
Mining expressive and executable resource-aware imperative process models
|
Lecture Notes in Business Information Processing |
| Artículo | 2018 |
Mining team compositions for collaborative work in business processes
|
SOFTWARE AND SYSTEMS MODELING |
| Ponencia | 2018 |
On the relationships between decision management and performance measurement
|
ADVANCED INFORMATION SYSTEMS ENGINEERING, CAISE 2018 |
| Artículo | 2018 |
Performance metamorphic testing: A Proof of concept
|
INFORMATION AND SOFTWARE TECHNOLOGY |
| Artículo | 2018 |
Performance mutation testing: hypothesis and open questions
|
INFORMATION AND SOFTWARE TECHNOLOGY |
| Artículo | 2018 |
Predictive Monitoring of Business Processes: A Survey
|
IEEE TRANSACTIONS ON SERVICES COMPUTING |
| Ponencia | 2018 |
Search-based mutation testing to improve performance tests
|
GECCO 2018 Companion - Proceedings of the 2018 Genetic and Evolutionary Computation Conference Companion |
| Ponencia | 2018 |
SLA-Driven Governance for RESTful Systems
|
SERVICE-ORIENTED COMPUTING - ICSOC 2017 WORKSHOPS |
| Artículo | 2018 |
Spectrum-Based Fault Localization in Model Transformations
|
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY |
| Artículo | 2018 |
Spectrum-based fault localization in software product lines
|
INFORMATION AND SOFTWARE TECHNOLOGY |
| Ponencia | 2018 |
Una propuesta para especificar cambios de replicaciones de experimentos en ingeniería del software
|
Actas de las 23rd Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2018 |
| Ponencia | 2017 |
A Framework for Safety-Critical Process Management in Engineering Projects
|
DATA-DRIVEN PROCESS DISCOVERY AND ANALYSIS, SIMPDA 2015 |
| Ponencia | 2017 |
A new framework for defining realistic SLAs: An evidence-based approach
|
BUSINESS PROCESS MANAGEMENT FORUM |
| Ponencia | 2017 |
A Template-Based Approach to Describing Metamorphic Relations
|
2017 IEEE/ACM 2ND INTERNATIONAL WORKSHOP ON METAMORPHIC TESTING (MET 2017) |
| Ponencia | 2017 |
An analysis of RESTful APIs offerings in the industry
|
Lecture Notes in Computer Science |
| Ponencia | 2017 |
An approach for debugging model transformations applying spectrum-based fault localization
|
Actas de las 22nd Jornadas de Ingeniería del Software y Bases de Datos, JISBD 2017 |
| Artículo | 2017 |
Assessment of C++ object-oriented mutation operators: A selective mutation approach
|
SOFTWARE TESTING VERIFICATION & RELIABILITY |
| Ponencia | 2017 |
Automated analysis of cloud offerings for optimal service provisioning
|
Lecture Notes in Computer Science |
| Ponencia | 2017 |
Domain-Specific Languages and Model Transformations for Software Product Line
|
21ST INTERNATIONAL SYSTEMS & SOFTWARE PRODUCT LINE CONFERENCE (SPLC 2017), VOL 1 |
| Artículo | 2017 |
Edge and Cloud Pricing for the Sharing Economy
|
IEEE INTERNET COMPUTING |
| Ponencia | 2017 |
Enriching Decision Making with Data-Based Thresholds of Process-Related KPIs
|
ADVANCED INFORMATION SYSTEMS ENGINEERING (CAISE 2017) |
| Artículo | 2017 |
Evolutionary composition of QoS-aware web services: A many-objective perspective
|
EXPERT SYSTEMS WITH APPLICATIONS |
| Artículo | 2017 |
Extendiendo ABP con feedback ágil en la enseñanza de Ingeniería del Software
|
Actas de las Jornadas sobre Enseñanza Universitaria de la Informática |
| Artículo | 2017 |
FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing
|
SOFTWARE AND SYSTEMS MODELING |
| Ponencia | 2017 |
Fostering a consistent SPL service ecosystem
|
21ST INTERNATIONAL SYSTEMS & SOFTWARE PRODUCT LINE CONFERENCE (SPLC 2017), VOL 1 |
| Ponencia | 2017 |
GiGAn: Evolutionary mutation testing for C++ object-oriented systems
|
Proceedings of the ACM Symposium on Applied Computing |
| Ponencia | 2017 |
Improve performance management in flexible business processes
|
21ST INTERNATIONAL SYSTEM & SOFTWARE PRODUCT LINE CONFERENCE (SPLC 2017), VOL 2 |
| Artículo | 2017 |
Mejora de la motivación del alumnado mediante su integración en un proceso de mejora continua
|
Actas de las Jornadas sobre Enseñanza Universitaria de la Informática |
| Artículo | 2017 |
Modeling Service Level Agreements with Linked USDL Agreement
|
IEEE TRANSACTIONS ON SERVICES COMPUTING |
| Ponencia | 2017 |
Modelling and Analysing Highly-Configurable Services
|
21ST INTERNATIONAL SYSTEMS & SOFTWARE PRODUCT LINE CONFERENCE (SPLC 2017), VOL 1 |
| Ponencia | 2017 |
Performance Metamorphic Testing: Motivation and Challenges
|
2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: NEW IDEAS AND EMERGING TECHNOLOGIES RESULTS TRACK (ICSE-NIER) |
| Editorial | 2017 |
Preface
|
CEUR workshop proceedings |
| Ponencia | 2017 |
Redefining a process engine as a microservice platform
|
Lecture Notes in Business Information Processing |
| Ponencia | 2017 |
Resource utilization prediction in decision-Intensive business processes
|
CEUR workshop proceedings |
| Artículo | 2017 |
Run-time prediction of business process indicators using evolutionary decision rules
|
EXPERT SYSTEMS WITH APPLICATIONS |
| Ponencia | 2017 |
SmarTest: A Test Case Prioritization Tool for Drupal
|
21ST INTERNATIONAL SYSTEM & SOFTWARE PRODUCT LINE CONFERENCE (SPLC 2017), VOL 2 |
| Artículo | 2017 |
Specifying Compensations with WS-Agreement
|
IEEE LATIN AMERICA TRANSACTIONS |
| Artículo | 2017 |
Transforming unstructured natural language descriptions into measurable process performance indicators using Hidden Markov Models
|
INFORMATION SYSTEMS |
| Artículo | 2017 |
Variability testing in the wild: the Drupal case study
|
SOFTWARE AND SYSTEMS MODELING |
| Editorial | 2017 |
Welcome message
|
ACM International Conference Proceeding Series |
| Ponencia | 2016 |
A framework for efficiently mining the organisational perspective of business processes
|
CEUR workshop proceedings |
| Artículo | 2016 |
A framework for efficiently mining the organisational perspective of business processes
|
DECISION SUPPORT SYSTEMS |
| Artículo | 2016 |
A survey on metamorphic testing
|
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING |
| Ponencia | 2016 |
An Elasticity-aware Governance Platform for Cloud Service Delivery
|
PROCEEDINGS 2016 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING (SCC 2016) |
| Artículo | 2016 |
Automated configuration support for infrastructure migration to the cloud
|
FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE |
| Ponencia | 2016 |
Automated Resource Allocation in Business Processes with Answer Set Programming
|
BUSINESS PROCESS MANAGEMENT WORKSHOPS, (BPM 2015) |
| Ponencia | 2016 |
Configuración guiada por búsqueda de aplicaciones basadas en microservicios en la nube
|
Actas de las 21st Jornadas de Ingeniería del Software y Bases de Datos, JISBD 2016 |
| Artículo | 2016 |
Detecting flight trajectory anomalies and predicting diversions in freight transportation
|
DECISION SUPPORT SYSTEMS |
| Ponencia | 2016 |
Detecting flight trajectory anomalies and predicting diversions in freight transportation (extended abstract)
|
CEUR workshop proceedings |
| Ponencia | 2016 |
Efficient and Customisable Declarative Process Mining with SQL
|
ADVANCED INFORMATION SYSTEMS ENGINEERING (CAISE 2016) |
| Artículo | 2016 |
Enhancing the management of resource-aware business processes
|
AI COMMUNICATIONS |
| Ponencia | 2016 |
Exploring human resource management in crowdsourcing platforms
|
Lecture Notes in Business Information Processing |
| Ponencia | 2016 |
Identifying variability in process performance indicators
|
Lecture Notes in Business Information Processing |
| Artículo | 2016 |
Improving semantic Web services discovery and ranking: A lightweight, integrated approach
|
AI COMMUNICATIONS |
| Ponencia | 2016 |
Introduction to the 2nd workshop on resource management in service-oriented computing (RMSOC) 2015
|
Lecture Notes in Computer Science |
| Editorial | 2016 |
Message from the Workshop Chairs MET 2016
|
Proceedings of the 1st International Workshop on Metamorphic Testing |
| Artículo | 2016 |
MOSES: A Metaheuristic Optimization Software EcoSystem
|
AI COMMUNICATIONS |
| Artículo | 2016 |
Multi-objective test case prioritization in highly configurable systems: a case study
|
JOURNAL OF SYSTEMS AND SOFTWARE |
| Ponencia | 2016 |
Narrowing the business-IT gap in process performance measurement
|
ADVANCED INFORMATION SYSTEMS ENGINEERING (CAISE 2016) |
| Artículo | 2016 |
On the automated analysis of WS-Agreement documents: Applications to the processes of creating and monitoring agreements
|
AI COMMUNICATIONS |
| Editorial | 2016 |
Preface
|
CEUR workshop proceedings |
| Ponencia | 2016 |
Process- and Resource-Aware Information Systems
|
2016 IEEE 20TH INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE (EDOC) |
| Ponencia | 2016 |
Process-and resource-aware information systems
|
Proceedings - 2016 IEEE 20th International Enterprise Distributed Object Computing Conference, EDOC 2016 |
| Ponencia | 2016 |
Prueba de Mutación Evolutiva Aplicada a Sistemas Orientados a Objetos
|
Actas de las 21st Jornadas de Ingeniería del Software y Bases de Datos, JISBD 2016 |
| Ponencia | 2016 |
Resource allocation with dependencies in business process management systems
|
Lecture Notes in Business Information Processing |
| Artículo | 2016 |
SIP: Optimal Product Selection from Feature Models Using Many-Objective Evolutionary Optimization
|
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY |
| Ponencia | 2016 |
Towards the automation of metamorphic testing in model transformations
|
Actas de las 21st Jornadas de Ingeniería del Software y Bases de Datos, JISBD 2016 |
| Artículo | 2016 |
Una Experiencia para Mejorar la Interacción Estudiante-Profesor
|
Actas de las Jornadas sobre Enseñanza Universitaria de la Informática |
| Artículo | 2016 |
User-Centric Adaptation Analysis of Multi-Tenant Services
|
ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS |
| Artículo | 2016 |
Using templates and linguistic patterns to define process performance indicators
|
ENTERPRISE INFORMATION SYSTEMS |
| Ponencia | 2015 |
A conceptual architecture for an event-based information aggregation engine in smart logistics
|
Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI) |
| Capítulo | 2015 |
A selective mapping from orthogonal variability model to constraint satisfaction problem
|
Advances in Engineering Research |
| Capítulo | 2015 |
A semantically enabled service delivery platform: An architectural overview
|
Mobile Computing and Wireless Networks: Concepts, Methodologies, Tools, and Applications |
| Artículo | 2015 |
An assessment of search-based techniques for reverse engineering feature models
|
JOURNAL OF SYSTEMS AND SOFTWARE |
| Ponencia | 2015 |
An Efficient Nearest Neighbor Method for Protein Contact Prediction
|
HYBRID ARTIFICIAL INTELLIGENT SYSTEMS (HAIS 2015) |
| Artículo | 2015 |
Automated metamorphic testing of variability analysis tools
|
SOFTWARE TESTING VERIFICATION & RELIABILITY |
| Ponencia | 2015 |
Automated team selection and compliance checking in business processes
|
ACM International Conference Proceeding Series |
| Artículo | 2015 |
Building Transcriptional Association Networks in Cytoscape with RegNetC
|
IEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS |
| Ponencia | 2015 |
Linked USDL Agreement: Effectively Sharing Semantic Service Level Agreements on the Web
|
2015 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES (ICWS) |
| Ponencia | 2015 |
Mining Project-Oriented Business Processes
|
BUSINESS PROCESS MANAGEMENT, BPM 2015 |
| Ponencia | 2015 |
Mining the organisational perspective in agile business processes
|
Lecture Notes in Business Information Processing |
| Ponencia | 2015 |
Modelling Service Level Agreements for Business Process Outsourcing Services
|
ADVANCED INFORMATION SYSTEMS ENGINEERING, CAISE 2015 |
| Artículo | 2015 |
Programming Elasticity and Commitment in Dynamic Processes
|
IEEE INTERNET COMPUTING |
| Ponencia | 2015 |
RALph: A Graphical Notation for Resource Assignments in Business Processes
|
ADVANCED INFORMATION SYSTEMS ENGINEERING, CAISE 2015 |
| Ponencia | 2015 |
Safety-critical human-And data-centric proceb management in engineering projects
|
CEUR workshop proceedings |
| Artículo | 2015 |
Soft Computing Methods for Disulfide Connectivity Prediction
|
EVOLUTIONARY BIOINFORMATICS |
| Revisión | 2015 |
Soft computing methods for the prediction of protein tertiary structures: A survey
|
APPLIED SOFT COMPUTING |
| Artículo | 2015 |
Specification and automated design-time analysis of the business process human resource perspective
|
INFORMATION SYSTEMS |
| Ponencia | 2015 |
Towards Compensable SLAs
|
ADVANCES IN SERVICE-ORIENTED AND CLOUD COMPUTING |
| Ponencia | 2014 |
A Comparison of Test Case Prioritization Criteria for Software Product Lines
|
2014 IEEE SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST) |
| Ponencia | 2014 |
A controlled experiment to evaluate the effects of mindfulness in software engineering
|
International Symposium on Empirical Software Engineering and Measurement |
| Ponencia | 2014 |
A semantic-based platform for efficient online communication
|
CEUR workshop proceedings |
| Capítulo | 2014 |
A semantically enabled service delivery platform: An architectural overview
|
Handbook of Research on Architectural Trends in Service-Driven Computing |
| Artículo | 2014 |
An overview of Dynamic Software Product Line architectures and techniques: Observations from research and industry
|
JOURNAL OF SYSTEMS AND SOFTWARE |
| Artículo | 2014 |
Automated Analysis of Conflicts in WS-Agreement
|
IEEE TRANSACTIONS ON SERVICES COMPUTING |
| Artículo | 2014 |
Automated generation of computationally hard feature models using evolutionary algorithms
|
EXPERT SYSTEMS WITH APPLICATIONS |
| Ponencia | 2014 |
Automated variability analysis and testing of an e-commerce site. An experience report
|
ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering |
| Capítulo | 2014 |
Automated variability analysis and testing of an E-commerce site.: an experience report
|
ASE´14. Proceedings of the 29th ACM/IEEE international conference on Automated software engineering |
| Ponencia | 2014 |
Combining event processing and support vector machines for automated flight diversion predictions
|
CEUR workshop proceedings |
| Artículo | 2014 |
Comprehensive Explanation of SLA Violations at Runtime
|
IEEE TRANSACTIONS ON SERVICES COMPUTING |
| Artículo | 2014 |
Enabling customers engagement and collaboration for small and medium-sized enterprises in ubiquitous multi-channel ecosystems
|
COMPUTERS IN INDUSTRY |
| Artículo | 2014 |
Evolutionary decision rules for predicting protein contact maps
|
PATTERN ANALYSIS AND APPLICATIONS |
| Ponencia | 2014 |
EXEMPLAR: An experimental information repository for software engineering research
|
CEUR workshop proceedings |
| Ponencia | 2014 |
KPIshare: A collaborative space for BPM practitioners for full definitions and discussions on process KPIs
|
CEUR workshop proceedings |
| Ponencia | 2014 |
On using semantically-aware rules for efficient online communication
|
Lecture Notes in Computer Science |
| Capítulo | 2014 |
PPINOT: A Performance Management Solution for Process Oriented Organizations
|
VII y VIII Congreso Académico Internacional en Gobierno y Gestión del Servicio de Tecnologías de la Información: Libro de actas |
| Ponencia | 2014 |
Predictive task monitoring for business processes
|
Lecture Notes in Computer Science |
| Ponencia | 2014 |
Predictive Task Monitoring for Business Processes
|
BUSINESS PROCESS MANAGEMENT, BPM 2014 |
| Artículo | 2014 |
QoS-aware web services composition using GRASP with Path Relinking
|
EXPERT SYSTEMS WITH APPLICATIONS |
| Capítulo | 2014 |
The Drupal framework: a case study to evaluate variability testing techniques
|
The Eight International Workshop on Variability Modelling of Software-Intensive Systems |
| Ponencia | 2014 |
Towards a Formal Specification of SLAs with Compensations
|
ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2014 CONFERENCES |
| Ponencia | 2014 |
Towards a formal specification of SLAs with compensations*
|
Lecture Notes in Computer Science |
| Editorial | 2014 |
Towards a prediction engine for flight delays based on weather delay analysis
|
CEUR workshop proceedings |
| Ponencia | 2014 |
Towards process-aware cross-organizational human resource management
|
Lecture Notes in Business Information Processing |
| Ponencia | 2014 |
Towards the enhancement of business process monitoring for complex logistics chains
|
Lecture Notes in Business Information Processing |
| Ponencia | 2014 |
Una revisión de la notación PPINOT para indicadores de rendimiento mediante su aplicación a un caso real
|
JCIS 2014: X Jornadas de Ingeniería de Ciencia e Ingeniería de Servicios (2014), pp. 167-176. |
| Ponencia | 2014 |
User-Centric Adaptation of Multi-tenant Services: Preference-Based Analysis for Service Reconfiguration
|
9TH INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS (SEAMS 2014) |
| Ponencia | 2013 |
An efficient decision rule-based system for the protein residue-residue contact prediction
|
2013 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC) |
| Capítulo | 2013 |
Automated Analysis of Stateful Feature Models
|
Seminal Contributions to Information Systems Engineering: 25 Years of CAiSE |
| Capítulo | 2013 |
Automated Reasoning on Feature Models
|
Seminal Contributions to Information Systems Engineering: 25 Years of CAiSE |
| Ponencia | 2013 |
Defining and analysing resource-aware process performance indicators
|
CEUR workshop proceedings |
| Ponencia | 2013 |
Designing Business Processes with History-Aware Resource Assignments
|
BUSINESS PROCESS MANAGEMENT WORKSHOPS (BPM) |
| Ponencia | 2013 |
Enabling Scalable Multi-Channel Communication through Semantic Technologies
|
2013 IEEE/WIC/ACM INTERNATIONAL JOINT CONFERENCES ON WEB INTELLIGENCE (WI) AND INTELLIGENT AGENT TECHNOLOGIES (IAT), VOL 1 |
| Ponencia | 2013 |
Evolving the automated analysis of feature models
|
Lecture Notes in Computer Science |
| Ponencia | 2013 |
Extending WS-agreement to support automated conformity check on transport and logistics service agreements
|
SERVICE-ORIENTED COMPUTING, ICSOC 2013 |
| Capítulo | 2013 |
FaMa
|
Systems and Software Variability Management: Concepts, Tools and Experiences |
| Ponencia | 2013 |
iAgree studio: A platform to edit and validate WS-agreement documents
|
SERVICE-ORIENTED COMPUTING, ICSOC 2013 |
| Ponencia | 2013 |
Improving the efficiency of MECoMaP: A protein residue-residue contact predictor
|
Lecture Notes in Computer Science |
| Artículo | 2013 |
Integrating semantic Web services ranking mechanisms using a common preference model
|
KNOWLEDGE-BASED SYSTEMS |
| Ponencia | 2013 |
Migrating to the Cloud: A software product line based analysis
|
CLOSER 2013 - Proceedings of the 3rd International Conference on Cloud Computing and Services Science |
| Ponencia | 2013 |
Multi-user Variability Configuration: A Game Theoretic Approach
|
2013 28TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE) |
| Artículo | 2013 |
On the definition and design-time analysis of process performance indicators
|
INFORMATION SYSTEMS |
| Ponencia | 2013 |
PPINOT tool suite: A performance management solution for process-oriented organisations
|
SERVICE-ORIENTED COMPUTING, ICSOC 2013 |
| Ponencia | 2013 |
Priority-based human resource allocation in business processes
|
SERVICE-ORIENTED COMPUTING, ICSOC 2013 |
| Capítulo | 2012 |
FaMa-OVM: a tool for the automated analysis of OVMs
|
16th International Software Product Line Conference, SPLC´12 |
| Artículo | 2012 |
A bargaining-specific architecture for supporting automated service agreement negotiation systems
|
SCIENCE OF COMPUTER PROGRAMMING |
| Ponencia | 2012 |
A NSGA-II algorithm for the residue-residue contact prediction
|
Lecture Notes in Computer Science |
| Ponencia | 2012 |
Auditoría de procesos de negocio en la nube: persistencia mediante almacenes no relacionales
|
JISBD 2012: XVII Jornadas de Ingeniería del Software y Bases de Datos (2012) |
| Ponencia | 2012 |
Automated resource assignment in BPMN models using RACI matrices
|
Lecture Notes in Computer Science |
| Capítulo | 2012 |
BeTTy: Benchmarking and Testing on the Automated Analysis of Feature Models
|
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems |
| Artículo | 2012 |
Consistency maintenance for evolving feature models
|
EXPERT SYSTEMS WITH APPLICATIONS |
| Artículo | 2012 |
Contact map prediction using a large-scale ensemble of rule sets and the fusion of multiple predicted structural features
|
Bioinformatics |
| Ponencia | 2012 |
CRISTAL: Collection of resource-centric supporting tools and languages
|
CEUR workshop proceedings |
| Capítulo | 2012 |
Dealing with complexity in agent-oriented software engineering: The importance of interactions
|
Conquering Complexity |
| Ponencia | 2012 |
Defining process performance indicators by using templates and patterns
|
BUSINESS PROCESS MANAGEMENT, BPM 2012 |
| Ponencia | 2012 |
FaMa-OVM: A tool for the automated analysis of OVMs
|
ACM International Conference Proceeding Series |
| Artículo | 2012 |
Improving semantic web services discovery using SPARQL-based repository filtering
|
JOURNAL OF WEB SEMANTICS |
| Ponencia | 2012 |
Introducing a Mashup-Based Approach for Design-Time Compliance Checking in Business Processes
|
ADVANCED INFORMATION SYSTEMS ENGINEERING WORKSHOPS, CAISE 2012 |
| Artículo | 2012 |
Metaheuristic optimization frameworks: a survey and benchmarking
|
SOFT COMPUTING |
| Ponencia | 2012 |
Methodology for Green Certificates of Service Applications
|
2012 IEEE 21ST INTERNATIONAL WORKSHOP ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE) |
| Ponencia | 2012 |
Prediction of mitochondrial matrix protein structures based on feature selection and fragment assembly
|
Lecture Notes in Computer Science |
| Artículo | 2012 |
Quality-aware analysis in product line engineering with the orthogonal variability model
|
SOFTWARE QUALITY JOURNAL |
| Ponencia | 2012 |
RAL: A High-Level User-Oriented Resource Assignment Language for Business Processes
|
BUSINESS PROCESS MANAGEMENT WORKSHOPS, PT I |
| Capítulo | 2012 |
Reverse Engineering Feature Models with Evolutionary Algorithms An Exploratory Study
|
Search Based Software Engineering: 4th International Symposium, SSBSE 2012 Riva del Garda, Italy, September 28-30, 2012 Proceedings |
| Ponencia | 2012 |
Reverse engineering feature models with evolutionary algorithms: An exploratory study
|
Lecture Notes in Computer Science |
| Ponencia | 2012 |
SALMonADA: A platform for monitoring and explaining violations of WS-agreement-compliant documents
|
ICSE Workshop on Principles of Engineering Service Oriented Systems |
| Ponencia | 2012 |
Short-range interactions and decision tree-based protein contact map predictor
|
Lecture Notes in Computer Science |
| Artículo | 2012 |
Specifying business services: learning from software engineering
|
JOURNAL OF SERVICE MANAGEMENT |
| Ponencia | 2011 |
A decision tree-based method for protein contact map prediction
|
EVOLUTIONARY COMPUTATION, MACHINE LEARNING AND DATA MINING IN BIOINFORMATICS |
| Ponencia | 2011 |
A multi-objective genetic algorithm for the protein structure prediction
|
International Conference on Intelligent Systems Design and Applications |
| Ponencia | 2011 |
A nearest neighbour-based approach for viral protein structure prediction
|
EVOLUTIONARY COMPUTATION, MACHINE LEARNING AND DATA MINING IN BIOINFORMATICS |
| Ponencia | 2011 |
An evolutionary approach for protein contact map prediction
|
EVOLUTIONARY COMPUTATION, MACHINE LEARNING AND DATA MINING IN BIOINFORMATICS |
| Ponencia | 2011 |
Aprendiendo a diseñar software usando juegos de mesa de licencia libre como enunciado de prácticas
|
JENUI 2011: XVII Jornadas de Enseñanza Universitaria de la Informática (2011) |
| Ponencia | 2011 |
Automated analysis of feature models 20 years later: A literature review
|
Actas de las 16th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2011 |
| Ponencia | 2011 |
Automated diagnosis of feature model configurations
|
Actas de las 16th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2011 |
| Artículo | 2011 |
Automated metamorphic testing on the analyses of feature models
|
INFORMATION AND SOFTWARE TECHNOLOGY |
| Ponencia | 2011 |
Automatic generation of a data-centered view of business processes
|
Lecture Notes in Computer Science |
| Ponencia | 2011 |
Defining and Analysing Resource Assignments in Business Processes with RAL
|
SERVICE-ORIENTED COMPUTING |
| Ponencia | 2011 |
Evolutionary computation for the prediction of secondary protein structures
|
Proceedings of the ACM Symposium on Applied Computing |
| Capítulo | 2011 |
Evolutionary protein contact maps prediction based on amino acid properties
|
Hybrid Artificial Intelligent Systems: 6th International Conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011, Proceedings, Part II |
| Ponencia | 2011 |
Exploring Features of a Full-Coverage Integrated Solution for Business Process Compliance
|
ADVANCED INFORMATION SYSTEMS ENGINEERING WORKSHOPS |
| Artículo | 2011 |
Functional testing of feature model analysis tools: a test suite
|
IET SOFTWARE |
| Artículo | 2011 |
Interorganizational Business Modeling: an Approach for Traceability of Goals, Organizational Models and Business Processes
|
IEEE LATIN AMERICA TRANSACTIONS |
| Ponencia | 2011 |
ISA packager: A tool for SPL deployment
|
ACM International Conference Proceeding Series |
| Artículo | 2011 |
Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods
|
SOFTWARE AND SYSTEMS MODELING |
| Artículo | 2011 |
Mutation testing on an object-oriented framework: An experience report
|
INFORMATION AND SOFTWARE TECHNOLOGY |
| Ponencia | 2011 |
OPERA: una herramienta de soporte para el aprendizaje basado en proyectos
|
XVII Jornadas de Enseñanza Universitaria de la Informática: JENUI 2011 : Actas : Sevilla, 5 al 8 de julio de 2011 |
| Ponencia | 2011 |
Prediction of protein distance maps by assembling fragments according to physicochemical similarities
|
Advances in Intelligent and Soft Computing |
| Artículo | 2011 |
Protein Secondary Structures Prediction based on Evolutionary Computation
|
APPLIED COMPUTING REVIEW |
| Ponencia | 2011 |
Residue-residue contact prediction based on evolutionary computation
|
Advances in Intelligent and Soft Computing |
| Ponencia | 2011 |
WS-governance tooling: SOA governance policies analysis and authoring
|
Proceedings - 2011 IEEE International Symposium on Policies for Distributed Systems and Networks, POLICY 2011 |
| Ponencia | 2011 |
WS-governance: A policy language for SOA governance
|
SERVICE-ORIENTED COMPUTING |
| Ponencia | 2010 |
A MDD approach to streamline business modeling and environments especificaci'on interorganizational
|
CIbSE 2010 - Actas - 13th Conferencia Iberoamericana en "Software Engineering" |
| Ponencia | 2010 |
A model of user preferences for semantic services discovery and ranking
|
SEMANTIC WEB: RESEARCH AND APPLICATIONS, PT 2, PROCEEDINGS |
| Ponencia | 2010 |
Alpha helix prediction based on evolutionary computation
|
PATTERN RECOGNITION IN BIOINFORMATICS |
| Artículo | 2010 |
Automated analysis of feature models 20 years later: A literature review
|
INFORMATION SYSTEMS |
| Artículo | 2010 |
Automated diagnosis of feature model configurations
|
JOURNAL OF SYSTEMS AND SOFTWARE |
| Capítulo | 2010 |
Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach
|
Third International Conference on Software Testing, Verification, and Validation. ICST 2010. 7-9 April 2010 Paris, France |
| Artículo | 2010 |
Automatic Service Agreement Negotiators in Open Commerce Environments
|
INTERNATIONAL JOURNAL OF ELECTRONIC COMMERCE |
| Ponencia | 2010 |
Dealing with fixable and non-fixable properties in service matchmaking
|
SERVICE-ORIENTED COMPUTING: ICSOC/SERVICE WAVE 2009 WORKSHOPS |
| Ponencia | 2010 |
Debian packages repositories as software product line models. Towards automated analysis
|
CEUR workshop proceedings |
| Ponencia | 2010 |
Definición de Umbral Mínimo para la Predicción de Estructura Secundaria de Proteínas
|
XV Congreso Español sobre Tecnologías y Lógica Fuzzy ESTYLF 2010: Huelva [Recurso electrónico] |
| Ponencia | 2010 |
Defining process performance indicators: An ontological approach
|
ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2010, PT I |
| Artículo | 2010 |
Simulating a P system based efficient solution to SAT by using GPUs
|
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING |
| Ponencia | 2010 |
Using automated analysis of temporal-aware SLAs in logistics
|
SERVICE-ORIENTED COMPUTING: ICSOC/SERVICE WAVE 2009 WORKSHOPS |
| Ponencia | 2009 |
Explaining the non-compliance between templates and agreement offers in ws-agreement
|
SERVICE-ORIENTED COMPUTING - ICSOC 2009, PROCEEDINGS |
| Ponencia | 2009 |
FAST-SE: An ESB based framework for SLA trading
|
SERVICE-ORIENTED COMPUTING - ICSOC 2009, PROCEEDINGS |
| Artículo | 2009 |
Hacia el Enlace entre la Estrategia Empresarial Mediante Modelos de Valor y el Software Mediante Modelos de valor y el software de negocio: Un enfoque MDD
|
Avances en Sistemas e Informática |
| Ponencia | 2009 |
Modeling inter-business: An approximation for traceability between objectives, organizational and business process models
|
12th Iberoamerican Conference on Requirements Engineering and Software Environments, IDEAS 2009 |
| Ponencia | 2009 |
On user preferences and utility functions in selection: A semantic approach
|
SERVICE-ORIENTED COMPUTING - ICSOC 2007, WORKSHOPS |
| Ponencia | 2009 |
Temporal-awareness in SLAs: Why should we be concerned?
|
SERVICE-ORIENTED COMPUTING - ICSOC 2007, WORKSHOPS |
| Capítulo | 2008 |
A first approach to model SLAs for composite services, using WS-agreement
|
Actas de las IV Jornadas Científico-Técnicas en Servicios Web y SOA: JSEWEB 2008 : Sevilla 29 y 30 de octubre de 2008 |
| Ponencia | 2008 |
A Reference Architecture for Automated Negotiations of Service Agreements in Open and Dynamic Environments
|
ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2008 WORKSHOPS |
| Ponencia | 2008 |
A service ranker based on logic rules evaluation and constraint programming
|
CEUR workshop proceedings |
| Libro | 2008 |
Actas de las IV Jornadas Científico-Técnicas en Servicios Web y SOA: JSEWEB 2008 : Sevilla 29 y 30 de octubre de 2008
|
Actas de las IV Jornadas Científico-Técnicas en Servicios Web y SOA: JSEWEB 2008 : Sevilla 29 y 30 de octubre de 2008 |
| Ponencia | 2008 |
An initial approach to explaining SLA inconsistencies
|
SERVICE-ORIENTED COMPUTING - ICSOC 2008, PROCEEDINGS |
| Capítulo | 2008 |
Automated Diagnosis of Product-line Configuration Errors in Feature Models
|
Proceedings 12th International Software Product Line Conference. SPLC 2008. Limerick, Ireland 8-12 September 2008 |
| Artículo | 2008 |
Automated error analysis for the agilization of feature modeling
|
JOURNAL OF SYSTEMS AND SOFTWARE |
| Ponencia | 2008 |
Automated merging of feature models using graph transformations
|
Generative and Transformational Techniques in Software Engineering II |
| Ponencia | 2008 |
Enabling the Evolution of Service-Oriented Solutions Using an UML2 Profile and a Reference Petri Nets Execution Platform
|
2008 3RD INTERNATIONAL CONFERENCE ON INTERNET AND WEB APPLICATIONS AND SERVICES (ICIW 2008) |
| Ponencia | 2008 |
FAMA Framework
|
SPLC 2008: 12TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE, PROCEEDINGS |
| Capítulo | 2008 |
FAMA Framework
|
Proceedings 12th International Software Product Line Conference. SPLC 2008. Limerick, Ireland 8-12 September 2008 |
| Ponencia | 2008 |
First international workshop on analyses of software product lines (ASPL'08) www.isa.us.es/asp108
|
Proceedings 12th International Software Product Line Conference. SPLC 2008. Limerick, Ireland 8-12 September 2008 |
| Capítulo | 2008 |
First International Workshop on Analyses of Software Product Lines (ASPL�08) www.isa.us.es/aspl08
|
Proceedings 12th International Software Product Line Conference. SPLC 2008. Limerick, Ireland 8-12 September 2008 |
| Ponencia | 2008 |
From Feature Models to Business Processes
|
2008 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING, PROCEEDINGS, VOL 2 |
| Ponencia | 2008 |
QoS-Aware Semantic Service Selection: An Optimization Problem
|
IEEE CONGRESS ON SERVICES 2008, PT I, PROCEEDINGS |
| Ponencia | 2008 |
QoS-aware services composition using tabu search and hybrid genetic algorithms
|
ADIS 2008 - Apoyo a la Decision en Ingenieria del Software, Evento Realizado en el Marco de las 13th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2008 |
| Capítulo | 2008 |
Ranking semantic web services using rules evaluation and constraint programming
|
Actas de las IV Jornadas Científico-Técnicas en Servicios Web y SOA: JSEWEB 2008 : Sevilla 29 y 30 de octubre de 2008 |
| Ponencia | 2008 |
Representing Runtime Variability in Business-Driven Development Systems
|
SEVENTH INTERNATIONAL CONFERENCE ON COMPOSITION-BASED SOFTWARE SYSTEMS, PROCEEDINGS |
| Ponencia | 2008 |
Semantic discovery and selection: A QoS-aware, hybrid model
|
Proceedings of the 2008 International Conference on Semantic Web and Web Services, SWWS 2008 |
| Ponencia | 2008 |
SLAWs: Towards a conceptual architecture for SLA enforcement
|
IEEE CONGRESS ON SERVICES 2008, PT I, PROCEEDINGS |
| Ponencia | 2008 |
Towards Automated Service Trading
|
E-BUSINESS AND TELECOMMUNICATION NETWORKS |
| Ponencia | 2007 |
A ES-Agreement Extension for Specifying Temporal Properties in SLAs
|
Actas de las III Jornadas Científico-Técnicas en Servicios Web y SOA |
| Artículo | 2007 |
A top down approach for describing the acquaintace organisation of multiagent systems
|
Scalable Computing |
| Ponencia | 2007 |
An hybrid, QoS-Aware discovery of semantic web services using constraint programming
|
SERVICE-ORIENTED COMPUTING - ICSOC 2007, PROCEEDINGS |
| Capítulo | 2007 |
Automated Merging of Feature Models Using Graph Transformations
|
Generative and Transformational Techniques in Software Engineering II |
| Artículo | 2007 |
Building and implementing policies in autonomous and autonomic systems using MaCMAS
|
INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING |
| Ponencia | 2007 |
Building the core architecture of a NASA multiagent system product line
|
AGENT-ORIENTED SOFTWARE ENGINEERING VII |
| Artículo | 2007 |
Designing and managing evolving systems using a MAS product line approach
|
SCIENCE OF COMPUTER PROGRAMMING |
| Capítulo | 2007 |
FAMA: hacia el análisis automático de modelos de características
|
Actas de las XII Jornadas de Ingeniería del Software y Bases de Datos |
| Ponencia | 2007 |
Improving temporal-awareness of WS-agreement
|
SERVICE-ORIENTED COMPUTING - ICSOC 2007, PROCEEDINGS |
| Capítulo | 2007 |
MaCMAS CASE Tool Demonstration: MDD-based refinement of CollaborationBased UML Models
|
Actas de las XII Jornadas de Ingeniería del Software y Bases de Datos |
| Ponencia | 2007 |
Using formal methods and agent-oriented software engineering for modeling NASA swarm-based systems
|
2007 IEEE SWARM INTELLIGENCE SYMPOSIUM |
| Ponencia | 2006 |
A conceptual framework for automated negotiation systems
|
INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2006, PROCEEDINGS |
| Ponencia | 2006 |
A Dynamic Distribution and Assignment Simulation model for pedestrian transportation planning
|
Proceedings of the 5th International Conference on Engineering Computational Technology |
| Capítulo | 2006 |
A First Approach to Build Product Lines of Multi-organizational Web Based Systems (MOWS)
|
Innovative Internet Community Systems. 4th InternationalWorkshop, IICS 2004 Guadalajara, Mexico, June 21-23, 2004. Revised Papers |
| Ponencia | 2006 |
A model-driven architecture approach for modeling, specifying and deploying policies in autonomous and autonomic systems
|
DASC 2006: 2ND IEEE INTERNATIONAL SYMPOSIUM ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING, PROCEEDINGS |
| Ponencia | 2006 |
A software framework for automated negotiations of SLAs
|
Fifth International Workshop on Practical Applications of Agents and Multiagent Systems (IWPAAMS'06): October 19-20, 2006, E. U. Informática - Segovia (Spain), U. of Valladolid : proceedings |
| Ponencia | 2006 |
An abstract architecture for service trading
|
Fifth International Workshop on Practical Applications of Agents and Multiagent Systems (IWPAAMS'06): October 19-20, 2006, E. U. Informática - Segovia (Spain), U. of Valladolid : proceedings |
| Ponencia | 2006 |
An analysis of service trading architectures
|
Lecture Notes in Computer Science |
| Artículo | 2006 |
Analysis of service trading architectures
|
E-COMMERCE AND WEB TECHNOLOGIES, PROCEEDINGS |
| Artículo | 2006 |
Automated analysis of feature models: Challenges ahead
|
COMMUNICATIONS OF THE ACM |
| Ponencia | 2006 |
Can agent oriented software engineering be used to build MASs product lines?
|
INNOVATIVE CONCEPTS FOR AUTONOMIC AND AGENT-BASED SYSTEMS |
| Artículo | 2006 |
HACIA UN PROCESO AUTOMATIZADO DE TRADING
|
Novática |
| Ponencia | 2006 |
Isolated features detection in feature models
|
CEUR workshop proceedings |
| Artículo | 2006 |
Multi-agent system product lines: challenges and benefits
|
COMMUNICATIONS OF THE ACM |
| Ponencia | 2006 |
Towards automated service trading
|
ICE-B 2006: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON E-BUSINESS |
| Ponencia | 2006 |
Towards modeling, specifying and deploying policies in autonomous and autonomic systems using an AOSE methodology
|
THIRD IEEE INTERNATIONAL WORKSHOP ON ENGINEERING OF AUTONOMIC & AUTONOMOUS SYSTEMS (EASE 2006), PROCEEDINGS |
| Capítulo | 2006 |
Using Java CSP Solvers in the Automated Analyses of Feature Models
|
Generative and Transformational Techniques in Software Engineering. International Summer School, GTTSE 2005 Braga, Portugal, July 4-8, 2005. Revised Papers |
| Artículo | 2005 |
A FIRST APPROACH TO BUILD PRODUCT LINES OF MULTI-ORGANIZATIONAL WEB BASED SYSTEMS (MOWS)
|
Lecture Notes in Computer Science |
| Capítulo | 2005 |
Acercando estrategias docentes entre teoría y práctica en las asignaturas de Ingeniería Informática
|
La formación del profesorado universitario: programa de equipos docentes de la Universidad de Sevilla, curso 2003-2004 |
| Artículo | 2005 |
An approach to temporal-aware procurement of Web services
|
SERVICE-ORIENTED COMPUTING - ICSOC 2005, PROCEEDINGS |
| Artículo | 2005 |
Automated reasoning on feature models
|
ADVANCED INFORMATION SYSTEMS ENGINEERING, PROCEEDINGS |
| Artículo | 2005 |
Improving the automatic procurement of web services using constraint programming
|
INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS |
| 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 |
| Capítulo | 2005 |
METRICS FOR USE CASES: A SURVEY OF CURRENT PROPOSALS
|
METRICS FOR SOFTWARE CONCEPTUAL MODELS |
| Capítulo | 2005 |
Towards a framework for a service-oriented automated negotiation
|
4th International workshop on practical applications of agents and multiagent systems: IWPAAMS 2005 |
| Artículo | 2005 |
Towards clarifying the importance of interactions in Agent-Oriented Software Engineering
|
Inteligencia artificial: Revista Iberoamericana de Inteligencia Artificial |
| Capítulo | 2005 |
Towards multi-agent trading of web services
|
4th International workshop on practical applications of agents and multiagent systems: IWPAAMS 2005 |
| Capítulo | 2005 |
Una experiencia en la mejora del proceso de aprendizaje centrado en la formación del profesorado
|
La formación del profesorado universitario: programa de equipos docentes de la Universidad de Sevilla, curso 2003-2004 |
| Ponencia | 2005 |
Using constraint programming to reason on feature models
|
17th International Conference on Software Engineering and Knowledge Engineering, SEKE 2005 |
| 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 |
Applying system families concepts to requirements engineering process definition
|
SOFTWARE PRODUCT-FAMILY ENGINEERING |
| Editorial | 2004 |
Breakthroughs and challenges in software engineering - J.UCS Special Issue
|
JOURNAL OF UNIVERSAL COMPUTER SCIENCE |
| Artículo | 2004 |
Editorial: Web and database technologies in business solutions
|
International Journal of Web Engineering and Technology |
| Artículo | 2004 |
Empirical evaluation and review of a metrics-based approach for use case verification
|
JOURNAL OF RESEARCH AND PRACTICE IN INFORMATION TECHNOLOGY |
| Artículo | 2004 |
Empirically driven use case metamodel evolution
|
UML 2004 - THE UNIFIED MODELING LANGUAGE: MODELING LANGUAGES AND APPLICATIONS, PROCEEDINGS |
| 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 |
Modelling Interaction Organisation in Large Multi-Agent Organizations
|
3rd International workshop on practical applications of agents and multiagent systems : IWPAAMS 2004 |
| Capítulo | 2004 |
Towards a Coordination Specification of Complex Multi-Agent System
|
NTIT : New trends on information technology |
| Artículo | 2004 |
Una forma de aproximar el error en el método EFG
|
REVISTA INTERNACIONAL DE METODOS NUMERICOS PARA CALCULO Y DISENO EN INGENIERIA |
| 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 | 2003 |
A quality-aware approach to web services procurement
|
TECHNOLOGIES FOR E-SERVICES, PROCEEDINGS |
| Ponencia | 2003 |
A top down approach for MAS protocol descriptions
|
Proceedings of the ACM Symposium on Applied Computing |
| 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 |
Applying requirements engineering
|
Applying requirements engineering |
| Artículo | 2003 |
Aspect-oriented interaction in multi-organisational web-based systems
|
COMPUTER NETWORKS |
| Artículo | 2003 |
Automating the procurement of web services
|
Service-Oriented Computing - ICSOC 2003 |
| Artículo | 2003 |
Coping with web knowledge
|
ADVANCES IN WEB INTELLIGENCE |
| Capítulo | 2003 |
Elaboración de Documentos de Requisitos en Asignaturas de Ingeniería del Software
|
IX Jornadas de Enseñanza Universitaria de la Informática: Cádiz, del 9 al 11 de julio de 2003 |
| Artículo | 2003 |
FOM: A framework for metaheuristic optimization
|
COMPUTATIONAL SCIENCE - ICCS 2003, PT IV, PROCEEDINGS |
| Artículo | 2003 |
Programación de dispositivos hardware: USB
|
Sólo Programadores |
| Ponencia | 2003 |
Towards a methodology for describing coordination in multi-agent system coordination
|
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 | 2003 |
Towards interaction protocol operations for large multi-agent systems
|
FORMAL APPROACHES TO AGENT-BASED SYSTEMS |
| 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 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 |
| Ponencia | 2002 |
An automated approach to quality aware web applications
|
ENTERPRISE INFORMATION SYSTEMS IV |
| Ponencia | 2002 |
An automated approach to quality-aware web applications
|
ICEIS 2002 - Proceedings of the 4th International Conference on Enterprise Information Systems |
| Capítulo | 2002 |
Assisting the Requirements Verifier with XML Technology
|
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) |
| Capítulo | 2002 |
JAMES: Un Entorno Modular de Ayuda a la Enseñanza
|
Simposio de Informática y Telecomunicaciones |
| Capítulo | 2002 |
Los servicios web en el mundo de los mercados electrónicos
|
Avances en comercio electrónico |
| Artículo | 2002 |
Multi-party coordination in the context of MOWS
|
PROGRAMMING AND COMPUTER SOFTWARE |
| Artículo | 2002 |
Programación de dispositivos Hardware (I): Puerto serie
|
Sólo Programadores |
| Artículo | 2002 |
Programación de dispositivos Hardware: PCI (y II)
|
Sólo Programadores |
| Capítulo | 2002 |
Quality of Service Variability in Systems Families Based on Web Services (SFWS)
|
Simposio de Informática y Telecomunicaciones |
| Artículo | 2002 |
Repairing syntax errors in LR parsers
|
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS |
| Libro | 2002 |
Simposio de Informática y Telecomunicaciones
|
Simposio de Informática y Telecomunicaciones |
| Ponencia | 2002 |
Supporting requirements verification using XSLT
|
IEEE JOINT INTERNATIONAL CONFERENCE ON REQUIREMENTS ENGINEERING, PROCEEDINGS |
| Artículo | 2002 |
VERIFYING SOFTWARE REQUIREMENTS WITH XSLT
|
Software Engineering Notes |
| 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 |
DIRECTPLAY 8 (I)
|
Sólo Programadores |
| Artículo | 2001 |
DIRECTPLAY 8 (II)
|
Sólo Programadores |
| 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) |
| Artículo | 2001 |
Programación en ensamblador de 32 bits (III)
|
Sólo Programadores |
| Artículo | 2001 |
Programación en ensamblador de 32 bits (IV)
|
Sólo Programadores |
| Ponencia | 2000 |
Implementación automática de fragmentos arquitectónicos en el contexto del lenguaje ALFA
|
Libro de actas: Simposio Español de Informática Distribuida, Ourense 25-27 de septiembre de 2000 |
| 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 |
| Artículo | 2000 |
INGENIERÍA DE REQUISITOS Y TECNOLOGÍA DE OBJETOS.
|
Novática |
| Artículo | 2000 |
Programación en ensamblador de 32 bits (I)
|
Sólo Programadores |
| Artículo | 2000 |
Programación en ensamblador de 32 bits (II)
|
Sólo Programadores |
| Capítulo | 2000 |
Propuestas de Reutilización de Requisitos
|
ACTAS DE LAS V JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS: JISBD 2000 |
| Ponencia | 2000 |
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: JENUI 2000 : Libro de Comunicaciones |
| 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 |
| 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 |
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. |
| 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. |
| 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. |
| Artículo | 1999 |
Una propuesta para elaborar el catálogo de requisitos en Métrica V2.1
|
Novática |
| 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 |
| Capítulo | 1998 |
Comunicación y sincronización de procesos en sistemas distribuidos y reactivos mediante el uso de restricciones
|
Innovaciones en informática electrónica y automática |
| 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] |
| 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 |
| 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 |
| Artículo | 1995 |
Acceso al medio para tráficos BISND sobre redes con topología en doble bus
|
Informatica y Automatica |
