Browsing Lenguajes y Sistemas Informáticos by Title
Now showing items 501-520 of 2184
-
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 ...
-
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
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
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 ...
-
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 ...
-
Presentation
Automated Reasoning for Multi-step Feature Model Configuration Problems
(ACM, 2009)The increasing complexity and cost of software-intensive systems has led developers to seek ways of increasing ...
-
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
Automated Resource Allocation in Business Processes with Answer Set Programming
(Springer, 2016)Human resources are of central importance for executing and supervising business processes. An optimal resource allocation ...
-
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
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
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 ...
-
PhD Thesis
Automated Test Case Generation for RESTful Web APIs: Towards a Testing as a Service Model
(2022-07-14)Web Application Programming Interfaces (APIs) allow software systems to interact with each other over the network. Web ...
-
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 ...
-
Article
Automated testing in robotic process automation projects
(Wiley, 2020)Robotic process automation (RPA) has received increasing attention in recent years. It enables task automation by software ...
-
Presentation
Automated testing on the analysis of variability-intensive artifacts: An exploratory study with SAT Solvers
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2012)The automated detection of faults on variability analysis tools is a challenging task often infeasible due to the ...
-
Presentation
Automated Throughput Optimization of Cloud Services via Model-driven Adaptation
(ScitePress Digital Library, 2013)Cloud computing promises easy access, low entry cost and elasticity. However, elastic service provisioning is usually ...
-
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
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
Automatic assembly task assignment for a multirobot environment
(Elsevier, 1996)This paper presents an algorithm A∗ for obtaining the “best” assembly plan for a product in a multirobot system. The ...
-
Presentation
Automatic Enforcement of Security Properties
(Springer, 2016)Ensuring the security requirements of an application is not a straightforward task. Security properties (e.g., ...