Buscar
Mostrando ítems 31-40 de 98
Artículo
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 was identified as the most relevant challenge in the field. This formalization could provide ...
Artículo
Hacia el enlace entre la estrategia empresarial mediante modelos de valor y el software de negocio: un enfoque MDD
(Universidad Nacional de Colombia, 2009)
Artículo
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 transparently, meanwhile guaranteeing substantial cost savings. Due to the tradeoff between scalability ...
Artículo
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 of process indicators of running process instances. The main value of predictive monitoring is to ...
Artículo
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 academic year, an experiment was carried out to test whether the practice of mindfulness during 4 weeks ...
Artículo
A Survey on Metamorphic Testing
(2016-02-29)
A test oracle determines whether a test execution reveals a fault, often by comparing the observed program output to the expected output. This is not always practical, for example when a program’s input-output relation is ...
Artículo
Artículo
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 need to formalize their contractual and legal relationship, creating service level agreements. ...
Artículo
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 properties that do not fit into the scope of a class must be satisfied. Unfortunately, current ...
Artículo
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 gain importance. Current approaches for automating the procurement of web services suffer from an ...