Author profile: Ruiz Cortés, Antonio
Institutional data
Name | Ruiz Cortés, Antonio |
Department | Lenguajes y Sistemas Informáticos |
Knowledge area | Lenguajes y Sistemas Informáticos |
Professional category | Catedrático de Universidad |
Request | |
![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Statistics
-
No. publications
336
-
No. visits
33402
-
No. downloads
60135
Publications |
---|
Article |
Article
![]() An empirical study to evaluate the impact of mindfulness on helpdesk employees
(ScienceDirect, 2023)
Purpose: Mindfulness is a meditation technique whose main goal involves maintaining a calm mind and training attention by ... |
Master's Final Project
![]() Análisis automático de obligaciones y derechos en acuerdos de cliente
(2023)
Los acuerdos de clientes están formados por un conjunto de documentos legales que recogen los términos y condiciones ... |
Master's Final Project
![]() Desarrollo y operación de un SaaS en función del pricing
(2023)
En los últimos años, ha aumentado el uso de metodologías ágiles sobre las metodologías en cascadas o tradicionales, ... |
Article
![]() Perses: A framework for the continuous evaluation of the QoS of distributed mobile applications
(ScienceDirect, 2022)
The increasing capabilities of mobile devices have led to the emergence of new paradigms exploiting them. These paradigms ... |
PhD Thesis
![]() Automated Test Case Generation for RESTful Web APIs: Towards a Testing as a Service Model
(2022)
Web Application Programming Interfaces (APIs) allow software systems to interact with each other over the network. Web ... |
Article
![]() SLA‑aware operational efciency in AI‑enabled service chains: challenges ahead
(Springer, 2022)
Service providers compose services in service chains that require deep integration of core operational information systems ... |
Article
![]() SLA-aware operational efficiency in AI-enabled service chains: challenges ahead
(Springer, 2022)
Service providers compose services in service chains that require deep integra tion of core operational information systems ... |
Article
![]() ARTE: Automated Generation of Realistic Test Inputs for Web APIs
(IEEE Computer Society, 2022)
Automated test case generation for web APIs is a thriving research topic, where test cases are frequently derived from the ... |
Article
![]() Effects of Mindfulness on Conceptual Modeling Performance: a Series of Experiments
(IEEE Computer Society, 2022)
Context. Mindfulness is a meditation technique whose main goal is keeping the mind calm and educating attention by focusing ... |
Presentation
![]() Updating Prediction Models for Predictive Process Monitoring
(Springer, 2022)
Predictive monitoring is a key activity in some Process Aware Information Systems (PAIS) such as information systems ... |
Presentation
![]() Automated Generation of Metamorphic Relations for Query-Based Systems
(IEEE Computer Society, 2022)
Searching and displaying data based on user queries is a pervasive feature of most software applications such as information ... |
PhD Thesis
![]() SLA-Driven Governance of RESTful Systems
(2021)
The Software as a Service (SaaS) paradigm has become entrenched in the industry as a deployment model, bringing flexibility ... |
Presentation
![]() Especificación y Análisis Automático de Dependencias Inter-Parámetro en APIs Web
(Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES), 2021)
Los servicios web suelen imponer dependencias entre parámetros (también llamadas dependencias inter-parámetro) que restringen ... |
Presentation
![]() Perses: Un framework para evaluar la Calidad de Servicio en aplicaciones móviles distribuidas
(Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES), 2021)
Las crecientes capacidades de los dispositivos finales han llevado al despliegue masivo de aplicaciones móviles distribuidas. ... |
Chapter of Book
![]() Inter-Parameter Dependencies in Real-World Web APIs: The IDEA Dataset
(Auerbach Publications, 2021)
Context: Web services often impose constraints that restrict the way in which two or more input parameters can be combined ... |
Chapter of Book
![]() A Family of Experiments to Evaluate the Effects of Mindfulness on Software Engineering Students: The MetaMind Dataset
(Auerbach Publications, 2021)
Context: Software Engineering students are often excellent developers although they may occasionally encounter difficulties ... |
Article
![]() Automated Validation of Compensable SLAs
(IEEE Computer Society, 2021)
A Service Level Agreement (SLA) regulates the provisioning of a service by defining a set of guarantees. Each guarantee sets ... |
Presentation
![]() Identificación Automática de Relaciones Metamórficas en Sistemas de Búsqueda
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2021)
Proveer al usuario con opciones de búsqueda avanzada que faciliten el acceso a los datos que busca es una característica ... |
Presentation
![]() Bluejay: A Cross-Tooling Audit Framework For Agile Software Teams
(IEEE Computer Society, 2021)
Agile software teams are expected to follow a number of specific Team Practices (TPs) during each iteration, such as ... |
Presentation
![]() An Elasticity Framework for Smart Contracts
(IEEE Computer Society, 2021)
Smart contracts provide computation facilities to blockchains, enabling many application scenarios where au tomatic analysis ... |
Presentation
![]() RESTest: automated black-box testing of RESTful web APIs
(Association for Computing Machinery (ACM), 2021)
Testing RESTful APIs thoroughly is critical due to their key role in software integration. Existing tools for the automated ... |
Presentation
![]() Inferencia Automática de Dependencias Inter-Parámetro en APIs REST
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2021)
La generación automática de casos de prueba para APIs REST es un tema de investigación muy activo. La mayoría de técnicas ... |
Article
![]() Specification and Automated Analysis of Inter-Parameter Dependencies in Web APIs
(IEEE Computer Society, 2021)
Web services often impose inter-parameter dependencies that restrict the way in which two or more input parameters can be ... |
Presentation
![]() Productivity Challenges in Digital Transformation and its Implications for Workstream Collaboration Tools.
(University of Hawai'i, 2021)
Digital transformation has brought an unprecedented pace of change and a huge amount of information available for businesses. ... |
Presentation
![]() Deep Learning-Based Prediction of Test Input Validity for RESTful APIs
(2021)
Automated test case generation for RESTful web APIs is a thriving research topic due to their key role in software integration. ... |
Presentation
![]() Design Patterns for Board-Based Collaborative Work Management Tools
(Springer, 2021)
Board-based software tools for managing collaborative work (e.g. Trello or Microsoft Planner) are highly configurable ... |
Presentation
![]() Virtual environment for evaluating the QoS of distributed mobile applications
(IEEE Computer Society, 2021)
The increasing capabilities of end devices has led to a wider distribution of the computation and the massive deployment ... |
Article
![]() Modeling Variability in the Performance Perspective of Business Processes
(IEEE Computer Society, 2021)
The modeling and management of business processes often leads to the definition of several variants of the same process. ... |
Presentation
![]() Quality in use evaluation of a GraphQL implementation
(Springer, 2021)
The Software development trend uses service-oriented soft ware architecture (SOA), which provides efficiency, agility, and ... |
Article
![]() A Flexible Billing Life Cycle for Cloud Services Using Augmented Customer Agreements
(IEEE Computer Society, 2021)
Cloud computing constant evolution requires dynamic adjustments to service pricing and billing terms, considering provider ... |
Presentation
![]() Artifact: virtual environment for evaluating the QoS of distributed mobile applications
(IEEE Computer Society, 2021)
|
Presentation
![]() Empirical strategies in software engineering research: a literature survey
(IEEE Computer Society, 2021)
Context: The Software Engineering (SE) research continues to gain strength and interest for researchers considering the ... |
Chapter of Book
![]() Evaluating Testing Techniques in Highly-Configurable Systems: The Drupal Dataset
(Auerbach Publications, 2021)
Context: Software applications exposing a high ability to be extended, changed or configured are usually referred to as ... |
Presentation
![]() Black-Box and White-Box Test Case Generation for RESTful APIs: Enemies or Allies?
(IEEE Computer Society, 2021)
Automated test case generation for RESTful APIs is a thriving research topic due to their critical role in software integration. ... |
Article
![]() Elastic Smart Contracts in Blockchains
(IEEE Computer Society, 2021)
In this paper, we deal with questions related to blockchains in complex Internet of Things (IoT)-based ecosystems. Such ... |
Article
![]() Early Evaluation of Mobile Applications’ Resource Consumption and Operating Costs
(IEEE Computer Society, 2020)
The explosive growth of the mobile application market in recent years has led to a large concomitant mobile software ... |
Article
![]() Context-Aware Process Performance Indicator Prediction
(IEEE Computer Society, 2020)
It is well-known that context impacts running instances of a process. Thus, defining and using contextual information may ... |
Article
![]() A Mashup-based Framework for Business Process Compliance Checking
(IEEE Computer Society, 2020)
Business process compliance ensures that the business processes of an organisation are designed and executed according to ... |
Presentation
![]() RESTest: Black-Box Constraint-Based Testing of RESTful Web APIs
(Springer, 2020)
Automated testing approaches for RESTful web APIs typi cally follow a black-box strategy, where test cases are derived ... |
Presentation
![]() Automating SLA-Driven API Development with SLA4OAI
(Springer, 2019)
The OpenAPI Specification (OAS) is the de facto standard to describe RESTful APIs from a functional perspective. OAS has ... |
Presentation
![]() The role of limitations and SLAs in the API industry
(ACM Digital Library, 2019)
As software architecture design is evolving to a microservice paradigm, RESTful APIs are being established as the preferred ... |
Presentation
![]() Governify for APIs: SLA-Driven Ecosystem for API Governance
(ACM Digital Library, 2019)
As software architecture design is evolving to a microservice paradigm, RESTful APIs are being established as the preferred ... |
Presentation
![]() Eagle: A Team Practices Audit Framework for Agile Software Development
(ACM Digital Library, 2019)
Agile/XP (Extreme Programming) software teams are expected to follow a number of specific practices in each iteration, ... |
Article
![]() Measuring Performance in Knowledge Intensive Processes
(ACM Digital Library, 2019)
Knowledge-Intensive Processes (KIPs) are processes whose execution is heavily dependent on knowledge workers performing ... |
Presentation
![]() Towards the Definition of Test Coverage Criteria for RESTful Web APIs
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2019)
Web APIs following the REST architectural style (so-called RESTful Web APIs) have become the de-facto standard for ... |
Presentation
![]() A Service Level Agreement Driven Framework to Customise Cloud Service Billing
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2019)
Cloud service providers offer to their customers a variety of pricing policies, which range from the simple, yet widely ... |
Presentation
![]() Metamorphic Relation Patterns for Query-Based Systems
(IEEE Computer Society, 2019)
Searching and displaying data based on user queries is a key feature of most software applications such as information ... |
Presentation
![]() A Catalogue of Inter-Parameter Dependencies in RESTful Web APIs
(Springer, 2019)
Web services often impose dependency constraints that re strict the way in which two or more input parameters can be ... |
Presentation
![]() Test coverage criteria for RESTful web APIs
(Association for Computing Machinery (ACM), 2019)
Web APIs following the REST architectural style (so-called RESTful web APIs) have become the de-facto standard for software ... |
Presentation
![]() Reparación de pruebas de interfaz de usuario en Android como un problema de búsqueda
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2019)
Las pruebas de interfaz de usuario son una técnica muy popular gracias a su capacidad para validar el comportamiento de ... |
Presentation
![]() Elastic Smart Contracts across Multiple Blockchains
(University of Southern California, 2019)
In this paper, we deal with questions related to blockchains in complex Internet of Things (IoT)-based ecosystems. Such ... |
Presentation
![]() Towards an Automated Management of Well-Being Goals in Nursing Homes
(Springer, 2019)
Nursing home culture change movement advocates for care that is less hospital-like, and more patient-centered. Despite ... |
Article
![]() Replication of Studies in Empirical Software Engineering: A Systematic Mapping Study, From 2013 to 2018
(IEEE Computer Society, 2019)
Context: In any discipline, replications of empirical studies are necessary to consolidate the acquired knowledge. In ... |
Presentation
![]() ELeCTRA: Induced Usage Limitations Calculation in RESTful APIs
(Springer, 2018)
As software architecture design is evolving to microservice paradigms, RESTful APIs become the building blocks of applications. ... |
Presentation
![]() Fostering SLA-Driven API Specifications
(Biblioteca Digital Sistedes, 2018)
Software architecture tendencies are shifting to a microservice paradigm. In this context, RESTful APIs are being established ... |
PhD Thesis
![]() SLA management of non-computational services.
(2018)
El incremento en el uso de arquitecturas orientadas a servicios en los últimos 15 años ha propiciado la propuesta de ... |
Presentation
![]() On the Relationships between Decision Management and Performance Measurement
(Springer, 2018)
Decision management is of utmost importance for the achievement of strategic and operational goals in any organisational ... |
Article
![]() Automated analysis of feature models: Quo vadis?
(Springer, 2018)
Feature models have been used since the 90's to describe software product lines as a way of reusing common parts in a ... |
Article
![]() Spectrum-Based Fault Localization in Model Transformations
(ACM, 2018)
Model transformations play a cornerstone role in Model-Driven Engineering (MDE), as they provide the essential mechanisms ... |
Article
![]() A template-based approach for responsibility management in executable business processes
(Taylor and Francis, 2018)
Process-oriented organisations need to manage the different types of responsibilities their employees may have w.r.t. the ... |
Article
![]() Performance Metamorphic Testing: A Proof of Concept
(Elsevier, 2018)
Context. Performance testing is a challenging task mainly due to the lack of test oracles, i.e. mechanisms to decide whether ... |
Article
![]() Automated inference of likely metamorphic relations for model transformations
(Elsevier, 2018)
Model transformations play a cornerstone role in Model-Driven Engineering (MDE) as they provide the essential mechanisms ... |
Article
![]() An Experimental Replication on the Effect of the Practice of Mindfulness in Conceptual Modeling Performance
(Elsevier, 2018)
Context: Mindfulness is a meditation technique aimed to increase clearness of mind and awareness. In the 2013–2014 ... |
Article
![]() Predictive Monitoring of Business Processes: A Survey
(IEEE Computer Society, 2018)
Nowadays, process mining is becoming a growing area of interest in business process management (BPM). Process mining ... |
Presentation
![]() An Analysis of RESTful APIs Offerings in the Industry
(Springer, 2017)
As distribution models of information systems are moving to XaaS paradigms, microservices architectures are rapidly emerging, ... |
Presentation
![]() Towards SLA modeling for RESTful APIs
(SISTEDES : Sociedad de Ingeniería del Software y Tecnologías de Desarrollo de Software,, 2017)
The term of API Economy is becoming increasingly used to describe the change of vision in how APIs can add value to the ... |
Article
![]() Edge and Cloud Pricing for the Sharing Economy
(IEEE Computer Society, 2017)
As technology resonates in all layers of society, the impulse of shifting toward new spaces for a cooperative economy can ... |
Presentation
![]() A Template–Based Approach to Describing Metamorphic Relations
(IEEE Computer Society, 2017)
Metamorphic testing enables the generation of test cases in the absence of an oracle by exploiting relations among different ... |
Presentation
![]() Performance Metamorphic Testing: Motivation and Challenges
(ACM Digital Library, 2017)
Performance testing is a challenging task mainly due to the lack of test oracles, that is, mechanisms to decide whether the ... |
Presentation
![]() Automated Analysis of Cloud Offerings for Optimal Service Provisioning
(Springer, 2017)
Cloud computing paradigm has brought an overwhelming variety of cloud services from different providers, each one offering ... |
Article
![]() Evolutionary composition of QoS-aware web services: a many-objective perspective
(Elsevier, 2017)
Web service based applications often invoke services provided by third-parties in their workflow. The Quality of Service ... |
Article
![]() Metamorphic Testing of RESTful Web APIs
(IEEE Computer Society, 2017)
Web Application Programming Interfaces (APIs) allow systems to interact with each other over the network. Modern Web APIs ... |
Presentation
![]() Extendiendo ABP con feedback ágil en la enseñanza de Ingeniería del Software
(AENUI: Asociación de Enseñantes Universitarios de Informática, 2017)
El Aprendizaje Basado en Proyectos (ABP) ha sido aplicado con éxito en diversas áreas de la docencia de la informática en ... |
Presentation
![]() Enriching Decision Making with Data-Based Thresholds of Process-Related KPIs
(Springer, 2017)
The continuous performance improvement of business processes usually involves the definition of a set of process performance ... |
Report
![]() Metamorphic Relation Template v1.0 : Technical Report ISA-17-TR-01
(2017)
Metamorphic testing enables the generation of test cases in the absence of an oracle by exploiting relations among ... |
Presentation
![]() Devising an SLA-Aware Methodology to Improve Process Performance
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2017)
Aiming to be as competitive as possible, organisations are always pursuing to improve their business processes applying ... |
Presentation
![]() An Approach for Debugging Model Transformations Applying Spectrum-Based Fault Localization
(Universidad de la Laguna, 2017)
Model transformations play a cornerstone role in Model-Driven Engineering as they provide the essential mechanisms for ... |
Article
![]() Run-time prediction of business process indicators using evolutionary decision rules
(Elsevier, 2017)
Predictive monitoring of business processes is a challenging topic of process mining which is concerned with the prediction ... |
Presentation
![]() On the feasibility of measuring performance using PPINOT in CMMN
(SISTEDES : Sociedad de Ingeniería del Software y Tecnologías de Desarrollo de Software,, 2017)
Monitoring and measuring the performance of business pro- cesses are valuable tasks that facilitate the identi cation of ... |
Article
![]() Specifying Compensations with WS-Agreement
(IEEE Computer Society, 2017)
During the last years the use of service level agreements (SLA) is rising uncontrollably to describe the rights and ... |
Article
![]() Variability testing in the wild: the Drupal case study
(Springer, 2017)
Variability testing techniques search for effective and manageable test suites that lead to the rapid detection of faults ... |
Article
![]() VISUAL PPINOT: A Graphical Notation for Process Performance Indicators
(Springer, 2017)
Process performance indicators (PPIs) allow the quantitative evaluation of business processes, providing essential information ... |
Presentation
![]() SLA-driven governance for RESTful systems
(Springer, 2017)
Sofware distribution models are moving to SaaS paradigms where customers no longer need to buy a perpetual license. In ... |
Presentation
![]() A New Framework for Defining Realistic SLAs: An Evidence-Based Approach
(Springer, 2017)
In a changing and competitive business world, business processes are at the heart of modern organizations. In some cases, ... |
PhD Thesis
![]() Test case prioritization in highly-configurable systems
(2016)
Highly-configurable software systems (HCSs) provide a common core functionality and a set of optional features, where a ... |
Article
![]() A Survey on Metamorphic Testing
(2016)
A test oracle determines whether a test execution reveals a fault, often by comparing the observed program output to the ... |
Presentation
![]() Identifying Variability in Process Performance Indicators
(Springer, 2016)
The performance perspective of business processes is concerned with the definition of performance requirements usually ... |
Presentation
![]() Probando sistemas altamente configurables mediante análisis automático de modelos de características: el caso de Android
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2016)
|
Presentation
![]() Defeasible Argumentation of Software Architectures
(IEEE Computer Society, 2016)
Defeasible argumentation is typical of legal and scientific reasoning. A defeasible argument is one in which the conclusion ... |
Presentation
![]() Defining PPIs for Process Variants based on Change Patterns
(SISTEDES : Sociedad de Ingeniería del Software y Tecnologías de Desarrollo de Software,, 2016)
Business Process (BP) families are made up of BP variants that share commonalities but also show differences to accommodate ... |
Article
![]() Modeling Service Level Agreements with Linked USDL Agreement
(IEEE Computer Society, 2016)
Nowadays, service trading over the Web is gaining momentum. In this highly dynamic scenario, both providers and consumers ... |
Presentation
![]() Narrowing the Business-IT Gap in Process Performance Measurement
(Springer, 2016)
To determine whether strategic goals are met, organizations must monitor how their business processes perform. Process ... |
Presentation
![]() Automatic Generation of Purchasing Plans for Cloud Services
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2016)
The myriad of cloud service providers, as well as their overwhelming variety of configuration and purchasing options, ... |
Presentation
![]() Configuración guiada por búsqueda de aplicaciones basadas en micro-servicios
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2016)
Organizaciones como Netflix, Google o Amazon hacen uso de arquitecturas basadas en micro-servicios, lo que ha disparado ... |
Presentation
![]() Redefining a Process Engine as a Microservice Platform
(Springer, 2016)
In recent years, microservice architectures have emerged as an agile approach for scalable web applications on cloud ... |
Article
![]() Multi-objective test case prioritization in highly configurable systems: A case study
(Elsevier, 2016)
Test case prioritization schedules test cases for execution in an order that attempts to accelerate the detection of faults. ... |
Report
![]() Metamorphic Testing: A Literature Review - Version 1.3 (Technical Report ISA-16-TR-02)
(2016)
A test oracle determines whether a test execution reveals a fault, often by comparing the observed program output to ... |
Presentation
![]() An Elasticity-aware Governance Platform for Cloud Service Delivery
(IEEE Computer Society, 2016)
In cloud service provisioning scenarios with a changing demand from consumers, it is appealing for cloud providers to ... |
Presentation
![]() Supporting Compensations with WS-greement
(Universidad de Salamanca, 2016)
During the last years the use of service level agreements (SLA) is rising uncontrollably to describe the rights and ... |
Article
![]() User-centric Adaptation Analysis of Multi-tenant Services
(Association for Computing Machinery (ACM), 2016)
Multi-tenancy is a key pillar of cloud services. It allows different users to share computing and virtual resources ... |
Presentation
![]() Towards the Automation of Metamorphic Testing in Model Transformations
(Universidad de Salamanca, 2016)
Model transformations are the cornerstone of Model-Driven Engineering, and provide the essential mechanisms for manipulating ... |
Presentation
![]() Towards a general architecture for predictive monitoring of business processes
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2016)
Process mining allows the extraction of useful information from event logs and historical data of business processes. This ... |
Article
![]() Automated configuration support for infrastructure migration to the cloud
(Elsevier, 2016)
With an increasing number of cloud computing offerings in the market, migrating an existing computational infrastructure ... |
Presentation
![]() Towards SLA-Driven API Gateways
(2015)
As APIs are becoming popular to build Service-Based Ap- plications (SBA), API Gateways are being increasingly used to ... |
PhD Thesis
![]() Automating the support of highly-configurable services
(2015)
Las crecientes capacidades de configuración de los servicios, especialmente en el cloud, han dado lugar a los así llamados ... |
Presentation
![]() RALph: A Graphical Notation for Resource Assignments in Business Processes
(2015)
The business process (BP) resource perspective deals with the management of human as well as non-human resources throughout ... |
Presentation
![]() Automated team selection and compliance checking in business processes
(ACM Digital Library, 2015)
Plenty of activities in many business contexts must be performed collaboratively, e.g., in a hospital or when organising a ... |
Presentation
![]() Linked USDL Agreement: Effectively Sharing Semantic Service Level Agreements on the Web
(IEEE Computer Society, 2015)
As the use of services available on the Web is becoming mainstream, contracts and legal aspects of the relationship between ... |
Article
![]() Programming Elasticity and Commitment in Dynamic Processes
(IEEE Computer Society, 2015)
In the past, elasticity and commitment in business processes were underexplored. But as businesses increasingly exploit ... |
Presentation
![]() Towards a Comprehensive Purchasing Model for Cloud Services
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2015)
The Cloud Service Market has evolved into a complex landscape that challenges the decision making of users as they develop ... |
Article
![]() Specification and Automated Design-Time Analysis of the Business Process Human Resource Perspective
(Elsevier, 2015)
The human resource perspective of a business process is concerned with the relation between the activities of a process ... |
Presentation
![]() Towards Assessing Open Source Communities' Health using SOC Concepts
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2015)
Quality of an open source software ecosystem (OSS ecosystem) is key for different ecosystem actors such as contributors ... |
Presentation
![]() Towards Defining Data-Based Thresholds for Process-Related KPIs
(Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES), 2015)
The definition of process-related key performance indica tors (KPIs) is a key part of performance measurement and one of ... |
Article
![]() FLAME: a Formal Framework for the Automated Analysis of Software Product Lines Validated by Automated Specification Testing
(2015)
In a literature review on the last 20 years of automated analysis of feature models, the formalization of analysis operations ... |
Presentation
![]() Reduciendo la complejidad gráfica de indicadores de procesos de negocio usando abstracción
(SISTEDES : Sociedad de Ingeniería del Software y Tecnologías de Desarrollo de Software,, 2015)
La representación de indicadores de rendimiento sobre los procesos de negocio facilita la comprensión y de finición en el ... |
Presentation
![]() On the Calculation of Process Performance Indicators
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2015)
Performance calculation is a key factor to match corporate goals between different partners in process execution. However, ... |
Presentation
![]() Modelling Service Level Agreements for Business Process Outsourcing Services
(2015)
Many proposals to model service level agreements (SLAs) have been elaborated in order to automate different stages of the ... |
Article
![]() Hacia un análisis centrado en el cliente de la disponibilidad en IaaS
(Asociación de Técnicos de Informática (ATI), 2015)
La disponibilidad es una propiedad presente en los Acuerdos de Nivel de Servicios (ANSs) de la mayoría de servicios de ... |
Article
![]() Automated metamorphic testing of variability analysis tools
(Wiley, 2015)
Variability determines the capability of software applications to be configured and customized. A common need during the ... |
Article
![]() Using Templates and Linguistic Patterns to Define Process Performance Indicators
(Taylor & Francis, 2014)
Process performance management (PPM) aims at measuring, monitoring and analysing the performance of business processes ... |
Article
![]() Qos-Aware Web Services Composition Using Grasp with Path Relinking
(Elsevier, 2014)
In service oriented scenarios, applications are created by composing atomic services and exposing the resulting added value ... |
Presentation
![]() Configurable Feature Models
(2014)
Feature models represent all the products that can be built under a variability-intensive system such as a software product ... |
Presentation
![]() Towards Process-Aware Cross-Organizational Human Resource Management
(2014)
Finding human resources with the required set of skills, experience, and availability to execute an activity at a specific ... |
Article
![]() An Overview of Dynamic Software Product Line Architectures and Techniques: Observations from Research and Industry
(Elsevier, 2014)
Over the last two decades, software product lines have been used successfully in industry for buildingfamilies of systems ... |
Presentation
![]() User-Centric Adaptation of Multi-Tenant Services: Preference-Based Analysis for Service Reconfiguration
(2014)
Multi-tenancy is a key pillar of cloud services. It allows different tenants to share computing resources transparently ... |
Presentation
![]() Towards Compensable SLAs
(2014)
In Cooperative Information Systems, service level agreements (SLA) can be used to describe the rights and obligations of ... |
Presentation
![]() Towards the user-centric analysis of the availability in IaaS
(Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES), 2014)
Availability is a key property in computational services and, therefore, is guaranteed by Service Level Agreements (SLAs) ... |
Presentation
![]() Automated Analysis of Diverse Variability Models with Tool Support
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2014)
Over the past twenty years, there have been many contributions in the area of automated analysis of variability models. ... |
Presentation
![]() A Comparison of Test Case Prioritization Criteria for Software Product Lines
(2014)
Software Product Line (SPL) testing is challenging due to the potentially huge number of derivable products. To alleviate ... |
Presentation
![]() Towards a Formal Specification of SLAs with Compensations
(2014)
In Cooperative Information Systems, service level agreements (SLA) can be used to describe the rights and obligations of ... |
Presentation |
Presentation
![]() KPIshare: A collaborative space for BPM practitioners for full definitions and discussions on process KPIs
(2014)
The definition of process-related key performance indicators (KPIs) is a key part of performance measurement and one of ... |
Presentation
![]() A Controlled Experiment to Evaluate the Effects of Mindfulness in Software Engineering
(ACM, 2014)
Context. Many reports support the fact that some psycho--social aspects of software engineers are key factors for the ... |
Presentation
![]() EXEMPLAR: An Experimental Information Repository for Software Engineering Research
(2014)
The number and variety of experiments carried in software engineering research is growing, leading to a increasing need ... |
Presentation
![]() Towards Multi-Objective Test Case generation for Variability-Intensive Systems
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2014)
Testing variability-intensive systems is a challenge due to the potentially huge number of derivable configurations. To ... |
Presentation
![]() Automated Variability Analysis and Testing of an E-Commerce Site. An Experience Report
(ACM, 2014)
In this paper, we report on our experience on the development of La Hilandera, an e-commerce site selling haberdashery products ... |
Article
![]() Automated Generation of Computationally Hard Feature Models Using Evolutionary Algorithms
(Elsevier, 2014)
A feature model is a compact representation of the products of a software product line. The automated extraction of ... |
Presentation
![]() The Drupal Framework: a Case Study to Evaluate Variability Testing Techniques
(2014)
Variability testing techniques search for effective but manageable test suites that lead to the rapid detection of faults ... |
Presentation
![]() Methodology to Extend RAL
(2014)
Resource Assignment Language (RAL) is a language for the selection of organisational resources that can be used, for ... |
Presentation
![]() Apoyo a la Toma de Decisiones en la Compra de IaaS
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2014)
La dificultad para decidir la compra de un IaaS (Infrastructure as a Service) depende de la complejidad de las opciones ... |
PhD Thesis
![]() ![]() Moses: a metaheuristic optimization software ecosystem. Applications to the automated analysis of software product lines and service-based applications
(2013)
Muchas de las situaciones a las que nos enfrentamos cada día pueden expresarse como problemas de optimización. Un problema ... |
Article
![]() On the Definition and Design-Time Analysis of Process Performance Indicators
(Elsevier, 2013)
A key aspect in any process-oriented organisation is the evaluation of process performance for the achievement of its ... |
Presentation |
Presentation
![]() Defining and Analysing Resource-Aware Process Performance Indicators
(2013)
A key aspect to identify improvement points of the business processes (BP) of an organisation is to conduct performance ... |
Presentation
![]() Extending WS-Agreement to Support Automated Conformity Check on Transport and Logistics Service Agreements
(2013)
Checking whether the agreed service quality attributes are fulfilled or maintained during the service life-cycle is a very ... |
Article
![]() Priorización de casos de prueba. Avances y retos
(Asociación de Técnicos de Informática, 2013)
|
Article
![]() Integrating Semantic Web Services Ranking Mechanisms Using a Common Preference Model
(Elsevier, 2013)
Service ranking has been long-acknowledged to play a fundamental role in helping users to select the best o erings among ... |
Presentation |
Presentation
![]() Migrating to the Cloud: a Software Product Line Based Analysis
(2013)
Identifying which part of a local system should be migrated to a public Cloud environment is often a difficult and error ... |
Presentation
![]() PPINOT Tool Suite: a Performance Management Solution for Process-Oriented Organisations
(2013)
A key aspect in any process-oriented organisation is the measurement of process performance for the achievement of its ... |
Article
![]() Comprehensive Explanation of SLA Violations at Runtime
(IEEE, 2013)
Service Level Agreements (SLAs) establish the Quality of Service (QoS) agreed between service-based systems consumers and ... |
Chapter of Book
![]() Automated Analysis of Stateful Feature Models
(Springer, 2013)
In CAiSE 2005, we interpreted the extraction of relevant information from extended feature models as an automated reasoning ... |
Presentation
![]() Achieving Replicability: Is There Life for Our Experiments After Publication?
(2013)
Metaheuristics are algorithmic schemes that ease the derivation of novel algorithms to solve optimization problems. These ... |
Presentation |
Article
![]() Automated Analysis of Conflicts in WS-Agreement Documents
(IEEE, 2013)
WS–Agreement is one of the most widely used SLA specifications. An advantage of WS–Agreement over other agreement metamodels ... |
Article
![]() Priorización de casos de prueba: Avances y retos
(ATI: Asociación de técnicos de Informática, 2013)
La priorización de pruebas consiste en establecer un orden de ejecución para los casos de prueba que permita alcanzar un ... |
Chapter of Book
![]() FaMa
(Springer, 2013)
|
Presentation
![]() !Agree Studio: a Platform to Edit and Validate Ws-Agreement Documents
(2013)
The widespread use of SLA-regulated Cloud services, in which the violation of SLA terms may imply a penalty for the parties, ... |
Report |
Presentation
![]() Priority-Based Human Resource Allocation in Business Processes
(2013)
In Business Process Management Systems, human resource management typically covers two steps: resource assignment at design ... |
Chapter of Book
![]() FaMa
(Springer, 2013)
Extracting relevant information from variability models is an important task to support decision-making in product line development and product configuration. |
Report
![]() Automated Metamorphic Testing on the Analysis of Software Variability: Technical Report ISA-2013-TR-03
(2013)
Variability determines the ability of software applications to be configured and customized. A common need during the ... |
PhD Thesis
![]() On the Automated Analysis of WS-Agreement Documents Applications to the Processes of Creating and Monitoring Agreements
(2013)
A medida que los SLAs empiezan a ser necesarios en servicios y aplicaciones usadas por el gran público y en ambientes XaaS ... |
PhD Thesis
![]() Automating the analysis of stateful feature models
(2012)
El modelado de la variabilidad es una de las principales tareas en el desarrollo de l´ıneas de productos software (LPS). ... |
PhD Thesis
![]() On the definition and analysis of process performance indicators
(2012)
A key aspect in any process-oriented organisation is the evaluation of process performance for the achievement of its ... |
PhD Thesis
![]() Automated analysis of software product lines with orthogonal variability models: Extending the fama ecosystem
(2012)
La ingeniería de líneas de producto software es un paradigma de desarrollo de software que permite la creación de una ... |
Presentation
![]() Summary of "Defining and Analysing Resource Assignments in Business Processes with RAL"
(2012)
Business process (BP) modelling notations tend to stray their attention from (human) resource management, unlike other ... |
Presentation
![]() CRISTAL: Collection of Resource-Centric Supporting Tools and Languages
(2012)
In this demo, we introduce CRISTAL (Collection of ResourcecentrIc Supporting Tools and Languages), a tool suite aimed at ... |
Article
![]() Metaheuristic Optimization Frameworks: a Survey and Benchmarking
(Springer Verlag, 2012)
This paper performs an unprecedented comparative study of Metaheuristic optimization frameworks. As criteria for comparison ... |
Presentation
![]() Defining Process Performance Indicators By Using Templates and Patterns
(2012)
Process Performance Indicators (PPIs) are a key asset for the mea- 2 surement of the achievement of strategic and operational ... |
Presentation
![]() SOA4 All Integrated Ranking: a Preference-Based, Holistic Implementation
(2012)
There exist many available service ranking implementations, each one providing ad hoc preference models that offer different ... |
Presentation
![]() FaMa-OVM: A Tool for the Automated Analysis of OVMs
(ACM, 2012)
Orthogonal Variability Model (OVM) is a modelling language for representing variability in Software Product Line Engineering. ... |
Article
![]() Improving Semantic Web Services Discovery Using SPARQL-Based Repository Filtering
(Elsevier, 2012)
Semantic Web Services discovery is commonly a heavyweight task, which has scalability issues when the number of services ... |
PhD Thesis |
Report
![]() An Intuitive and Formal Description of Preferences for Semantic Web Service Discovery and Ranking (Technical Report ISA-12-TR-07)
(2012)
Preference modeling constitutes an essential component for the execution of Semantic Web Service (SWS) discovery and, ... |
Report
![]() ETHOM: An Evolutionary Algorithm for Optimized Feature Models Generation - TECHNICAL REPORT ISA-2012-TR-01 (v. 1.1)
(2012)
A feature model defines the valid combinations of features in a domain. The automated extraction of information from feature ... |
Presentation
![]() RAL Solver: a Tool to Facilitate Resource Management in Business Process Models
(2012)
Business process (BP) modelling notations tend to stray their attention from resource management, unlike other aspects ... |
Report
![]() PPI Definition and Automated Design-Time Analysis (v 1.0) : Technical Report ISA–12–TR–02
(2012)
The measurement of process performance and its analysis is crucial for the consecution of strategic and operational goals ... |
Article
![]() Quality-Aware Analysis in Product Line Engineering with the Orthogonal Variability Model
(Springer Verlag, 2012)
Software product line engineering (SPLE) is about producing a set of similar products in a certain domain. A variability ... |
Presentation |
Report
![]() A test suite for an Agreement Document Analyser (v 1.0) : Technical Report ISA–12–TR–03
(2012)
The automated analysis operations of WS–Agreement documents proposed in recent works [1, 2, 3, 4] uses complex techniques ... |
Chapter of Book |
Presentation
![]() Automated Resource Assignment in BPMN Models Using RACI Matrices
(2012)
Organizations need to manage the responsibility of their employees with respect to all the activities that are daily carried ... |
Presentation
![]() SALMonADA: a Platform for Monitoring and Explaining Violations of Ws-Agreement-Compliant Documents
(2012)
Quality assurance techniques have been developed to supervise the service quality (QoS) agreed between service-based systems ... |
Presentation
![]() SALMonADA: a Platform for Monitoring and Explaining Violations of Ws-Agreement-Compliant Documents
(2012)
Quality assurance techniques have been developed to supervise the service quality (QoS) agreed between servicebased systems ... |
Presentation
![]() BeTTy: Benchmarking and Testing on the Automated Analysis of Feature Models
(ACM, 2012)
The automated analysis of feature models is a ourishing research topic that has called the attention of both researchers and ... |
Presentation
![]() PPINOT: a Tool for the Definition and Analysis of Process Performance Indicators
(2012)
A key aspect in any process-oriented organisation is the evaluation of process performance for the achievement of its ... |
Article
![]() Integrando las Matrices RASCI en BPMN para la Gestión de la Responsabilidad
(ATI: Asociación de técnicos de Informática, 2012)
Las organizaciones necesitan gestionar qué responsabilidad tienen sus empleados sobre cada una de las actividades que se ... |
Report
![]() FLAME: FAMA Formal Framework (v 1.0): Technical Report ISA–12–TR–02
(2012)
Software product lines are rapidly gaining importance across different application domains. This software production ... |
PhD Thesis
![]() Improving Semantic Web Services Discovery and Ranking: a Liggtweight, integrated approach
(2012)
Los Servicios Web Semánticos (SWSs) se han convertido en un área de investigación muy activa, en la que diversos frameworks, ... |
Article
![]() SOA4 All Integrated Ranking: una herramienta holística basada en preferencias
(Asociación de Técnicos de Informática, 2012)
|
Report
![]() ETHOM: An Evolutionary Algorithm for Optimized Feature Models Generation (v. 1.2): Technical Report ISA-2012-TR-05
(2012)
A feature model defines the valid combinations of features in a domain. The automated extraction of information from feature ... |
Presentation
![]() STATService: Herramienta de análisis estadístico como soporte para la investigación con Metaheurísticas
(2012)
Actualmente, la aplicación de técnicas estadísticas es una necesidad cuando se trabaja con metaheurísticas. A pesar de que ... |
Article
![]() Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods
(Springer Verlag, 2011)
The need to collect new data and perform new science is causing the complexity of NASA missions to continually increase. ... |
Article
![]() Mutation Testing on An Object-Oriented Framework: An Experience Report
(Elsevier, 2011)
Context: The increasing presence of Object–Oriented (OO) programs in industrial systems is progressively drawing the ... |
Presentation
![]() Tool Supported Error Detection and Explanations on Feature Models
(2011)
Automated analysis of feature models (FM) is a field of interest in recent years. Many operations over FMs have been ... |
Presentation |
Article
![]() Functional Testing of Feature Model Analysis Tools: a Test Suite
(Institution of Engineering and Technology, 2011)
A Feature Model (FM) is a compact representation of all the products of a software product line. Automated analysis of FMs ... |
Presentation
![]() Aprendiendo a diseñar software usando juegos de mesa de licencia libre como enunciado de prácticas
(AENUI: Asociación de Enseñantes Universitarios de Informática, 2011)
|
Presentation
![]() WS-Governance Tooling: SOA Governance Policies analysis and authoring
(IEEE Computer Society, 2011)
Governance is a capital issue in current Service Oriented Arcuitectures, and governance policies are at its base. The ... |
Article
![]() Automated Metamorphic Testing on the Analyses of Feature Models
(Elsevier, 2011)
Context. A Feature Model (FM) represents the valid combinations of features in a domain. The automated extraction of ... |
Presentation
![]() Defining and Analysing Resource Assignments in Business Processes with RAL
(2011)
Business process (BP) modelling notations tend to stray their attention from (human) resource management, unlike other ... |
Presentation
![]() Automatic Generation of a Data-Centered View of Business Processes
(Springer, 2011)
Most commonly used business process (BP) notations, such as BPMN, focus on defining the control flow of the activities of ... |
Report |
Presentation
![]() Automated Diagnosis of Feature Model Configurations
(2011)
Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting ... |
Report
![]() A Lightweight Prototype Implementation of SPARQL Filters for WSMO-based Discovery (Technical Report ISA-11-TR-01)
(2011)
Semantic Web Services discovery is commonly a heavyweight task, which has scal ability issues when the number of services ... |
Presentation
![]() Mixing Rasci Matrices and BPMN Together for Responsibility Management
(2011)
Organizations need to manage the responsibility of the employees with respect to all the activities that are carried out ... |
Article
![]() Interorganizational Business Modeling: an Approach for Traceability of Goals, Organizational Models and Business Processes
(IEEE Computer Society, 2011)
The main goal of business modeling is to understand organizations to provide software solutions with high added value. ... |
Presentation
![]() FaMa Abductive: una herramienta para explicaciones de errores en modelos de características
(2011)
La diagnosis de errores es una asignatura pendiente de gran parte de las herramientas de an´alisis de modelos de ... |
Presentation |
PhD Thesis |
Presentation |
Article
![]() Automated analysis of feature models 20 years later: a literature review
(2010)
Software product line engineering is about producing a set of related products that share more commonalities than variabilities. ... |
Presentation |
Presentation |
PhD Thesis
![]() ![]() Functional and performance testing of feature model analysis tools Extending the fama ecosystem
(2010)
La ingeniería de líneas de productos es un paradigma de desarrollo orientado a construir familias de sistemas software que ... |
Presentation
![]() Challenges to Support a Ppi Management Lifecycle
(2010)
An important aspect in the business process lifecycle is the evaluation of business processes performance, since it helps ... |
Presentation
![]() Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach
(IEEE Computer Society, 2010)
A Feature Model (FM) is a compact representation of all the products of a software product line. The automated extraction ... |
Presentation
![]() A Model of User Preferences for Semantic Services Discovery and Ranking
(Springer, 2010)
Current proposals on Semantic Web Services discovery and ranking are based on user preferences descriptions that often ... |
Article
![]() Automated Diagnosis of Feature Model Configurations
(Elsevier, 2010)
Software product-lines (SPLs) are software platforms that can be readily reconfigured for different project requirements. ... |
Report
![]() Experiences from building a WS–Agreement document analyzer tool (Including use cases in WS–Agreement and WSAg4People) v1.0 : Technical Report ISA-10-TR-03
(2010)
The WS–Agreement specification has gained a wide acceptance in the web services community as a means for establishing ... |
Report
![]() FaMa Test Suite v1.2: ISA Technical Report ISA-10-TR-01
(2010)
A Feature Model (FM) is a compact representation of all the products of a software product line. Automated analysis of FMs ... |
Presentation |
Presentation
![]() Building Industry-Ready Tools: FAMA Framework & ADA
(2010)
Developing good academic tools has become an art that forces researchers to achieve tasks they are not supposed to do. ... |
Presentation
![]() Automated Analysis of Orthogonal Variability Models Using Constraint Programming.
(2010)
Software Product Line (SPL) Engineering is about producing a family of products that share commonalities and variabilities. ... |
Presentation
![]() On the Identification of Data-Related Compliance Problems in Business Processes
(2010)
Ensuring the compliance of business processes with regulations is becoming increasingly important to organizations. ... |
Presentation
![]() Modelado de Negocio Interorganizacional: una Aproximación para la Trazabilidad Entre Objetivos, Modelos Organizacionales y Procesos de Negocio
(2009)
El principal objetivo del modelado de negocio es comprender el funcionamiento de las empresas para poder aportar soluciones ... |
Presentation
![]() Feature Model to Orthogonal Variability Model Transformation Towards Interoperability Between Tools
(2009)
Feature Model (FM) and Orthogonal Variability Model (OVM) are both modelling approaches employed to represent variability ... |
Presentation
![]() Feature Model to Orthogonal Variability Model Transformations. A First Step
(2009)
Feature Model (FM) and Orthogonal Variability Model (OVM) are both modelling approaches employed to represent variability ... |
Presentation
![]() Benchmarking on the Automated Analyses of Feature Models: a Preliminary Roadmap
(2009)
The automated analysis of Feature Models (FMs) is becoming a well-established discipline. New analysis operations, tools ... |
Presentation
![]() SOA Governance: Exploring Challenges and Benefits From An Autonomic Perspective
(2009)
Both Academy and Industry agree in the importance of having an adequate management of the Service Oriented Architecture ... |
Presentation
![]() Using Automated Analysis of Temporal-Aware SLAS in Logistics
(2009)
Service level agreements (SLAs) establish the terms in which a logistics service may be provided or consumed. During the ... |
Presentation
![]() Moskitt FM and FAMA FW: Taking feature models to the next level
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2009)
Feature modeling is a key technique to model commonalities and variabilities within a Software Product Line (SPL). Tools ... |
Presentation
![]() Explaining the Non-Compliance between Templates and Agreement Offers in WS-Agreement
(2009)
A common approach to the process of reaching agreements is the publication of templates that guide parties to create ... |
Presentation
![]() Mass Customisation Along Lifecycle of Autonomic Homes
(2009)
Autonomic homes adapt themselves to give the user the best possible experience of the services they provide. They dynamically ... |
Presentation |
Article
![]() Hacia el enlace entre la estrategia empresarial mediante modelos de valor y el software de negocio: un enfoque MDD
(Universidad Nacional de Colombia, 2009)
|
Presentation
![]() Abductive Reasoning and Automated Analysis of Feature Models: How are they connected?
(2009)
In the automated analysis feature models (AAFM), many operations have been defined to extract relevant information to be ... |
Presentation
![]() An Initial Approach to Explaining SLA Inconsistencies
(2009)
An SLA signed by all interested parties must be created carefully, avoiding contradictions between terms, because their ... |
Presentation |
Presentation
![]() Dealing with Fixable and Non-fixable Properties in Service Matchmaking
(Springer, 2009)
In the context of service discovery, matchmakers check the compliance of service-level objectives from providers and ... |
Presentation
![]() FAST-SE: An Esb Based Framework for SLA Trading
(2009)
SLA driven service transaction has been identified as a key challenge to take advantage of a SOA. FAST System provides a ... |
Presentation
![]() First International Workshop on Analysis of Software Product Lines (ASPL'08)
(IEEE Computer Society, 2008)
The automation of software product line (SPL) analyses is of growing interest to both practitioners and researchers. In ... |
Presentation
![]() Three-Dimensional Feature Diagrams Visualization
(2008)
Visualizing and manipulating large feature diagrams is still an open issue for the SPL community. Few effort has been made ... |
Presentation
![]() A Service Ranker Based on Logic Rules Evaluation and Constraint Programming
(2008)
Ranking of Semantic Web Services is usually performed based on user preferences descriptions. These descriptions are ... |
Presentation
![]() Representing Runtime Variability in Business-Driven Development Systems
(IEEE Computer Society, 2008)
Business-Driven Development(BDD) is a research field that provides techniques and mechanisms for designing software systems ... |
Presentation
![]() QoS-Aware Semantic Service Selection: An Optimization Problem
(IEEE Computer Society, 2008)
In order to select the best suited service among a set of discovered services, with respect to QOS parameters, a user have ... |
Presentation
![]() Fama Framework
(2008)
FAMA Framework (FAMA FW) is a tool for the automated analysis of variability models (VM). Its main objective is providing ... |
Presentation
![]() An Initial Approach to Explaining SLA Inconsistencies
(2008)
An SLA signed by all interested parties must be created carefully, avoiding contradictions between terms, because their ... |
Presentation
![]() Enabling the Evolution of Service-Oriented Solutions Using an UML2 Profile and a Reference Petri Nets Execution Platform
(IEEE Computer Society, 2008)
The activities developed by a company (business pro cesses) have to change frequently to adapt to the environ ment. The ... |
Presentation
![]() An Architectural Discussion on DSPL
(2008)
Dynamic Software Product Line (DSPL) engineering has proved itself as an efficient way to deal with run-time product ... |
Presentation
![]() Towards Visualisation and Analysis of Runtime Variability in Execution Time of Business Information Systems based on Product Lines
(DBLP, 2008)
There is a set of techniques that build Business Information Systems (BIS) deploying business processes of the company ... |
Presentation
![]() From Feature Models to Business Processes
(IEEE Computer Society, 2008)
The variability level of average-size Business Informa tion Systems (BIS) is highly enough for making the design of this ... |
Presentation
![]() Functional Testing of Feature Model Analysis Tools. A First Step
(2008)
The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement ... |
Presentation
![]() Ranking Semantic Web Services Using Rules Evaluation and Constraint Programming
(2008)
Current Semantic Web Services discovery and ranking proposals are based on user preferences descriptions whose expressiveness ... |
Presentation
![]() Semantic Discovery and Selection: A QoS-Aware, Hybrid Model
(CSREA Press, 2008)
Most Semantic Web Services discovery ap- proaches are based on Description Logics, allowing a limited expressiveness when ... |
Presentation
![]() Automated Diagnosis of Product-line Configuration Errors in Feature Models
(IEEE Computer Society, 2008)
Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting ... |
Presentation
![]() QoS-Aware Services composition using Tabu Search and Hybrid Genetic Algorithms
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2008)
In a distributed services oriented environment, having a myriad of functionally equivalent services, Quality of Service(QoS) ... |
Presentation |
Article
![]() Automated Error Analysis for the Agilization of Feature Modeling
(Elsevier, 2008)
|
Presentation
![]() Temporal-Awareness in SLAs: Why Should We Be Concerned?
(Springer, 2007)
Traditionally, Service Level Agreements have been decomposed in two sets of properties: functionals (what) and non-functionals ... |
Presentation
![]() Using Formal Methods and Agent-Oriented Software Engineering for Modeling NASA Swarm-Based Systems
(IEEE, 2007)
NASA is conducting research on advanced technologies for future exploration using intelligent swarms of robotic vehicles. ... |
Presentation
![]() ¿Por qué OMG ha elegido BPMN para modelar de Procesos de Negocio si ya existe UML?
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2007)
Desde junio del 2005 la BPMI (Business Process Management Initiative) es miembro de la OMG (Object Management Group). En ... |
Presentation
![]() A WS-Agreement Extension for Specifying Temporal Properties in SLAS
(2007)
Service level agreements (SLA) in service oriented architectures allow to regulate the service trading from providers to ... |
Presentation
![]() FAMA: hacia el análisis automático de modelos de características
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2007)
|
Presentation
![]() Open Source Tools for Software Product Line Development
(2007)
Open-Source (OS) software development differs widely from close-source development practices because of a number of reasons: ... |
Presentation
![]() Towards Automated Refactoring of Feature Models Using Graph Transformations
(2007)
Software Produ t Line (SPL) development is an approa h to develop families of software systems in a systemati way. A Feature ... |
Presentation
![]() Business Family Engineering. Does It Make Sense ?
(2007)
Nowadays most companies in whichever field have a software system that helps managing all the aspects of the company, from ... |
Article
![]() Building and Implementing Policies in Autonomous and Autonomic Systems Using Macmas. A Case Study Based on a NASA Concept Mission
(Springer, 2007)
Autonomic Computing, self-management based on high level guidance from humans, is increasingly being accepted as a means ... |
Presentation
![]() From Requirements to Web System Design. An Automated Approach Using Graph Transformations
(2007)
Building Web design models from requirements specification is recognised as a timeconsuming and error-prone task. in this ... |
Article |
Presentation
![]() Mapping Feature Models Onto Component Models to Build Dynamic Software Product Lines
(2007)
Systems such as adaptative and context–aware ones must adapt themselves to changing requirements at runtime. Modeling and ... |
Presentation
![]() Fama: Tooling a Framework for the Automated Analysis of Feature Models
(2007)
The automated analysis of feature models is recognized as one of the key challenges for automated software development in ... |
Chapter of Book
![]() Telvent
(Springer, 2007)
|
Article
![]() An Hybrid, Qos-Aware Discovery of Semantic Web Services Using Constraint Programming
(Springer Verlag, 2007)
Most Semantic Web Services discovery approaches are not well suited when using complex relational, arithmetic and logical ... |
PhD Thesis |
Presentation
![]() Business Family Engineering. Managing the Evolution of Business Driven Systems
(2007)
Nowadays most companies in whichever field have a software system that helps managing all the aspects of the company, from ... |
Article
![]() Building the Core Architecture of a NASA Multiagent System Product Line
(Springer Verlag, 2007)
The field of Software Product Lines (SPL) emphasizes build- ing a family of software products from which concrete products ... |
Presentation
![]() A Taxonomy of Variability in Web Service Flows
(2007)
The combination of Software Product Lines (SPL) and Service-Oriented Architectures (SOA) development practices is expected ... |
Presentation
![]() On User Preferences and Utility Functions in Selection: A Semantic Approach
(Springer, 2007)
Discovery tasks in the context of Semantic Web Services are generally performed using Description Logics. However, this ... |
PhD Thesis
![]() ![]() On the automated analysis of software product lines using feature models: a framework for developing automated tool support
(2007)
En los últimos años, ha habido un gran empuje por parte de la comunidad investigadora en torno a una nueva línea de ... |
Presentation
![]() Improving Temporal-Awareness of WS-Agreement
(2007)
WS-Agreement (WS-Ag) is a proposed recommendation of the Open Grid Forum that provides a schema to describe SLAs and a ... |
Presentation
![]() Automated Merging of Feature Models using Graph Transformations
(2007)
Feature Models (FMs) are a key artifact for variability and commonality management in Software Product Lines (SPLs). In ... |
Article |
Presentation
![]() A First Step Towards a Framework for the Automated Analysis of Feature Models
(2006)
Feature modelling is a common mechanism for variability management in the context of software product lines. After years ... |
Presentation
![]() Isolated Features Detection in Feature Models
(2006)
Feature models are commonly used to describe software product lines in terms of features. Features are linked by relations, ... |
Presentation
![]() A Survey on the Automated Analyses of Feture Models
(2006)
Feature models are one of the most important assets in software product line engineering when capturing variability. ... |
Article |
Presentation
![]() A Model-Driven Architecture Approach for Modeling, Specifying and Deploying Policies in Autonomous and Autonomic Systems
(IEEE Computer Society, 2006)
Autonomic Computing (AC), self-management based on high level guidance from humans, is increasingly gain ing momentum as ... |
Presentation |
Article |
Presentation
![]() Explanations for Agile Feature Models
(2006)
Feature models are widely used to represent product lines and they are key parts of the development process in agile ... |
Presentation
![]() Automated reasoning on feature models
(2005)
Software Product Line (SPL) Engineering has proved to be an effective method for software production. However, in the SPL ... |
Presentation
![]() The Triple Schizophrenia of the Software Engineering Researcher
(2005)
In this paper we question the problem of a software engineering researcher, who in his daily work, has to deal with ... |
Article
![]() Improving the Automatic Procurement of Web Services Using Constraint Programming
(World Scientific Publishing, 2005)
|
Presentation
![]() Using Constraint Programming to Reason on Feature Models
(2005)
Feature models have been cited as one of the main contributions to model software product families. However, there is still ... |
Presentation
![]() Using Java Csp Solvers in the Automated Analyses of Feature Models
(2005)
Feature Models are used in different stages of software development and are recognized to be an important asset in model ... |
Article
![]() An Approach to Temporal-Aware Procurement of Web Services
(Springer Verlag, 2005)
In the context of web service procurement (WSP), temporal–awareness refers to managing service demands and offers which ... |
Article
![]() Breakthroughs and Challenges in Software Engineering
(Verlag der Technischen Universität Graz, 2004)
|
Presentation
![]() A First Approach to Build Product Lines of Multi-organizationalWeb Based Systems (MOWS)
(Springer, 2004)
From the recent past and current state of the Internet, it is possible to forecast a wide growing of Multi Organizational ... |
Article
![]() Editorial: web and database technologies in business solutions
(Inderscience, 2004)
|
Presentation
![]() Spl needs an automatic holistic model for software reasoning with feature models
(Universidad Carlos III, 2004)
The number of features and their relations in a Software Product Line (SPL) may lead to have SPLs with a big number of ... |
Presentation
![]() Improving Decision Making in Software Product Lines Product Plan Management
(2004)
The increasing demand on developing Software Product Lines (SPL) has given a lot of interest to software engineering ... |
Presentation
![]() A Framework For Classifying and Comparing Web Services Procurement Platforms
(IEEE Computer Society, 2003)
The procurement of web services (WSP) shifts the focus of architects and integrators from functional to quality-ofservice (QoS) ... |
Article
![]() Automating the Procurement of Web Services
(Springer Verlag, 2003)
As government agencies and business become more dependent on web services, software solutions to automate their procurement ... |
Article
![]() Aspect-oriented interaction in multi-organisational web-based systems
(Elsevier, 2003)
Separation of concerns has been presented as a promising tool to tackle the design of complex systems in which cross-cutting ... |
Article
![]() A Quality-Aware Approach to Web Services Procurement
(Springer Verlag, 2003)
Web services bring programmers a new way to develop advanced applications able to integrate any group of services on the ... |
PhD Thesis
![]() ![]() Una Aproximación Semicualitativa al Tratamiento Automático de Requisitos de Calidad. Aplicación a la obtención automática de acuerdos de nivel de servicio en MOWS
(2002)
De acuerdo con el tipo de técnicas empleadas, las propuestas que abordan el tratamiento sistemático de los requisitos de ... |
Article
![]() Multi-Party Coordination in the Context of MOWS
(Springer, 2002)
Separation of concerns has been presented as a promising tool to tackle the design of complex systems in which cross-cutting ... |
Article
![]() Repairing Syntax Errors in LR Parsers
(ACM, 2002)
This article reports on an error-repair algorithm for LR parsers. It locally inserts, deletes or shifts symbols at the ... |
Presentation
![]() Applying XML technologies in Requirements Verification
(2002)
In this paper, we present an approach for the automatic verification of software requirements specifications. This approach ... |
Article
![]() Vivacidad y justicia en entornos no deterministas
(Universidad Autónoma de Bucaramanga, 2002)
El problema de la vivacidad y la seleccion justa surge en el contexto de los sistemas con ejecuciones no deterministas. ... |
Presentation |
Presentation |
Article
![]() Verifying Software Requirements with XSLT
(ACM, 2002)
In this article, we present an approach for the automatic verification of software requirements documents. This approach ... |
Article
![]() Interacción orientada a aspectos en entornos multiorganizacionales
(Universidad Autónoma de Bucaramanga, 2002)
Por desgracia, las propuestas actuales de separación de aspectos asumen que los objetos interactúan mediante invocación ... |
Presentation
![]() Automatic Extraction of Semantically-Meaningful Information from the Web.
(Springer, 2002)
The semantic Web will bring meaning to the Internet,making it possible for web agents to understand the information it ... |
Presentation
![]() Supporting Requirements Verification Using XSLT
(IEEE Computer Society, 2002)
In this paper we present a light-weight approach for the automatic verification of requirements. This approach is not based ... |
Presentation
![]() A Practical Agent-Based Method to Extract Semantic Information from the Web
(Springer, 2002)
The semantic Web will bring meaning to the Internet,mak - ing it possible for web agents to understand the information it ... |
Article
![]() Tabbed Hierarchy: a Design Pattern for the Implementation of Object-Oriented User Interfaces
(Centro de Investigación en Computación, 2002)
|
Presentation
![]() Using Constraint Programming for the Automatic Detection of Conflicts in Quality Requirements
(2002)
Requirements negotiation is quite an interesting, ongoing research area. Current requirements engineering models usually ... |
Presentation
![]() Object-Oriented Business Solutions
(Springer, 2001)
This report summarises the presentations, discussions, and main results of the ECOOP’01 Workshop on Object-Oriented Business ... |
Presentation
![]() Automated Support for Quality Requirements in Web–Service–Based Systems
(IEEE Computer Society, 2001)
The automatic checking of quality requirements will play a fundamental role in the future market of web services. The reason ... |
Presentation
![]() An XML-Based Approach for the Automatic Verification of Software Requirements Specifications
(2001)
In this paper, we present an approach for the automatic verification of software requirements specifications. This approach ... |
Presentation
![]() Una Aproximación a la Gestión Automática de Alternativas de Diseño
(CEUR-WS, 2001)
La obtención, evaluación y selección de alternativas durante la fase de diseño de cualquier sistema informático son problemas ... |
Presentation
![]() Comprobación Automática de Requisitos de Calidad en Sistemas Multiorganizacionales
(2001)
El uso de servicios WEB y de servidores de aplicaciones durante el desarrollo y explotación de sistemas multiorganizacionales ... |
Presentation
![]() An Automated Approach for Verification of Software Requirements
(2001)
In this paper, we present an automated approach for the verification of software requirements. This approach is based on ... |
Report |
Presentation |
Presentation
![]() An Aspect–Oriented Approach based on Multiparty Interactions to Specifying the Behaviour of a System
(Institut national de recherche en sciences et technologies du numérique (INRIA), 2000)
Isolating computation and coordination concerns into separate pure computation and pure coordination enhances modularity, ... |
Report |
Presentation
![]() Elicitación de requisitos de usuario mediante plantillas y patrones de requisitos
(Universidad de Extremadura: Grupo de Paralelismo, 1999)
Dentro de la ingeniería de requisitos se han identificado diversos tipos de problemas, uno de los cuales es expresar los ... |
Presentation
![]() Expressing Customer Requirements Using Natural Language Requirements Templates and Patterns
(WSEAS, 1999)
Expressing customer requirements so they can be understood not only by requirements engineers but also by noncomputer ... |
Presentation
![]() A Requirements Elicitation Approach Based in Templates and Patterns
(1999)
One of the main problems of requirements elicitation is expressing customer requirements in a form that can be understood ... |
Presentation
![]() Implementing Multiparty Interactions on a Network Computer
(IEEE Computer Society, 1999)
Classical client/server interaction primitives such as remote procedure call or rendez–vous are not adequate when we need ... |