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
337
-
No. visits
43042
-
No. downloads
75115
Publications |
---|
PhD Thesis
Automated capacity analysis of limitation-aware microservices architectures
(2024)
La aparición de las arquitecturas de microservicios (MSAs) ha supuesto un cambio importante en la forma en la que se ... |
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
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 ... |
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
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 ... |
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. ... |
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
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 ... |
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 ... |
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 ... |
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. ... |
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
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
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
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
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
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 ... |
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
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 ... |
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. ... |
Presentation
Artifact: virtual environment for evaluating the QoS of distributed mobile applications
(IEEE Computer Society, 2021)
|
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. ... |
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
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 ... |
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 ... |
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
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
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, ... |
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
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 ... |
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
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 ... |
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
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 ... |
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
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
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 ... |
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
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
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
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
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 ... |
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
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 ... |
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
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 ... |
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 ... |
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
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 ... |
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 ... |
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 ... |
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
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 ... |
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
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 ... |
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
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
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 ... |
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
Identifying Variability in Process Performance Indicators
(Springer, 2016)
The performance perspective of business processes is concerned with the definition of performance requirements usually ... |
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 ... |
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
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 ... |
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 ... |
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. ... |
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 ... |
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
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
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 ... |
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
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 ... |
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
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 ... |
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
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
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 ... |
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
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
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, ... |
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 ... |
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 ... |
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
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 ... |
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 ... |
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 ... |
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 ... |
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
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
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 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
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
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
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
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 ... |
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
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 ... |
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 ... |
Presentation
Methodology to Extend RAL
(2014)
Resource Assignment Language (RAL) is a language for the selection of organisational resources that can be used, for ... |
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 ... |
Presentation |
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
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 ... |
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
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 |
Article
Priorización de casos de prueba. Avances y retos
(Asociación de Técnicos de Informática, 2013)
|
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 ... |
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 ... |
Chapter of Book
FaMa
(Springer, 2013)
|
Report |
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
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
!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, ... |
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 ... |
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 ... |
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
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. ... |
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
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 ... |
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 ... |
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 ... |
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
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 ... |
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 |
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 ... |
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
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
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 ... |
Presentation |
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 ... |
Chapter of Book |
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)
|
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
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 ... |
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. ... |
Presentation |
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 ... |
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 ... |
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
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
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
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 |
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 ... |
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
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 ... |
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 ... |
PhD Thesis |
Presentation |
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 ... |
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
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 |
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 |
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
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 |
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 ... |
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
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
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
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
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 ... |
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
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 |
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
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
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
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
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
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
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 |
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
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
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
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
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
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
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
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
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. ... |
Article |
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
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
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
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
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 ... |
PhD Thesis |
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
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
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 ... |
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 ... |
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 ... |
Chapter of Book
Telvent
(Springer, 2007)
|
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 ... |
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 ... |
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 ... |
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 ... |
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 ... |
Article |
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 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
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 ... |
Article |
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. ... |
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 ... |
Article
Improving the Automatic Procurement of Web Services Using Constraint Programming
(World Scientific Publishing, 2005)
|
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 ... |
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
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
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)
|
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
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 ... |
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
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
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
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 ... |
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 ... |
Presentation |
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
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
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 ... |
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 ... |
Article
Tabbed Hierarchy: a Design Pattern for the Implementation of Object-Oriented User Interfaces
(Centro de Investigación en Computación, 2002)
|
Presentation |
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
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
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
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
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 ... |
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 |
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
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
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
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 ... |