Buscar
Mostrando ítems 41-50 de 98
Artículo
Multi-Agent System Product Lines: Challenges and Benefits
(ACM, 2006-12)
Artículo
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 activities involved in their business processes. Despite several approaches provide support ...
Artículo
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 is rapidly gaining importance: new operations of analysis have been proposed, new tools have been ...
Informe
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, especially, ranking processes, providing facilities to define user requests and preferences. In this ...
Informe
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 models is a thriv ing topic involving numerous analysis operations, techniques and tools. The ...
Artículo
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 forward in designing reliable systems that both hide complexity from the user and control IT ...
Artículo
Priorización de casos de prueba. Avances y retos
(Asociación de Técnicos de Informática, 2013)
Artículo
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 determinado objetivo. Por ejemplo, es posible reordenar los casos de prueba para detectar fallos lo ...
Artículo
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 is that it allows one to define con4 ditional and optional term sets inside an agreement ...
Artículo
Verifying Software Requirements with XSLT
(ACM, 2002)
In this article, we present an approach for the automatic verification of software requirements documents. This approach is based on the representation of software requirements in XML and the usage of the XSLT language not ...