Buscar
Mostrando ítems 191-200 de 335
Ponencia
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 consumers. So SLAs must describe the agreement properties in a precise manner. WS-Agreement proposes ...
Ponencia
Capítulo de Libro
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 Highly-Configurable Systems (HCSs). Testing techniques for HCSs aim at finding effective but manageable ...
Ponencia
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 a number of analysis operations on FMs. The implementation of these operations using a specific ...
Artículo
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 the rules that enforce the compliance controls that govern the company. We faced the challenge of ...
Ponencia
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 corrective actions when needed. However, the actual analysis and decision mak ing for those actions ...
Ponencia
Using Formal Methods and Agent-Oriented Software Engineering for Modeling NASA Swarm-Based Systems
(IEEE, 2007-04)
NASA is conducting research on advanced technologies for future exploration using intelligent swarms of robotic vehicles. One of these missions is the Autonomous NanoTechnology Swarm (ANTS) mission that will explore the ...
Ponencia
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 informa tion will improve the performance of these processes and is generally obtained after they ...
Ponencia
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 quality of the software development process and its resulting products. Based on the experience of some ...
Ponencia
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 and transforming models. Checking whether the output of a model transformation is correct is ...