Buscar
Mostrando ítems 1-10 de 57
Artículo
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 for manipulating and transforming models. The correctness of software built using MDE techniques ...
Artículo
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 information from feature models is a thriving topic involving numerous analysis operations, techniques ...
Informe
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 development of variability–intensive systems is the automated analysis of their underlying variability models, ...
Artículo
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 consists in the extraction of information from the event logs of a business process. From this information, ...
Artículo
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 attention of mutation researchers toward this paradigm. However, while the number of research contributions ...
Artículo
Automated Diagnosis of Feature Model Configurations
(Elsevier, 2010)
Software product-lines (SPLs) are software platforms that can be readily reconfigured for different project requirements. A key part of an SPL is a model that captures the rules for reconfiguring the software. SPLs ...
Artículo
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 (BPs), in order to check the achievement of strategic and operational goals and to support decision ...
Artículo
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 a set of 271 features grouped in 30 characteristics and 6 areas has been selected. These features ...
Artículo
SOA4 All Integrated Ranking: una herramienta holística basada en preferencias
(Asociación de Técnicos de Informática, 2012)
Artículo
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 providers. Since the violation of such SLAs may involve penalties, quality assurance techniques ...